IOSpec-0.2.1: A pure specification of the IO monad.ContentsIndex
Search:
:+:
1 (Type/Class)
2 (Type/Class)
:<:
alloc
atomically
Block
check
Data
Done
Effect
emptyLoc
evalIOSpec
execIOSpec
Executable
Fail
finishThread
foldIOSpec
forkIO
ForkS
1 (Type/Class)
2 (Type/Class)
freshThreadId
getChar
getLine
Impure
initialStore
inject
Inl
Inr
IORef
IORefS
1 (Type/Class)
2 (Type/Class)
IOSpec
1 (Type/Class)
2 (Type/Class)
Loc
lookupHeap
mainTid
modifyIORef
MVar
MVarS
1 (Type/Class)
2 (Type/Class)
newEmptyMVar
newIORef
newTVar
orElse
Print
printChar
Pure
putChar
putMVar
putStr
putStrLn
ReadChar
readChar
readIORef
readTVar
retry
roundRobin
runIOSpec
Scheduler
singleThreaded
Step
1 (Type/Class)
2 (Data Constructor)
step
STM
STMS
1 (Type/Class)
2 (Type/Class)
Store
takeMVar
Teletype
1 (Type/Class)
2 (Type/Class)
ThreadId
TVar
updateHeap
updateSoup
VM
writeIORef
writeTVar