| Copyright | (C) 2016, The University of Kansas |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Andy Gill |
| Stability | Alpha |
| Portability | GHC |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Control.Remote.Monad.Packet.Strong
Description
- data StrongPacket c p a where
- Command :: c -> StrongPacket c p b -> StrongPacket c p b
- Procedure :: p a -> StrongPacket c p a
- Done :: StrongPacket c p ()
- newtype HStrongPacket c p = HStrongPacket (StrongPacket c p ~> StrongPacket c p)
Documentation
data StrongPacket c p a where Source
A Strong Packet, that can encode a list of commands, terminated by an optional procedure.
Constructors
| Command :: c -> StrongPacket c p b -> StrongPacket c p b | |
| Procedure :: p a -> StrongPacket c p a | |
| Done :: StrongPacket c p () |
newtype HStrongPacket c p Source
A Hughes-style version of StrongPacket, with efficent append.
Constructors
| HStrongPacket (StrongPacket c p ~> StrongPacket c p) |