Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Network.Ouroboros.Type

Synopsis

data FireForget msg where
- StIdle :: FireForget msg
- StDone :: FireForget msg
codecFireForget :: forall a m. (MonadST m, ToCBOR a, FromCBOR a) => Codec (FireForget a) DeserialiseFailure m LByteString

Documentation

data FireForget msg where Source #

TODO explain Protocol

It is used both as a type level tag for the protocol and as the kind of the types of the states in the protocol state machine. That is FireForget is a kind, and StIdle is a type of that kind.

Constructors

StIdle :: FireForget msg
StDone :: FireForget msg

Instances

Instances details

ShowProxy (FireForget msg :: Type) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods showProxy :: Proxy (FireForget msg) -> String
Show (ClientHasAgency st) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods showsPrec :: Int -> ClientHasAgency st -> ShowS Source # show :: ClientHasAgency st -> String Source # showList :: [ClientHasAgency st] -> ShowS Source #
Show (ServerHasAgency st) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods showsPrec :: Int -> ServerHasAgency st -> ShowS Source # show :: ServerHasAgency st -> String Source # showList :: [ServerHasAgency st] -> ShowS Source #
Protocol (FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Associated Types data Message (FireForget msg) st st' data ClientHasAgency st data ServerHasAgency st data NobodyHasAgency st Methods exclusionLemma_ClientAndServerHaveAgency :: forall (st :: FireForget msg). ClientHasAgency st -> ServerHasAgency st -> Void exclusionLemma_NobodyAndClientHaveAgency :: forall (st :: FireForget msg). NobodyHasAgency st -> ClientHasAgency st -> Void exclusionLemma_NobodyAndServerHaveAgency :: forall (st :: FireForget msg). NobodyHasAgency st -> ServerHasAgency st -> Void
Show msg => Show (Message (FireForget msg) from to) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods showsPrec :: Int -> Message (FireForget msg) from to -> ShowS Source # show :: Message (FireForget msg) from to -> String Source # showList :: [Message (FireForget msg) from to] -> ShowS Source #
Eq msg => Eq (Message (FireForget msg) from to) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods (==) :: Message (FireForget msg) from to -> Message (FireForget msg) from to -> Bool Source # (/=) :: Message (FireForget msg) from to -> Message (FireForget msg) from to -> Bool Source #
data ClientHasAgency (st :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type data ClientHasAgency (st :: FireForget msg) where TokIdle :: forall {k} {msg :: k}. ClientHasAgency ('StIdle :: FireForget msg)
data Message (FireForget msg) (from :: FireForget msg) (to :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type data Message (FireForget msg) (from :: FireForget msg) (to :: FireForget msg) where MsgSend :: forall msg1. msg1 -> Message (FireForget msg1) ('StIdle :: FireForget msg1) ('StIdle :: FireForget msg1) MsgDone :: forall {k} (msg :: k). Message (FireForget msg) ('StIdle :: FireForget msg) ('StDone :: FireForget msg)
data NobodyHasAgency (st :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type data NobodyHasAgency (st :: FireForget msg) where TokDone :: forall {k} {msg :: k}. NobodyHasAgency ('StDone :: FireForget msg)
data ServerHasAgency (st :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type data ServerHasAgency (st :: FireForget msg)

codecFireForget :: forall a m. (MonadST m, ToCBOR a, FromCBOR a) => Codec (FireForget a) DeserialiseFailure m LByteString Source #