ouroboros-consensus-shelley-0.1.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Eras

Synopsis

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

PraosCrypto crypto => ApplyBlock (ShelleyEra crypto) 
Instance details

Defined in Shelley.Spec.Ledger.API.Validation

PraosCrypto crypto => GetLedgerView (ShelleyEra crypto) 
Instance details

Defined in Shelley.Spec.Ledger.API.Protocol

Crypto c => ValidateScript (ShelleyEra c)

instance of MultiSignatureScript type class

Instance details

Defined in Shelley.Spec.Ledger.Tx

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

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 #

Crypto c => Embed (UTXO (ShelleyEra c)) (UTXOW (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

Crypto c => Embed (PPUP (ShelleyEra c)) (UTXO (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

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 Script (ShelleyEra c) 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type State (UTXOW (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type State (UTXO (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type PredicateFailure (UTXOW (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type PredicateFailure (UTXO (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type BaseM (UTXOW (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type BaseM (UTXO (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type Environment (UTXOW (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type Environment (UTXO (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

type Signal (UTXOW (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxow

type Signal (UTXO (ShelleyEra c)) 
Instance details

Defined in Shelley.Spec.Ledger.STS.Utxo

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