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 |
- data WeakPacket c p a where
- Command :: c -> WeakPacket c p ()
- Procedure :: p a -> WeakPacket c p a
Documentation
data WeakPacket c p a where Source
A Weak Packet, that can encode a command or a procedure.
Command :: c -> WeakPacket c p () | |
Procedure :: p a -> WeakPacket c p a |
RunApplicative WeakPacket Source | |
RunMonad WeakPacket Source | |
(Show c, Show (p a)) => Show (WeakPacket c p a) Source |