Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Eras

Contents

Eras based on the Shelley ledger
Eras instantiated with standard crypto
Shelley-based era
Type synonyms for convenience
Re-exports

Synopsis

data ShelleyEra c
type AllegraEra c = ShelleyEra c
type MaryEra c = ShelleyEra c
type StandardShelley = ShelleyEra StandardCrypto
type StandardAllegra = AllegraEra StandardCrypto
type StandardMary = MaryEra StandardCrypto
class (PraosCrypto (Crypto era), ShelleyBased era, GetLedgerView era, ApplyBlock era, ApplyTx era) => ShelleyBasedEra era
type EraCrypto era = Crypto era
data StandardCrypto

Eras based on the Shelley ledger

data ShelleyEra c Source #

Instances

Instances details

PraosCrypto crypto => ShelleyBasedEra (ShelleyEra crypto)
Instance details Defined in Shelley.Spec.Ledger.API
PraosCrypto c => ApplyTx (ShelleyEra c)
Instance details Defined in Shelley.Spec.Ledger.API.Mempool Methods applyTxs :: MonadError (ApplyTxError (ShelleyEra c)) m => Globals -> SlotNo -> Seq (Tx (ShelleyEra c)) -> NewEpochState (ShelleyEra c) -> m (NewEpochState (ShelleyEra c)) Source #
PraosCrypto crypto => ApplyBlock (ShelleyEra crypto)
Instance details Defined in Shelley.Spec.Ledger.API.Validation Methods applyTick :: Globals -> NewEpochState (ShelleyEra crypto) -> SlotNo -> NewEpochState (ShelleyEra crypto) Source # applyBlock :: MonadError (BlockTransitionError (ShelleyEra crypto)) m => Globals -> NewEpochState (ShelleyEra crypto) -> Block (ShelleyEra crypto) -> m (NewEpochState (ShelleyEra crypto)) Source # reapplyBlock :: Globals -> NewEpochState (ShelleyEra crypto) -> Block (ShelleyEra crypto) -> NewEpochState (ShelleyEra crypto) Source #
PraosCrypto crypto => GetLedgerView (ShelleyEra crypto)
Instance details Defined in Shelley.Spec.Ledger.API.Protocol Methods currentLedgerView :: NewEpochState (ShelleyEra crypto) -> LedgerView (Crypto (ShelleyEra crypto)) Source # futureLedgerView :: MonadError (FutureLedgerViewError (ShelleyEra crypto)) m => Globals -> NewEpochState (ShelleyEra crypto) -> SlotNo -> m (LedgerView (Crypto (ShelleyEra crypto))) Source #
Crypto c => ValidateScript (ShelleyEra c)	instance of MultiSignatureScript type class
Instance details Defined in Shelley.Spec.Ledger.Tx Methods validateScript :: Script (ShelleyEra c) -> Tx (ShelleyEra c) -> Bool Source # hashScript :: Script (ShelleyEra c) -> ScriptHash (ShelleyEra c) Source #
Crypto c => Era (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley Associated Types type Crypto (ShelleyEra c) Source #
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) => STS (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow Associated Types type State (UTXOW (ShelleyEra c)) Source # type Signal (UTXOW (ShelleyEra c)) Source # type Environment (UTXOW (ShelleyEra c)) Source # type BaseM (UTXOW (ShelleyEra c)) :: Type -> Type Source # type PredicateFailure (UTXOW (ShelleyEra c)) = (b :: Type) Source # Methods initialRules :: [InitialRule (UTXOW (ShelleyEra c))] Source # transitionRules :: [TransitionRule (UTXOW (ShelleyEra c))] Source # assertions :: [Assertion (UTXOW (ShelleyEra c))] Source # renderAssertionViolation :: AssertionViolation (UTXOW (ShelleyEra c)) -> String Source #
Crypto c => STS (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo Associated Types type State (UTXO (ShelleyEra c)) Source # type Signal (UTXO (ShelleyEra c)) Source # type Environment (UTXO (ShelleyEra c)) Source # type BaseM (UTXO (ShelleyEra c)) :: Type -> Type Source # type PredicateFailure (UTXO (ShelleyEra c)) = (b :: Type) Source # Methods initialRules :: [InitialRule (UTXO (ShelleyEra c))] Source # transitionRules :: [TransitionRule (UTXO (ShelleyEra c))] Source # assertions :: [Assertion (UTXO (ShelleyEra c))] Source # renderAssertionViolation :: AssertionViolation (UTXO (ShelleyEra c)) -> String Source #
Crypto c => Embed (UTXO (ShelleyEra c)) (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow Methods wrapFailed :: PredicateFailure (UTXO (ShelleyEra c)) -> PredicateFailure (UTXOW (ShelleyEra c)) Source #
Crypto c => Embed (PPUP (ShelleyEra c)) (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo Methods wrapFailed :: PredicateFailure (PPUP (ShelleyEra c)) -> PredicateFailure (UTXO (ShelleyEra c)) Source #
type Crypto (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type Crypto (ShelleyEra c) = c
type Value (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type Value (ShelleyEra c) = Coin
type TxBody (ShelleyEra c)
Instance details Defined in Shelley.Spec.Ledger.TxBody type TxBody (ShelleyEra c) = TxBody (ShelleyEra c)
type Script (ShelleyEra c)
Instance details Defined in Shelley.Spec.Ledger.Scripts type Script (ShelleyEra c) = MultiSig (ShelleyEra c)
type State (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type State (UTXOW (ShelleyEra c)) = UTxOState (ShelleyEra c)
type State (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type State (UTXO (ShelleyEra c)) = UTxOState (ShelleyEra c)
type PredicateFailure (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type PredicateFailure (UTXOW (ShelleyEra c)) = UtxowPredicateFailure (ShelleyEra c)
type PredicateFailure (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type PredicateFailure (UTXO (ShelleyEra c)) = UtxoPredicateFailure (ShelleyEra c)
type BaseM (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type BaseM (UTXOW (ShelleyEra c)) = ShelleyBase
type BaseM (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type BaseM (UTXO (ShelleyEra c)) = ShelleyBase
type Environment (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type Environment (UTXOW (ShelleyEra c)) = UtxoEnv (ShelleyEra c)
type Environment (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type Environment (UTXO (ShelleyEra c)) = UtxoEnv (ShelleyEra c)
type Signal (UTXOW (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type Signal (UTXOW (ShelleyEra c)) = Tx (ShelleyEra c)
type Signal (UTXO (ShelleyEra c))
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type Signal (UTXO (ShelleyEra c)) = Tx (ShelleyEra c)

type AllegraEra c = ShelleyEra c Source #

The era after Shelley is Allegra, the illegitimate daughter of Byron.

In this era, we introduce time locks and miscellaneous fixes for the Shelley era.

TODO #2668 Change this to the proper Allegra era

type MaryEra c = ShelleyEra c Source #

The era after Allegra is Mary (Shelley), the wife of Percy Shelley.

In this era, we introduce multi-asset (hence MA-ry).

TODO #2668 Change this to the proper Mary era

Eras instantiated with standard crypto

type StandardShelley = ShelleyEra StandardCrypto Source #

The Shelley era with standard crypto

type StandardAllegra = AllegraEra StandardCrypto Source #

The Allegra era with standard crypto

type StandardMary = MaryEra StandardCrypto Source #

The Mary era with standard crypto

Shelley-based era

class (PraosCrypto (Crypto era), ShelleyBased era, GetLedgerView era, ApplyBlock era, ApplyTx era) => ShelleyBasedEra era Source #

Instances

Instances details

PraosCrypto crypto => ShelleyBasedEra (ShelleyEra crypto)
Instance details Defined in Shelley.Spec.Ledger.API

Type synonyms for convenience

type EraCrypto era = Crypto era Source #

The Crypto type family conflicts with the Crypto class. To avoid having to import one or both of them qualified, define EraCrypto as an alias of the former: /return the crypto used by this era/.

Re-exports

data StandardCrypto Source #

Instances

Instances details

PraosCrypto StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto
Crypto StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto Associated Types type HASH StandardCrypto Source # type ADDRHASH StandardCrypto Source # type DSIGN StandardCrypto Source # type KES StandardCrypto Source # type VRF StandardCrypto Source #
type VRF StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto type VRF StandardCrypto = PraosVRF
type KES StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type DSIGN StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto type DSIGN StandardCrypto = Ed25519DSIGN
type ADDRHASH StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto type ADDRHASH StandardCrypto = Blake2b_224
type HASH StandardCrypto Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Protocol.Crypto type HASH StandardCrypto = Blake2b_256