cardano-ledger-core-1.18.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Genesis

Synopsis

Documentation

class Era era ⇒ EraGenesis era Source #

Associated Types

type Genesis era ∷ Type Source #

type Genesis era = NoGenesis era

data NoGenesis era Source #

Constructors

NoGenesis 

Instances

Instances details
FromJSON (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

ToJSON (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Show (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

showsPrecIntNoGenesis era → ShowS #

showNoGenesis era → String #

showList ∷ [NoGenesis era] → ShowS #

Era era ⇒ FromCBOR (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

fromCBORDecoder s (NoGenesis era) Source #

labelProxy (NoGenesis era) → Text Source #

Era era ⇒ ToCBOR (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

toCBORNoGenesis era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NoGenesis era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NoGenesis era] → Size Source #

Era era ⇒ DecCBOR (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

decCBORDecoder s (NoGenesis era) Source #

dropCBORProxy (NoGenesis era) → Decoder s () Source #

labelProxy (NoGenesis era) → Text Source #

Era era ⇒ EncCBOR (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

encCBORNoGenesis era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (NoGenesis era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [NoGenesis era] → Size Source #

ToKeyValuePairs (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

toKeyValuePairsKeyValue e kv ⇒ NoGenesis era → [kv] Source #

Eq (NoGenesis era) Source # 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

(==)NoGenesis era → NoGenesis era → Bool #

(/=)NoGenesis era → NoGenesis era → Bool #

mkGenesisWith Source #

Arguments

∷ ∀ era g m. (Typeable era, Typeable g, Monad m) 
⇒ m g

Action that will produce the genesis type, but it will be invoked only when it is statically known for g to not be NoGenesis

→ m g 

Helper function that will produce NoGenesis for types that match it, otherwise action will be called that will produce the desired genesis type.