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