ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
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 #

encodePastPast → Encoding Source #

Orphan instances

Serialise Past Source # 
Instance details

Methods

encodePast → 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

showsPrecIntCurrent f blk → ShowS Source #

showCurrent 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

Serialise (f blk) ⇒ Serialise (Current f blk) Source # 
Instance details

Methods

encodeCurrent f blk → Encoding #

decode ∷ Decoder s (Current f blk) #

encodeList ∷ [Current f blk] → Encoding #

decodeList ∷ Decoder s [Current f blk] #

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

showTypeOfProxy (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) #

showTypeOfProxy (HardForkState f xs) → String #