| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Embedded.Concurrent.CMD
- type TID = VarId
- data ThreadId
- type CID = VarId
- type ChanBound = Word16
- data Chan t a
- data ThreadCMD prog a where
- data ChanCMD exp prog a where
- NewChan :: VarPred exp a => exp ChanBound -> ChanCMD exp prog (Chan t a)
- ReadChan :: VarPred exp a => Chan t a -> ChanCMD exp prog (exp a)
- WriteChan :: (VarPred exp a, VarPred exp Bool) => Chan t a -> exp a -> ChanCMD exp prog (exp Bool)
- CloseChan :: Chan Closeable a -> ChanCMD exp prog ()
- ReadOK :: VarPred exp Bool => Chan Closeable a -> ChanCMD exp prog (exp Bool)
- data Closeable
- data Uncloseable
Documentation
A bounded channel.
data ChanCMD exp prog a where Source
Constructors
| NewChan :: VarPred exp a => exp ChanBound -> ChanCMD exp prog (Chan t a) | |
| ReadChan :: VarPred exp a => Chan t a -> ChanCMD exp prog (exp a) | |
| WriteChan :: (VarPred exp a, VarPred exp Bool) => Chan t a -> exp a -> ChanCMD exp prog (exp Bool) | |
| CloseChan :: Chan Closeable a -> ChanCMD exp prog () | |
| ReadOK :: VarPred exp Bool => Chan Closeable a -> ChanCMD exp prog (exp Bool) |
data Uncloseable Source