Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Genesis
Synopsis
- class Era era ⇒ EraGenesis era where
- data NoGenesis era = NoGenesis
- mkGenesisWith ∷ ∀ era g m. (Typeable era, Typeable g, Monad m) ⇒ m g → m g
Documentation
class Era era ⇒ EraGenesis era Source #
Constructors
NoGenesis |
Instances
FromJSON (NoGenesis era) Source # | |
ToJSON (NoGenesis era) Source # | |
Show (NoGenesis era) Source # | |
Era era ⇒ FromCBOR (NoGenesis era) Source # | |
Era era ⇒ ToCBOR (NoGenesis era) Source # | |
Era era ⇒ DecCBOR (NoGenesis era) Source # | |
Era era ⇒ EncCBOR (NoGenesis era) Source # | |
ToKeyValuePairs (NoGenesis era) Source # | |
Defined in Cardano.Ledger.Genesis Methods toKeyValuePairs ∷ KeyValue e kv ⇒ NoGenesis era → [kv] Source # | |
Eq (NoGenesis era) 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 |
→ 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.