eveff-1.0.0.0: Efficient effect handlers based on evidence translation.

Index

:*Control.Ev.Eff
:?Control.Ev.Eff
addExamples
adderExamples
allResultsExamples
Amb 
1 (Type/Class)Examples
2 (Data Constructor)Examples
ask 
1 (Function)Control.Ev.Util
2 (Function)Examples
catchErrorControl.Ev.Util
choiceExamples
Choose 
1 (Type/Class)Control.Ev.Util
2 (Data Constructor)Control.Ev.Util
chooseControl.Ev.Util
chooseAllControl.Ev.Util
chooseFirstControl.Ev.Util
CtlControl.Ev.Ctl
digitExamples
eagerExamples
ebodyExamples
EffControl.Ev.Eff
Evil 
1 (Type/Class)Examples
2 (Data Constructor)Examples
evilExamples
Except 
1 (Type/Class)Control.Ev.Util
2 (Data Constructor)Control.Ev.Util
exceptControl.Ev.Eff
exceptDefault 
1 (Function)Control.Ev.Util
2 (Function)Examples
exceptEitherControl.Ev.Util
exceptMaybeControl.Ev.Util
Exn 
1 (Type/Class)Examples
2 (Data Constructor)Examples
exprExamples
factorExamples
failureExamples
firstResultExamples
flipExamples
functionControl.Ev.Eff
get 
1 (Function)Control.Ev.Util
2 (Function)Examples
greetExamples
greetMaybeExamples
greetOrExitExamples
handlerControl.Ev.Eff
handlerHideControl.Ev.Eff
handlerLocalControl.Ev.Eff
handlerLocalRetControl.Ev.Eff
handlerRetControl.Ev.Eff
helloWorldExamples
hevilExamples
hrExamples
invertExamples
lgetControl.Ev.Eff
lmodifyControl.Ev.Eff
LocalControl.Ev.Eff
localControl.Ev.Eff
localGetControl.Ev.Eff
localModifyControl.Ev.Eff
localPutControl.Ev.Eff
localRetControl.Ev.Eff
lputControl.Ev.Eff
manyExamples
many1Examples
MarkerControl.Ev.Ctl
markerEqControl.Ev.Ctl
maskControl.Ev.Eff
noneControl.Ev.Util
nonscopedExamples
numberExamples
OpControl.Ev.Eff
operationControl.Ev.Eff
outExamples
Output 
1 (Type/Class)Examples
2 (Data Constructor)Examples
outputExamples
Parse 
1 (Type/Class)Examples
2 (Data Constructor)Examples
parseExamples
performControl.Ev.Eff
promptControl.Ev.Ctl
PureControl.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
runCtlControl.Ev.Ctl
runEffControl.Ev.Eff
safeDivExamples
safeHeadExamples
sample1Examples
sample3Examples
satisfyExamples
solutionsExamples
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
symbolExamples
tellControl.Ev.Util
termExamples
testExamples
test1Examples
test2Examples
throwErrorControl.Ev.Util
toMaybeExamples
unsafeIOControl.Ev.Ctl
unsafePromptIORefControl.Ev.Ctl
valueControl.Ev.Eff
Writer 
1 (Type/Class)Control.Ev.Util
2 (Data Constructor)Control.Ev.Util
writerControl.Ev.Util
xorExamples
yieldControl.Ev.Ctl