Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.State.Instances

Contents

Serialisation support
Orphan instances

Synopsis

encodeCurrent :: (f blk -> Encoding) -> Current f blk -> Encoding
decodeCurrent :: Decoder s (f blk) -> Decoder s (Current f blk)
encodePast :: Past -> Encoding
decodePast :: Decoder s Past

Serialisation support

encodeCurrent :: (f blk -> Encoding) -> Current f blk -> Encoding Source #

decodeCurrent :: Decoder s (f blk) -> Decoder s (Current f blk) Source #

encodePast :: Past -> Encoding Source #

decodePast :: Decoder s Past 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 # (/=) :: Current f blk -> Current f blk -> Bool #
(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 # (/=) :: 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, forall 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, 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 #