cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.ShelleyMA

Synopsis

Documentation

data ShelleyMAEra (ma :: MaryOrAllegra) c Source #

The Shelley Mary/Allegra eras

Both eras are implemented within the same codebase, matching the formal specification. They differ only in the value type. Due to some annoying issues with Coin and Value being of different kinds, we don't parametrise over the value but instead over a closed kind MaryOrAllegra. But this should be transparent to the user.

Instances

Instances details
PraosCrypto c => ShelleyBasedEra (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

PraosCrypto c => ShelleyBasedEra (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

PraosCrypto c => ApplyTx (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

PraosCrypto c => ApplyTx (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

PraosCrypto c => ApplyBlock (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

PraosCrypto c => ApplyBlock (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

PraosCrypto c => GetLedgerView (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary

PraosCrypto c => GetLedgerView (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra

(Crypto c, Typeable ma, STS (UTXO (ShelleyMAEra ma c)), BaseM (UTXO (ShelleyMAEra ma c)) ~ ShelleyBase, DecodeMint (Value (ShelleyMAEra ma c)), DecodeNonNegative (Value (ShelleyMAEra ma c)), Compactible (Value (ShelleyMAEra ma c)), Val (Value (ShelleyMAEra ma c)), GetPolicies (Value (ShelleyMAEra ma c)) c, Eq (CompactForm (Value (ShelleyMAEra ma c))), ChainData (Value (ShelleyMAEra ma c)), ChainData (Delta (Value (ShelleyMAEra ma c))), SerialisableData (Value (ShelleyMAEra ma c)), SerialisableData (Delta (Value (ShelleyMAEra ma c))), SerialisableData (CompactForm (Value (ShelleyMAEra ma c))), Torsor (Value (ShelleyMAEra ma c)), DSignable c (Hash c EraIndependentTxBody)) => STS (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

Associated Types

type State (UTXOW (ShelleyMAEra ma c)) Source #

type Signal (UTXOW (ShelleyMAEra ma c)) Source #

type Environment (UTXOW (ShelleyMAEra ma c)) Source #

type BaseM (UTXOW (ShelleyMAEra ma c)) :: Type -> Type Source #

type PredicateFailure (UTXOW (ShelleyMAEra ma c)) = (b :: Type) Source #

(Crypto c, Typeable ma, ShelleyBased (ShelleyMAEra ma c), TxBody (ShelleyMAEra ma c) ~ TxBody (ShelleyMAEra ma c)) => STS (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

Associated Types

type State (UTXO (ShelleyMAEra ma c)) Source #

type Signal (UTXO (ShelleyMAEra ma c)) Source #

type Environment (UTXO (ShelleyMAEra ma c)) Source #

type BaseM (UTXO (ShelleyMAEra ma c)) :: Type -> Type Source #

type PredicateFailure (UTXO (ShelleyMAEra ma c)) = (b :: Type) Source #

Crypto c => TranslateEra (MaryEra c) AuxiliaryData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) AuxiliaryData Source #

Crypto c => TranslateEra (MaryEra c) TxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) TxBody Source #

Crypto c => TranslateEra (MaryEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) Update Source #

Crypto c => TranslateEra (MaryEra c) WitnessSet Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) WitnessSet Source #

Crypto c => TranslateEra (MaryEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) UTxO Source #

Crypto c => TranslateEra (MaryEra c) TxOut Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) TxOut Source #

Crypto c => TranslateEra (MaryEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) UTxOState Source #

Crypto c => TranslateEra (MaryEra c) PPUPState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) PPUPState Source #

Crypto c => TranslateEra (MaryEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c => TranslateEra (MaryEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) LedgerState Source #

Crypto c => TranslateEra (MaryEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) EpochState Source #

Crypto c => TranslateEra (MaryEra c) ShelleyGenesis Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Crypto c => TranslateEra (MaryEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) Tx Source #

Crypto c => TranslateEra (MaryEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) NewEpochState Source #

Crypto c => TranslateEra (AllegraEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) Update Source #

Crypto c => TranslateEra (AllegraEra c) WitnessSet Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) WitnessSet Source #

Crypto c => TranslateEra (AllegraEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) EpochState Source #

Crypto c => TranslateEra (AllegraEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c => TranslateEra (AllegraEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) UTxOState Source #

Crypto c => TranslateEra (AllegraEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) UTxO Source #

Crypto c => TranslateEra (AllegraEra c) TxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) TxOut Source #

Crypto c => TranslateEra (AllegraEra c) PPUPState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) PPUPState Source #

Crypto c => TranslateEra (AllegraEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c => TranslateEra (AllegraEra c) ShelleyGenesis Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Crypto c => TranslateEra (AllegraEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) Tx Source #

Crypto c => TranslateEra (AllegraEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

(Crypto c, Functor f) => TranslateEra (MaryEra c) (PParams' f) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) (PParams' f) Source #

Crypto c => TranslateEra (AllegraEra c) (PParams' f) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError (AllegraEra c) (PParams' f) Source #

(Crypto c, STS (UTXO (ShelleyMAEra ma c)), BaseM (UTXO (ShelleyMAEra ma c)) ~ ShelleyBase) => Embed (UTXO (ShelleyMAEra ma c)) (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

(Crypto c, Typeable ma) => Embed (PPUP (ShelleyMAEra ma c)) (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

(Crypto c, Typeable ma, TxBodyConstraints (ShelleyMAEra ma c), AnnotatedData (AuxiliaryData (ShelleyMAEra ma c)), HasField "vldt" (TxBody (ShelleyMAEra ma c)) ValidityInterval) => ValidateScript (ShelleyMAEra ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

(Crypto c, Typeable ma, AnnotatedData (Script (ShelleyMAEra ma c))) => ValidateAuxiliaryData (ShelleyMAEra ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

(Typeable ma, Crypto c) => Era (ShelleyMAEra ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

Associated Types

type Crypto (ShelleyMAEra ma c) Source #

type PreviousEra (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type PreviousEra (AllegraEra c) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationContext (MaryEra c) Source #

Currently no context is needed to translate from Allegra to Mary.

Note: if context is needed, please coordinate with consensus, who will have to provide the context in the right place.

Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationContext (AllegraEra c) Source #

Currently no context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Translation

type State (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

type State (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

type PredicateFailure (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

type PredicateFailure (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

type BaseM (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

type BaseM (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

type Environment (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

type Environment (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

type Signal (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

type Signal (UTXOW (ShelleyMAEra ma c)) = Tx (ShelleyMAEra ma c)
type Signal (UTXO (ShelleyMAEra ma c)) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo

type Signal (UTXO (ShelleyMAEra ma c)) = Tx (ShelleyMAEra ma c)
type TranslationError (MaryEra c) AuxiliaryData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) TxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) WitnessSet Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) TxOut Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) PPUPState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) ShelleyGenesis Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (AllegraEra c) Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) WitnessSet Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) TxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) PPUPState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) ShelleyGenesis Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (AllegraEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError (MaryEra c) (PParams' f) Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (AllegraEra c) (PParams' f) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type Crypto (ShelleyMAEra ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

type Crypto (ShelleyMAEra ma c) = c
type Value (ShelleyMAEra m c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

type Value (ShelleyMAEra m c) = MAValue m c
type TxBody (ShelleyMAEra ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

type TxBody (ShelleyMAEra ma c) = TxBody (ShelleyMAEra ma c)
type Script (ShelleyMAEra _ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

type Script (ShelleyMAEra _ma c) = Timelock c
type AuxiliaryData (ShelleyMAEra ma c) Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA

data MaryOrAllegra Source #

Constructors

Mary 
Allegra 

type family MAValue (x :: MaryOrAllegra) c :: Type where ... Source #

Equations

MAValue 'Allegra _ = Coin 
MAValue 'Mary c = Value c