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 :: forall (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 :: forall (xs :: l) a. SListIN HardForkState xs => HardForkState ( K a) xs -> CollapseTo HardForkState a Source #
HSequence HardForkState Source #
Instance details Methods hsequence' :: forall (xs :: l) f (g :: k -> Type ). ( SListIN HardForkState xs, Applicative f) => HardForkState (f :.: g) xs -> f ( HardForkState g xs) Source # hctraverse' :: forall c (xs :: l) g proxy f f'. ( AllN HardForkState c xs, Applicative g) => proxy c -> ( forall (a :: k). c a => f a -> g (f' a)) -> HardForkState f xs -> g ( HardForkState f' xs) Source # htraverse' :: forall (xs :: l) g f f'. ( SListIN HardForkState xs, Applicative g) => ( forall (a :: k). f a -> g (f' a)) -> HardForkState f xs -> g ( HardForkState f' xs) Source #
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, forall 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, forall 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 ) Source # wNoThunks :: Context -> Current f blk -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Current f blk) -> String Source #
( All SingleEraBlock xs, forall 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 #