Language.Embedded.Concurrent

data ThreadId

type ChanBound

data Chan t a

data ThreadCMD prog a

data ChanCMD exp prog a

data Closeable

data Uncloseable

fork

forkWithId

asyncKillThread

killThread

waitThread

newChan

newCloseableChan

readChan

writeChan

closeChan

lastChanReadOK