typed-protocols-stateful
Quick Jump
Contents
Index
Index
ActiveState
Network.TypedProtocol.Stateful.Codec
AnyMessage
1 (Type/Class)
Network.TypedProtocol.Stateful.Codec
2 (Data Constructor)
Network.TypedProtocol.Stateful.Codec
AnyMessageAndAgency
Network.TypedProtocol.Stateful.Codec
AsClient
Network.TypedProtocol.Stateful.Codec
AsServer
Network.TypedProtocol.Stateful.Codec
Await
1 (Data Constructor)
Network.TypedProtocol.Stateful.Peer
2 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Client
3 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Server
Client
Network.TypedProtocol.Stateful.Peer.Client
Codec
1 (Type/Class)
Network.TypedProtocol.Stateful.Codec
2 (Data Constructor)
Network.TypedProtocol.Stateful.Codec
CodecFailure
1 (Type/Class)
Network.TypedProtocol.Stateful.Codec
2 (Data Constructor)
Network.TypedProtocol.Stateful.Codec
CodecFailureOutOfInput
Network.TypedProtocol.Stateful.Codec
connect
Network.TypedProtocol.Stateful.Proofs
decode
Network.TypedProtocol.Stateful.Codec
DecodeDone
Network.TypedProtocol.Stateful.Codec
,
Network.TypedProtocol.Stateful.Driver
DecodeFail
Network.TypedProtocol.Stateful.Codec
,
Network.TypedProtocol.Stateful.Driver
DecodePartial
Network.TypedProtocol.Stateful.Codec
,
Network.TypedProtocol.Stateful.Driver
DecodeStep
Network.TypedProtocol.Stateful.Codec
,
Network.TypedProtocol.Stateful.Driver
Done
1 (Data Constructor)
Network.TypedProtocol.Stateful.Peer
2 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Client
3 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Server
Driver
1 (Type/Class)
Network.TypedProtocol.Stateful.Driver
2 (Data Constructor)
Network.TypedProtocol.Stateful.Driver
Effect
1 (Data Constructor)
Network.TypedProtocol.Stateful.Peer
2 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Client
3 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Server
encode
Network.TypedProtocol.Stateful.Codec
hoistCodec
Network.TypedProtocol.Stateful.Codec
initialDState
Network.TypedProtocol.Stateful.Driver
isoCodec
Network.TypedProtocol.Stateful.Codec
liftCodec
Network.TypedProtocol.Stateful.Codec
mapFailureCodec
Network.TypedProtocol.Stateful.Codec
Peer
Network.TypedProtocol.Stateful.Peer
PeerRole
Network.TypedProtocol.Stateful.Codec
prop_codec
Network.TypedProtocol.Stateful.Codec
prop_codecM
Network.TypedProtocol.Stateful.Codec
prop_codecs_compat
Network.TypedProtocol.Stateful.Codec
prop_codecs_compatM
Network.TypedProtocol.Stateful.Codec
prop_codec_splits
Network.TypedProtocol.Stateful.Codec
prop_codec_splitsM
Network.TypedProtocol.Stateful.Codec
recvMessage
Network.TypedProtocol.Stateful.Driver
removeState
Network.TypedProtocol.Stateful.Proofs
runDecoder
Network.TypedProtocol.Stateful.Codec
runDecoderPure
Network.TypedProtocol.Stateful.Codec
runPeerWithDriver
Network.TypedProtocol.Stateful.Driver
sendMessage
Network.TypedProtocol.Stateful.Driver
Server
Network.TypedProtocol.Stateful.Peer.Server
showAnyMessage
Network.TypedProtocol.Stateful.Codec
SomeMessage
1 (Type/Class)
Network.TypedProtocol.Stateful.Codec
,
Network.TypedProtocol.Stateful.Driver
2 (Data Constructor)
Network.TypedProtocol.Stateful.Codec
,
Network.TypedProtocol.Stateful.Driver
StateToken
Network.TypedProtocol.Stateful.Codec
stateToken
Network.TypedProtocol.Stateful.Codec
StateTokenI
Network.TypedProtocol.Stateful.Codec
TerminalStates
1 (Type/Class)
Network.TypedProtocol.Stateful.Proofs
2 (Data Constructor)
Network.TypedProtocol.Stateful.Proofs
Yield
1 (Data Constructor)
Network.TypedProtocol.Stateful.Peer
2 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Client
3 (Data Constructor)
Network.TypedProtocol.Stateful.Peer.Server