Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Network.Ouroboros.Type

Synopsis

data FireForget msg where
- StIdle :: FireForget msg
- StDone :: FireForget msg
data SFireForget (st :: FireForget msg) where
- SingIdle :: SFireForget StIdle
- SingDone :: SFireForget StDone

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
Protocol (FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Associated Types data Message (FireForget msg) st st' type StateAgency st :: Agency type StateToken :: ps -> Type
StateTokenI ('StDone :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods stateToken :: StateToken 'StDone
StateTokenI ('StIdle :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods stateToken :: StateToken 'StIdle
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 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)
type StateToken Source #
Instance details Defined in Hydra.Network.Ouroboros.Type type StateToken = SFireForget :: FireForget msg -> Type
type StateAgency ('StDone :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type type StateAgency ('StDone :: FireForget msg) = 'NobodyAgency
type StateAgency ('StIdle :: FireForget msg) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type type StateAgency ('StIdle :: FireForget msg) = 'ClientAgency

data SFireForget (st :: FireForget msg) where Source #

Constructors

SingIdle :: SFireForget StIdle
SingDone :: SFireForget StDone

Instances

Instances details

Show (SFireForget st) Source #
Instance details Defined in Hydra.Network.Ouroboros.Type Methods showsPrec :: Int -> SFireForget st -> ShowS Source # show :: SFireForget st -> String Source # showList :: [SFireForget st] -> ShowS Source #