Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Instances

Contents

Serialisation support
Orphan instances

Synopsis

decodeCurrent ∷ Decoder s (f blk) → Decoder s (Current f blk)
decodePast ∷ Decoder s Past
encodeCurrent ∷ (f blk → Encoding) → Current f blk → Encoding
encodePast ∷ Past → Encoding

Serialisation support

decodeCurrent ∷ Decoder s (f blk) → Decoder s (Current f blk) Source #

decodePast ∷ Decoder s Past Source #

encodeCurrent ∷ (f blk → Encoding) → Current f blk → Encoding Source #

encodePast ∷ Past → Encoding Source #

Orphan instances

Serialise Past Source #
Instance details Methods encode ∷ Past → Encoding decode ∷ Decoder s Past encodeList ∷ [Past] → Encoding decodeList ∷ Decoder s [Past]
HAp HardForkState Source #
Instance details Methods hap ∷ ∀ (f ∷ k → Type) (g ∷ k → Type) (xs ∷ l). Prod HardForkState (f -.-> g) xs → HardForkState f xs → HardForkState g xs #
HCollapse HardForkState Source #
Instance details Methods hcollapse ∷ ∀ (xs ∷ l) a. SListIN HardForkState xs ⇒ HardForkState (K a) xs → CollapseTo HardForkState a #
HSequence HardForkState Source #
Instance details Methods hsequence' ∷ ∀ (xs ∷ l) f (g ∷ k → Type). (SListIN HardForkState xs, Applicative f) ⇒ HardForkState (f :.: g) xs → f (HardForkState g xs) # hctraverse' ∷ ∀ c (xs ∷ l) g proxy f f'. (AllN HardForkState c xs, Applicative g) ⇒ proxy c → (∀ (a ∷ k). c a ⇒ f a → g (f' a)) → HardForkState f xs → g (HardForkState f' xs) # htraverse' ∷ ∀ (xs ∷ l) g f f'. (SListIN HardForkState xs, Applicative g) ⇒ (∀ (a ∷ k). f a → g (f' a)) → HardForkState f xs → g (HardForkState f' xs) #
Eq (f blk) ⇒ Eq (Current f blk) Source #
Instance details Methods (==) ∷ Current f blk → Current f blk → Bool Source # (/=) ∷ Current f blk → Current f blk → Bool Source #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ Eq (f blk)) ⇒ Eq (HardForkState f xs) Source #
Instance details Methods (==) ∷ HardForkState f xs → HardForkState f xs → Bool Source # (/=) ∷ HardForkState f xs → HardForkState f xs → Bool Source #
Show (f blk) ⇒ Show (Current f blk) Source #
Instance details Methods showsPrec ∷ Int → Current f blk → ShowS Source # show ∷ Current f blk → String Source # showList ∷ [Current f blk] → ShowS Source #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ Show (f blk)) ⇒ Show (HardForkState f xs) Source #
Instance details Methods showsPrec ∷ Int → HardForkState f xs → ShowS Source # show ∷ HardForkState f xs → String Source # showList ∷ [HardForkState f xs] → ShowS Source #
NoThunks (f blk) ⇒ NoThunks (Current f blk) Source #
Instance details Methods noThunks ∷ Context → Current f blk → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Current f blk → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Current f blk) → String #
(All SingleEraBlock xs, ∀ blk. SingleEraBlock blk ⇒ NoThunks (f blk)) ⇒ NoThunks (HardForkState f xs) Source #
Instance details Methods noThunks ∷ Context → HardForkState f xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → HardForkState f xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (HardForkState f xs) → String #
Serialise (f blk) ⇒ Serialise (Current f blk) Source #
Instance details Methods encode ∷ Current f blk → Encoding decode ∷ Decoder s (Current f blk) encodeList ∷ [Current f blk] → Encoding decodeList ∷ Decoder s [Current f blk]