Cardano.Ledger.Genesis
class Era era ⇒ EraGenesis era Source #
Associated Types
type Genesis era ∷ Type Source #
type Genesis era = NoGenesis era
data NoGenesis era Source #
Constructors
Defined in Cardano.Ledger.Genesis
Methods
showsPrec ∷ Int → NoGenesis era → ShowS #
show ∷ NoGenesis era → String #
showList ∷ [NoGenesis era] → ShowS #
fromCBOR ∷ Decoder s (NoGenesis era) Source #
label ∷ Proxy (NoGenesis era) → Text Source #
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 #
decCBOR ∷ Decoder s (NoGenesis era) Source #
dropCBOR ∷ Proxy (NoGenesis era) → Decoder s () Source #
encCBOR ∷ NoGenesis 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 #
(==) ∷ NoGenesis era → NoGenesis era → Bool #
(/=) ∷ NoGenesis era → NoGenesis era → Bool #