data-effects-0.3.0.1: A basic framework for effect systems based on effects represented by GADTs.
Contents
Index
Index
#
Data.Effect.Tag
##
Data.Effect.Tag
##>
Data.Effect.Key
#>
Data.Effect.Key
&
Data.Effect.TH
.!
Data.Effect.Provider
..!
Data.Effect.Provider
:&:
1 (Type/Class)
Data.Effect.HFunctor
2 (Data Constructor)
Data.Effect.HFunctor
:+:
Data.Effect.HFunctor
:<:
Data.Effect.HFunctor
:=:
Data.Effect.HFunctor
<:
Control.Effect
<<:
Control.Effect
Absolve
Data.Effect.Chronicle
absolve
Data.Effect.Chronicle
absolve'
Data.Effect.Chronicle
absolve''
Data.Effect.Chronicle
Accum
Data.Effect.Accum
Add
Data.Effect.Accum
add
Data.Effect.Accum
add'
Data.Effect.Accum
add''
Data.Effect.Accum
alterEffectClassConf
Data.Effect.TH
alterEffectConf
Data.Effect.TH
Ask
1 (Type/Class)
Data.Effect.Reader
2 (Data Constructor)
Data.Effect.Reader
ask
Data.Effect.Reader
ask'
Data.Effect.Reader
ask''
Data.Effect.Reader
asks
Data.Effect.Reader
Bracket
Data.Effect.Resource
bracket
Data.Effect.Resource
bracket'
Data.Effect.Resource
bracket''
Data.Effect.Resource
BracketOnExcept
Data.Effect.Resource
bracketOnExcept
Data.Effect.Resource
bracketOnExcept'
Data.Effect.Resource
bracketOnExcept''
Data.Effect.Resource
bracketOnExcept_
Data.Effect.Resource
bracket_
Data.Effect.Resource
ByKey
1 (Type/Class)
Control.Effect.Key
2 (Data Constructor)
Control.Effect.Key
CallCC
1 (Type/Class)
Data.Effect.Cont
2 (Data Constructor)
Data.Effect.Cont
callCC
1 (Function)
Data.Effect.ShiftReset
2 (Function)
Data.Effect.Cont
callCC'
Data.Effect.Cont
callCC''
Data.Effect.Cont
cancelBy
Data.Effect.Concurrent.Parallel
cancels
Data.Effect.Concurrent.Parallel
caseH
Data.Effect.HFunctor
Catch
1 (Type/Class)
Data.Effect.Except
2 (Data Constructor)
Data.Effect.Except
catch
Data.Effect.Except
catch'
Data.Effect.Except
catch''
Data.Effect.Except
Censor
Data.Effect.Writer
censor
Data.Effect.Writer
censor'
Data.Effect.Writer
censor''
Data.Effect.Writer
changeNormalSenderFnNameFormat
Data.Effect.Key.TH
Choose
1 (Type/Class)
Data.Effect.NonDet
2 (Data Constructor)
Data.Effect.NonDet
choose
Data.Effect.NonDet
choose'
Data.Effect.NonDet
choose''
Data.Effect.NonDet
ChooseH
1 (Type/Class)
Data.Effect.NonDet
2 (Data Constructor)
Data.Effect.NonDet
chooseH
Data.Effect.NonDet
chooseH'
Data.Effect.NonDet
chooseH''
Data.Effect.NonDet
chronicle
Data.Effect.Chronicle
ChronicleF
Data.Effect.Chronicle
ChronicleH
Data.Effect.Chronicle
Clock
Data.Effect.Concurrent.Timer
clock
Data.Effect.Concurrent.Timer
clock'
Data.Effect.Concurrent.Timer
clock''
Data.Effect.Concurrent.Timer
Concurrently
1 (Type/Class)
Data.Effect.Concurrent.Parallel
2 (Data Constructor)
Data.Effect.Concurrent.Parallel
Condemn
Data.Effect.Chronicle
condemn
Data.Effect.Chronicle
condemn'
Data.Effect.Chronicle
condemn''
Data.Effect.Chronicle
confByEffect
Data.Effect.TH
Confess
Data.Effect.Chronicle
confess
Data.Effect.Chronicle
confess'
Data.Effect.Chronicle
confess''
Data.Effect.Chronicle
Const1
1 (Type/Class)
Data.Effect.Provider
2 (Data Constructor)
Data.Effect.Provider
Const2
1 (Type/Class)
Data.Effect.Provider
2 (Data Constructor)
Data.Effect.Provider
Continue
Data.Effect.Coroutine
continueStatus
Data.Effect.Coroutine
CyclicTimer
Data.Effect.Concurrent.Timer
cyclicTimer
Data.Effect.Concurrent.Timer
def
Data.Effect.TH
Default
Data.Effect.TH
deleteKV
Data.Effect.KVStore
deriveHFunctor
Data.Effect.TH
Dictate
Data.Effect.Chronicle
dictate
Data.Effect.Chronicle
dictate'
Data.Effect.Chronicle
dictate''
Data.Effect.Chronicle
DistAnn
Data.Effect.HFunctor
doesDeriveHFunctor
Data.Effect.TH
doesGenerateLiftFOEPatternSynonyms
Data.Effect.TH
doesGenerateLiftFOETypeSynonym
Data.Effect.TH
doesGenerateSenderFnSignature
Data.Effect.TH
Done
Data.Effect.Coroutine
EffectClassConf
1 (Type/Class)
Data.Effect.TH
2 (Data Constructor)
Data.Effect.TH
EffectConf
1 (Type/Class)
Data.Effect.TH
2 (Data Constructor)
Data.Effect.TH
EffectF
Data.Effect
EffectH
Data.Effect
EffectOrder
Data.Effect.TH
Elem
Data.Effect.HFunctor
embed
Data.Effect.ShiftReset
embedF
Data.Effect.ShiftReset
Empty
1 (Type/Class)
Data.Effect.NonDet
2 (Data Constructor)
Data.Effect.NonDet
empty
Data.Effect.NonDet
empty'
Data.Effect.NonDet
empty''
Data.Effect.NonDet
exc
Data.Effect.Except
existsKV
Data.Effect.KVStore
exit
Data.Effect.ShiftReset
exitF
Data.Effect.ShiftReset
Fail
1 (Type/Class)
Data.Effect.Fail
2 (Data Constructor)
Data.Effect.Fail
fail
Data.Effect.Fail
fail'
Data.Effect.Fail
fail''
Data.Effect.Fail
finally
Data.Effect.Resource
finally_
Data.Effect.Resource
FirstOrder
Data.Effect.TH
Fix
Data.Effect.Fix
For
1 (Type/Class)
Data.Effect.Concurrent.Parallel
2 (Data Constructor)
Data.Effect.Concurrent.Parallel
for
Data.Effect.Concurrent.Parallel
for'
Data.Effect.Concurrent.Parallel
for''
Data.Effect.Concurrent.Parallel
forToParallel
Data.Effect.Concurrent.Parallel
Fresh
1 (Type/Class)
Data.Effect.Fresh
2 (Data Constructor)
Data.Effect.Fresh
fresh
Data.Effect.Fresh
fresh'
Data.Effect.Fresh
fresh''
Data.Effect.Fresh
fromShiftF
Data.Effect.ShiftReset
genEffectKey
Data.Effect.Key.TH
generateLiftFOEPatternSynonyms
Data.Effect.TH
generateLiftFOETypeSynonym
Data.Effect.TH
Get
Data.Effect.State
get
Data.Effect.State
get'
Data.Effect.State
get''
Data.Effect.State
getCC
Data.Effect.ShiftReset
getCC_
Data.Effect.ShiftReset
getConst1
Data.Effect.Provider
getConst2
Data.Effect.Provider
gets
Data.Effect.State
Halt
1 (Type/Class)
Data.Effect.Concurrent.Parallel
2 (Data Constructor)
Data.Effect.Concurrent.Parallel
halt
Data.Effect.Concurrent.Parallel
halt'
Data.Effect.Concurrent.Parallel
halt''
Data.Effect.Concurrent.Parallel
HCont
1 (Type/Class)
Data.Effect.HFunctor.HCont
2 (Data Constructor)
Data.Effect.HFunctor.HCont
hfmap
Data.Effect.HFunctor
HFunctor
Data.Effect.HFunctor
HigherOrder
Data.Effect.TH
inj
Data.Effect.HFunctor
inj'
Data.Effect.HFunctor
injectA
Data.Effect.HFunctor
Inl
Data.Effect.HFunctor
Input
1 (Type/Class)
Data.Effect.Input
2 (Data Constructor)
Data.Effect.Input
input
Data.Effect.Input
input'
Data.Effect.Input
input''
Data.Effect.Input
inputs
Data.Effect.Input
Inr
Data.Effect.HFunctor
joinEither
Data.Effect.Except
joinExcept
Data.Effect.Except
K
Data.Effect.Key
Key
1 (Type/Class)
Data.Effect.Key
2 (Data Constructor)
Data.Effect.Key
key
Control.Effect.Key
keyedSenderGenConf
Data.Effect.TH
KeyH
1 (Type/Class)
Data.Effect.Key
2 (Data Constructor)
Data.Effect.Key
KH
Data.Effect.Key
KVStore
Data.Effect.KVStore
LAccum
Data.Effect.Accum
LAdd
Data.Effect.Accum
LAsk
1 (Type/Class)
Data.Effect.Reader
2 (Data Constructor)
Data.Effect.Reader
LChoose
1 (Type/Class)
Data.Effect.NonDet
2 (Data Constructor)
Data.Effect.NonDet
LChronicleF
Data.Effect.Chronicle
LClock
Data.Effect.Concurrent.Timer
LConfess
Data.Effect.Chronicle
LCyclicTimer
Data.Effect.Concurrent.Timer
LDictate
Data.Effect.Chronicle
LEmpty
1 (Type/Class)
Data.Effect.NonDet
2 (Data Constructor)
Data.Effect.NonDet
LFail
1 (Type/Class)
Data.Effect.Fail
2 (Data Constructor)
Data.Effect.Fail
LFresh
1 (Type/Class)
Data.Effect.Fresh
2 (Data Constructor)
Data.Effect.Fresh
LGet
Data.Effect.State
LHalt
1 (Type/Class)
Data.Effect.Concurrent.Parallel
2 (Data Constructor)
Data.Effect.Concurrent.Parallel
liftEither
Data.Effect.Except
LiftFOE
1 (Type/Class)
Data.Effect
2 (Data Constructor)
Data.Effect
LiftP2
Data.Effect.Concurrent.Parallel
liftP2
Data.Effect.Concurrent.Parallel
liftP2'
Data.Effect.Concurrent.Parallel
liftP2''
Data.Effect.Concurrent.Parallel
liftP3
Data.Effect.Concurrent.Parallel
LInput
1 (Type/Class)
Data.Effect.Input
2 (Data Constructor)
Data.Effect.Input
Listen
Data.Effect.Writer
listen
Data.Effect.Writer
listen'
Data.Effect.Writer
listen''
Data.Effect.Writer
LKVStore
Data.Effect.KVStore
LLog
1 (Type/Class)
Data.Effect.Log
2 (Data Constructor)
Data.Effect.Log
LLook
Data.Effect.Accum
LLookupKV
Data.Effect.KVStore
LNop
Data.Effect
Local
1 (Type/Class)
Data.Effect.Reader
2 (Data Constructor)
Data.Effect.Reader
local
Data.Effect.Reader
local'
Data.Effect.Reader
local''
Data.Effect.Reader
Log
1 (Type/Class)
Data.Effect.Log
2 (Data Constructor)
Data.Effect.Log
log
Data.Effect.Log
log'
Data.Effect.Log
log''
Data.Effect.Log
Look
Data.Effect.Accum
look
Data.Effect.Accum
look'
Data.Effect.Accum
look''
Data.Effect.Accum
LookupKV
Data.Effect.KVStore
lookupKV
Data.Effect.KVStore
lookupKV'
Data.Effect.KVStore
lookupKV''
Data.Effect.KVStore
lookupOrThrowKV
Data.Effect.KVStore
loopStatus
Data.Effect.Coroutine
LOutput
1 (Type/Class)
Data.Effect.Output
2 (Data Constructor)
Data.Effect.Output
LPut
Data.Effect.State
LSelect
1 (Type/Class)
Data.Effect.Select
2 (Data Constructor)
Data.Effect.Select
LShiftF
1 (Type/Class)
Data.Effect.ShiftReset
2 (Data Constructor)
Data.Effect.ShiftReset
LSleep
Data.Effect.Concurrent.Timer
LState
Data.Effect.State
LTell
1 (Type/Class)
Data.Effect.Writer
2 (Data Constructor)
Data.Effect.Writer
LThrow
1 (Type/Class)
Data.Effect.Except
2 (Data Constructor)
Data.Effect.Except
LTimer
Data.Effect.Concurrent.Timer
LUpdateKV
Data.Effect.KVStore
LWait
Data.Effect.Concurrent.Timer
LYield
1 (Type/Class)
Data.Effect.Coroutine
2 (Data Constructor)
Data.Effect.Coroutine
makeEffect
Data.Effect.TH
makeEffect'
Data.Effect.TH
MakeEffectConf
1 (Type/Class)
Data.Effect.TH
2 (Data Constructor)
Data.Effect.TH
makeEffectF
Data.Effect.TH
makeEffectH
Data.Effect.TH
makeEffectH_
Data.Effect.TH
makeEffect_
Data.Effect.TH
makeHFunctor
Data.Effect.HFunctor.TH
makeHFunctor'
Data.Effect.HFunctor.TH
makeKeyedEffect
Data.Effect.Key.TH
makeKeyedEffect_
Data.Effect.Key.TH
measureTime
Data.Effect.Concurrent.Timer
Memento
Data.Effect.Chronicle
memento
Data.Effect.Chronicle
memento'
Data.Effect.Chronicle
memento''
Data.Effect.Chronicle
Mfix
Data.Effect.Fix
mfix
Data.Effect.Fix
mfix'
Data.Effect.Fix
mfix''
Data.Effect.Fix
modify
Data.Effect.State
modifyKV
Data.Effect.KVStore
noDeriveHFunctor
Data.Effect.TH
noExtTemplate
Data.Effect.TH
noGenerateKeyedSenderFunction
Data.Effect.TH
noGenerateLiftFOEPatternSynonyms
Data.Effect.TH
noGenerateLiftFOETypeSynonym
Data.Effect.TH
noGenerateNormalSenderFunction
Data.Effect.TH
noGenerateSenderFunctionSignature
Data.Effect.TH
noGenerateTaggedSenderFunction
Data.Effect.TH
Nop
Data.Effect
normalSenderGenConf
Data.Effect.TH
onExcept
Data.Effect.Except
onException
Data.Effect.Resource
onException_
Data.Effect.Resource
orderOf
Data.Effect.TH
Output
1 (Type/Class)
Data.Effect.Output
2 (Data Constructor)
Data.Effect.Output
output
Data.Effect.Output
output'
Data.Effect.Output
output''
Data.Effect.Output
Parallel
Data.Effect.Concurrent.Parallel
pass
Data.Effect.Writer
periodicTimer
Data.Effect.Concurrent.Timer
Poldl
Data.Effect.Concurrent.Parallel
poldl
Data.Effect.Concurrent.Parallel
poldl'
Data.Effect.Concurrent.Parallel
poldl''
Data.Effect.Concurrent.Parallel
Poll
Data.Effect.Concurrent.Parallel
prj'
Data.Effect.HFunctor
proj
Data.Effect.HFunctor
projectA
Data.Effect.HFunctor
Provide
Data.Effect.Provider
provide
Data.Effect.Provider
provide'
Data.Effect.Provider
provide''
Data.Effect.Provider
Provider
Data.Effect.Provider
Provider'
Data.Effect.Provider
ProviderKey
Data.Effect.Provider
Provider_
Data.Effect.Provider
Put
Data.Effect.State
put
Data.Effect.State
put'
Data.Effect.State
put''
Data.Effect.State
Race
1 (Type/Class)
Data.Effect.Concurrent.Parallel
2 (Data Constructor)
Data.Effect.Concurrent.Parallel
race
Data.Effect.Concurrent.Parallel
race'
Data.Effect.Concurrent.Parallel
race''
Data.Effect.Concurrent.Parallel
RemA
Data.Effect.HFunctor
remA
Data.Effect.HFunctor
removeLastApostrophe
Data.Effect.Key.TH
Reset
1 (Type/Class)
Data.Effect.ShiftReset
2 (Data Constructor)
Data.Effect.ShiftReset
reset
Data.Effect.ShiftReset
reset'
Data.Effect.ShiftReset
reset''
Data.Effect.ShiftReset
Resource
Data.Effect.Resource
runByKey
Control.Effect.Key
runConcurrently
Data.Effect.Concurrent.Parallel
runCyclic
Data.Effect.Concurrent.Timer
runPeriodic
Data.Effect.Concurrent.Timer
runViaTag
Control.Effect.Tag
Select
1 (Type/Class)
Data.Effect.Select
2 (Data Constructor)
Data.Effect.Select
select
Data.Effect.Select
select'
Data.Effect.Select
select''
Data.Effect.Select
senderFnArgDoc
Data.Effect.TH
senderFnConfs
Data.Effect.TH
senderFnDoc
Data.Effect.TH
senderFnName
Data.Effect.TH
SenderFunctionConf
Data.Effect.TH
SendFOE
Control.Effect
sendFOE
Control.Effect
SendFOEBy
Control.Effect.Key
sendFOEBy
Control.Effect.Key
SendHOE
Control.Effect
sendHOE
Control.Effect
SendHOEBy
Control.Effect.Key
sendHOEBy
Control.Effect.Key
Shift
1 (Data Constructor)
Data.Effect.ShiftReset
2 (Type/Class)
Data.Effect.ShiftReset
shift
Data.Effect.ShiftReset
Shift'
Data.Effect.ShiftReset
shift'
Data.Effect.ShiftReset
shift''
Data.Effect.ShiftReset
shift'_
Data.Effect.ShiftReset
ShiftF
1 (Type/Class)
Data.Effect.ShiftReset
2 (Data Constructor)
Data.Effect.ShiftReset
shiftF
Data.Effect.ShiftReset
shiftF'
Data.Effect.ShiftReset
shiftF''
Data.Effect.ShiftReset
ShiftKey
Data.Effect.ShiftReset
Shift_
Data.Effect.ShiftReset
Shift_'
1 (Type/Class)
Data.Effect.ShiftReset
2 (Data Constructor)
Data.Effect.ShiftReset
shift_'
Data.Effect.ShiftReset
shift_''
Data.Effect.ShiftReset
shift_'''
Data.Effect.ShiftReset
shift_''_
Data.Effect.ShiftReset
Shift_Key
Data.Effect.ShiftReset
Sleep
Data.Effect.Concurrent.Timer
sleep
Data.Effect.Concurrent.Timer
sleep'
Data.Effect.Concurrent.Timer
sleep''
Data.Effect.Concurrent.Timer
sleepUntil
Data.Effect.Concurrent.Timer
spl
Data.Effect.HFunctor
State
Data.Effect.State
Status
Data.Effect.Coroutine
Subsume
Data.Effect.HFunctor
suppressFirstOrderInHigherOrderEffectWarning
Data.Effect.TH
T
Data.Effect.Tag
Tag
1 (Type/Class)
Data.Effect.Tag
2 (Data Constructor)
Data.Effect.Tag
tag
Control.Effect.Tag
taggedSenderGenConf
Data.Effect.TH
TagH
1 (Type/Class)
Data.Effect.Tag
2 (Data Constructor)
Data.Effect.Tag
Tell
1 (Type/Class)
Data.Effect.Writer
2 (Data Constructor)
Data.Effect.Writer
tell
Data.Effect.Writer
tell'
Data.Effect.Writer
tell''
Data.Effect.Writer
TH
Data.Effect.Tag
Throw
1 (Type/Class)
Data.Effect.Except
2 (Data Constructor)
Data.Effect.Except
throw
Data.Effect.Except
throw'
Data.Effect.Except
throw''
Data.Effect.Except
Timer
Data.Effect.Concurrent.Timer
unHCont
Data.Effect.HFunctor.HCont
unKey
Data.Effect.Key
unKeyH
Data.Effect.Key
UnliftBase
Data.Effect.Unlift
unliftFOE
Data.Effect
UnliftIO
Data.Effect.Unlift
unMakeEffectConf
Data.Effect.TH
unTag
Data.Effect.Tag
unTagH
Data.Effect.Tag
UpdateKV
Data.Effect.KVStore
updateKV
Data.Effect.KVStore
updateKV'
Data.Effect.KVStore
updateKV''
Data.Effect.KVStore
ViaTag
1 (Type/Class)
Control.Effect.Tag
2 (Data Constructor)
Control.Effect.Tag
Wait
Data.Effect.Concurrent.Timer
wait
Data.Effect.Concurrent.Timer
wait'
Data.Effect.Concurrent.Timer
wait''
Data.Effect.Concurrent.Timer
warnFirstOrderInHOE
Data.Effect.TH
withElapsedTime
Data.Effect.Concurrent.Timer
withExcept
Data.Effect.Except
WithRunInBase
Data.Effect.Unlift
withRunInBase
Data.Effect.Unlift
withRunInBase'
Data.Effect.Unlift
withRunInBase''
Data.Effect.Unlift
WithRunInIO
Data.Effect.Unlift
withRunInIO
Data.Effect.Unlift
withRunInIO'
Data.Effect.Unlift
withRunInIO''
Data.Effect.Unlift
writeKV
Data.Effect.KVStore
WriterH
Data.Effect.Writer
Yield
1 (Type/Class)
Data.Effect.Coroutine
2 (Data Constructor)
Data.Effect.Coroutine
yield
Data.Effect.Coroutine
yield'
Data.Effect.Coroutine
yield''
Data.Effect.Coroutine
yield_
Data.Effect.Coroutine
_confByEffect
Data.Effect.TH
_doesDeriveHFunctor
Data.Effect.TH
_doesGenerateLiftFOEPatternSynonyms
Data.Effect.TH
_doesGenerateLiftFOETypeSynonym
Data.Effect.TH
_doesGenerateSenderFnSignature
Data.Effect.TH
_keyedSenderGenConf
Data.Effect.TH
_normalSenderGenConf
Data.Effect.TH
_senderFnArgDoc
Data.Effect.TH
_senderFnDoc
Data.Effect.TH
_senderFnName
Data.Effect.TH
_taggedSenderGenConf
Data.Effect.TH
_warnFirstOrderInHOE
Data.Effect.TH
~>
Control.Effect