Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
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