Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Genesis

Synopsis

class Era era ⇒ EraGenesis era where
- type Genesis era
data NoGenesis era = NoGenesis
mkGenesisWith ∷ (Typeable era, Typeable g, Monad m) ⇒ m g → m g

Documentation

class Era era ⇒ EraGenesis era Source #

Associated Types

type Genesis era 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 Methods parseJSON ∷ Value → Parser (NoGenesis era) Source # parseJSONList ∷ Value → Parser [NoGenesis era] Source # omittedField ∷ Maybe (NoGenesis era) Source #
ToJSON (NoGenesis era) Source #
Instance details Defined in Cardano.Ledger.Genesis Methods toJSON ∷ NoGenesis era → Value Source # toEncoding ∷ NoGenesis era → Encoding Source # toJSONList ∷ [NoGenesis era] → Value Source # toEncodingList ∷ [NoGenesis era] → Encoding Source # omitField ∷ NoGenesis era → Bool Source #
Era era ⇒ FromCBOR (NoGenesis era) Source #
Instance details Defined in Cardano.Ledger.Genesis Methods fromCBOR ∷ Decoder s (NoGenesis era) Source # label ∷ Proxy (NoGenesis era) → Text Source #
Era era ⇒ ToCBOR (NoGenesis era) Source #
Instance details Defined in Cardano.Ledger.Genesis Methods toCBOR ∷ NoGenesis 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 decCBOR ∷ Decoder s (NoGenesis era) Source # dropCBOR ∷ Proxy (NoGenesis era) → Decoder s () Source # label ∷ Proxy (NoGenesis era) → Text Source #
Era era ⇒ EncCBOR (NoGenesis era) Source #
Instance details Defined in Cardano.Ledger.Genesis Methods encCBOR ∷ NoGenesis era → Encoding Source #
ToKeyValuePairs (NoGenesis era) Source #
Instance details Defined in Cardano.Ledger.Genesis Methods toKeyValuePairs ∷ KeyValue e kv ⇒ NoGenesis era → [kv] Source #
Show (NoGenesis era) Source #
Instance details Defined in Cardano.Ledger.Genesis Methods showsPrec ∷ Int → NoGenesis era → ShowS # show ∷ NoGenesis era → String # showList ∷ [NoGenesis era] → ShowS #
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

∷ (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.