eveff-1.0.0.0: Efficient effect handlers based on evidence translation.
Contents
Index
Index
:*
Control.Ev.Eff
:?
Control.Ev.Eff
add
Examples
adder
Examples
allResults
Examples
Amb
1 (Type/Class)
Examples
2 (Data Constructor)
Examples
ask
1 (Function)
Control.Ev.Util
2 (Function)
Examples
catchError
Control.Ev.Util
choice
Examples
Choose
1 (Type/Class)
Control.Ev.Util
2 (Data Constructor)
Control.Ev.Util
choose
Control.Ev.Util
chooseAll
Control.Ev.Util
chooseFirst
Control.Ev.Util
Ctl
Control.Ev.Ctl
digit
Examples
eager
Examples
ebody
Examples
Eff
Control.Ev.Eff
Evil
1 (Type/Class)
Examples
2 (Data Constructor)
Examples
evil
Examples
Except
1 (Type/Class)
Control.Ev.Util
2 (Data Constructor)
Control.Ev.Util
except
Control.Ev.Eff
exceptDefault
1 (Function)
Control.Ev.Util
2 (Function)
Examples
exceptEither
Control.Ev.Util
exceptMaybe
Control.Ev.Util
Exn
1 (Type/Class)
Examples
2 (Data Constructor)
Examples
expr
Examples
factor
Examples
failure
Examples
firstResult
Examples
flip
Examples
function
Control.Ev.Eff
get
1 (Function)
Control.Ev.Util
2 (Function)
Examples
greet
Examples
greetMaybe
Examples
greetOrExit
Examples
handler
Control.Ev.Eff
handlerHide
Control.Ev.Eff
handlerLocal
Control.Ev.Eff
handlerLocalRet
Control.Ev.Eff
handlerRet
Control.Ev.Eff
helloWorld
Examples
hevil
Examples
hr
Examples
invert
Examples
lget
Control.Ev.Eff
lmodify
Control.Ev.Eff
Local
Control.Ev.Eff
local
Control.Ev.Eff
localGet
Control.Ev.Eff
localModify
Control.Ev.Eff
localPut
Control.Ev.Eff
localRet
Control.Ev.Eff
lput
Control.Ev.Eff
many
Examples
many1
Examples
Marker
Control.Ev.Ctl
markerEq
Control.Ev.Ctl
mask
Control.Ev.Eff
none
Control.Ev.Util
nonscoped
Examples
number
Examples
Op
Control.Ev.Eff
operation
Control.Ev.Eff
out
Examples
Output
1 (Type/Class)
Examples
2 (Data Constructor)
Examples
output
Examples
Parse
1 (Type/Class)
Examples
2 (Data Constructor)
Examples
parse
Examples
perform
Control.Ev.Eff
prompt
Control.Ev.Ctl
Pure
Control.Ev.Ctl
put
1 (Function)
Control.Ev.Util
2 (Function)
Examples
Reader
1 (Type/Class)
Control.Ev.Util
2 (Data Constructor)
Control.Ev.Util
3 (Type/Class)
Examples
4 (Data Constructor)
Examples
reader
1 (Function)
Control.Ev.Util
2 (Function)
Examples
runCtl
Control.Ev.Ctl
runEff
Control.Ev.Eff
safeDiv
Examples
safeHead
Examples
sample1
Examples
sample3
Examples
satisfy
Examples
solutions
Examples
State
1 (Type/Class)
Control.Ev.Util
2 (Data Constructor)
Control.Ev.Util
3 (Type/Class)
Examples
4 (Data Constructor)
Examples
state
1 (Function)
Control.Ev.Util
2 (Function)
Examples
symbol
Examples
tell
Control.Ev.Util
term
Examples
test
Examples
test1
Examples
test2
Examples
throwError
Control.Ev.Util
toMaybe
Examples
unsafeIO
Control.Ev.Ctl
unsafePromptIORef
Control.Ev.Ctl
value
Control.Ev.Eff
Writer
1 (Type/Class)
Control.Ev.Util
2 (Data Constructor)
Control.Ev.Util
writer
Control.Ev.Util
xor
Examples
yield
Control.Ev.Ctl