ouroboros-consensus-0.23.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Instances

Synopsis

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 ∷ k → Type) (g ∷ k → Type) (xs ∷ l). Prod HardForkState (f -.-> g) xs → HardForkState f xs → HardForkState g xs Source #

HCollapse HardForkState Source # 
Instance details

Methods

hcollapse ∷ ∀ (xs ∷ l) a. SListIN HardForkState xs ⇒ HardForkState (K a) xs → CollapseTo HardForkState a Source #

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) Source #

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) Source #

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) Source #

HTrans HardForkState HardForkState Source # 
Instance details

Methods

htrans ∷ ∀ c (xs ∷ l1) (ys ∷ l2) proxy f g. AllZipN (Prod HardForkState) c xs ys ⇒ proxy c → (∀ (x ∷ k1) (y ∷ k2). c x y ⇒ f x → g y) → HardForkState f xs → HardForkState g ys Source #

hcoerce ∷ ∀ (f ∷ k1 → Type) (g ∷ k2 → Type) (xs ∷ l1) (ys ∷ l2). AllZipN (Prod HardForkState) (LiftedCoercible f g) xs ys ⇒ HardForkState f xs → HardForkState g ys Source #

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 #

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 #

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 #