data-effects-0.2.0.0: A basic framework for effect systems based on effects represented by GADTs.

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
AbsolveData.Effect.Chronicle
absolveData.Effect.Chronicle
absolve'Data.Effect.Chronicle
absolve''Data.Effect.Chronicle
AccumData.Effect.Accum
AddData.Effect.Accum
addData.Effect.Accum
add'Data.Effect.Accum
add''Data.Effect.Accum
alterEffectClassConfData.Effect.TH
alterEffectConfData.Effect.TH
Ask 
1 (Type/Class)Data.Effect.Reader
2 (Data Constructor)Data.Effect.Reader
askData.Effect.Reader
ask'Data.Effect.Reader
ask''Data.Effect.Reader
asksData.Effect.Reader
BracketData.Effect.Resource
bracketData.Effect.Resource
bracket'Data.Effect.Resource
bracket''Data.Effect.Resource
BracketOnExceptData.Effect.Resource
bracketOnExceptData.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
caseHData.Effect.HFunctor
Catch 
1 (Type/Class)Data.Effect.Except
2 (Data Constructor)Data.Effect.Except
catchData.Effect.Except
catch'Data.Effect.Except
catch''Data.Effect.Except
CensorData.Effect.Writer
censorData.Effect.Writer
censor'Data.Effect.Writer
censor''Data.Effect.Writer
changeNormalSenderFnNameFormatData.Effect.Key.TH
Choose 
1 (Type/Class)Data.Effect.NonDet
2 (Data Constructor)Data.Effect.NonDet
chooseData.Effect.NonDet
choose'Data.Effect.NonDet
choose''Data.Effect.NonDet
ChooseH 
1 (Type/Class)Data.Effect.NonDet
2 (Data Constructor)Data.Effect.NonDet
chooseHData.Effect.NonDet
chooseH'Data.Effect.NonDet
chooseH''Data.Effect.NonDet
chronicleData.Effect.Chronicle
ChronicleFData.Effect.Chronicle
ChronicleHData.Effect.Chronicle
ClockData.Effect.Concurrent.Timer
clockData.Effect.Concurrent.Timer
clock'Data.Effect.Concurrent.Timer
clock''Data.Effect.Concurrent.Timer
CondemnData.Effect.Chronicle
condemnData.Effect.Chronicle
condemn'Data.Effect.Chronicle
condemn''Data.Effect.Chronicle
confByEffectData.Effect.TH
ConfessData.Effect.Chronicle
confessData.Effect.Chronicle
confess'Data.Effect.Chronicle
confess''Data.Effect.Chronicle
ContinueData.Effect.Coroutine
continueStatusData.Effect.Coroutine
CyclicTimerData.Effect.Concurrent.Timer
cyclicTimerData.Effect.Concurrent.Timer
defData.Effect.TH
DefaultData.Effect.TH
deleteKVData.Effect.KVStore
deriveHFunctorData.Effect.TH
DictateData.Effect.Chronicle
dictateData.Effect.Chronicle
dictate'Data.Effect.Chronicle
dictate''Data.Effect.Chronicle
DistAnnData.Effect.HFunctor
doesDeriveHFunctorData.Effect.TH
doesGenerateLiftFOEPatternSynonymsData.Effect.TH
doesGenerateLiftFOETypeSynonymData.Effect.TH
doesGenerateSenderFnSignatureData.Effect.TH
DoneData.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
EffectFData.Effect
EffectHData.Effect
EffectOrderData.Effect.TH
ElemData.Effect.HFunctor
Empty 
1 (Type/Class)Data.Effect.NonDet
2 (Data Constructor)Data.Effect.NonDet
emptyData.Effect.NonDet
empty'Data.Effect.NonDet
empty''Data.Effect.NonDet
excData.Effect.Except
existsKVData.Effect.KVStore
exitData.Effect.ShiftReset
Fail 
1 (Type/Class)Data.Effect.Fail
2 (Data Constructor)Data.Effect.Fail
failData.Effect.Fail
fail'Data.Effect.Fail
fail''Data.Effect.Fail
finallyData.Effect.Resource
finally_Data.Effect.Resource
FirstOrderData.Effect.TH
FixData.Effect.Fix
ForkThreadData.Effect.Concurrent.Thread
forkThreadData.Effect.Concurrent.Thread
forkThread'Data.Effect.Concurrent.Thread
forkThread''Data.Effect.Concurrent.Thread
forkThread'_Data.Effect.Concurrent.Thread
Fresh 
1 (Type/Class)Data.Effect.Fresh
2 (Data Constructor)Data.Effect.Fresh
freshData.Effect.Fresh
fresh'Data.Effect.Fresh
fresh''Data.Effect.Fresh
genEffectKeyData.Effect.Key.TH
generateLiftFOEPatternSynonymsData.Effect.TH
generateLiftFOETypeSynonymData.Effect.TH
GetData.Effect.State
getData.Effect.State
get'Data.Effect.State
get''Data.Effect.State
getCCData.Effect.ShiftReset
getCC_Data.Effect.ShiftReset
getsData.Effect.State
HCont 
1 (Type/Class)Data.Effect.HFunctor.HCont
2 (Data Constructor)Data.Effect.HFunctor.HCont
hfmapData.Effect.HFunctor
HFunctorData.Effect.HFunctor
HigherOrderData.Effect.TH
injData.Effect.HFunctor
inj'Data.Effect.HFunctor
injectAData.Effect.HFunctor
InlData.Effect.HFunctor
Input 
1 (Type/Class)Data.Effect.Input
2 (Data Constructor)Data.Effect.Input
inputData.Effect.Input
input'Data.Effect.Input
input''Data.Effect.Input
inputsData.Effect.Input
InrData.Effect.HFunctor
joinEitherData.Effect.Except
joinExceptData.Effect.Except
KData.Effect.Key
Key 
1 (Type/Class)Data.Effect.Key
2 (Data Constructor)Data.Effect.Key
keyControl.Effect.Key
keyedSenderGenConfData.Effect.TH
KeyH 
1 (Type/Class)Data.Effect.Key
2 (Data Constructor)Data.Effect.Key
KHData.Effect.Key
KVStoreData.Effect.KVStore
LAccumData.Effect.Accum
LAddData.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
LChronicleFData.Effect.Chronicle
LClockData.Effect.Concurrent.Timer
LConfessData.Effect.Chronicle
LCyclicTimerData.Effect.Concurrent.Timer
LDictateData.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
LGetData.Effect.State
liftEitherData.Effect.Except
LiftFOE 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
LInput 
1 (Type/Class)Data.Effect.Input
2 (Data Constructor)Data.Effect.Input
ListenData.Effect.Writer
listenData.Effect.Writer
listen'Data.Effect.Writer
listen''Data.Effect.Writer
LKVStoreData.Effect.KVStore
LLookData.Effect.Accum
LLookupKVData.Effect.KVStore
LNopData.Effect
Local 
1 (Type/Class)Data.Effect.Reader
2 (Data Constructor)Data.Effect.Reader
localData.Effect.Reader
local'Data.Effect.Reader
local''Data.Effect.Reader
LookData.Effect.Accum
lookData.Effect.Accum
look'Data.Effect.Accum
look''Data.Effect.Accum
LookupKVData.Effect.KVStore
lookupKVData.Effect.KVStore
lookupKV'Data.Effect.KVStore
lookupKV''Data.Effect.KVStore
lookupOrThrowKVData.Effect.KVStore
loopStatusData.Effect.Coroutine
LOutput 
1 (Type/Class)Data.Effect.Output
2 (Data Constructor)Data.Effect.Output
LPutData.Effect.State
LSleepData.Effect.Concurrent.Timer
LStateData.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
LTimerData.Effect.Concurrent.Timer
LUpdateKVData.Effect.KVStore
LWaitData.Effect.Concurrent.Timer
LYield 
1 (Type/Class)Data.Effect.Coroutine
2 (Data Constructor)Data.Effect.Coroutine
makeEffectData.Effect.TH
makeEffect'Data.Effect.TH
MakeEffectConf 
1 (Type/Class)Data.Effect.TH
2 (Data Constructor)Data.Effect.TH
makeEffectFData.Effect.TH
makeEffectHData.Effect.TH
makeEffectH_Data.Effect.TH
makeEffect_Data.Effect.TH
makeHFunctorData.Effect.HFunctor.TH
makeHFunctor'Data.Effect.HFunctor.TH
makeKeyedEffectData.Effect.Key.TH
makeKeyedEffect_Data.Effect.Key.TH
measureTimeData.Effect.Concurrent.Timer
MementoData.Effect.Chronicle
mementoData.Effect.Chronicle
memento'Data.Effect.Chronicle
memento''Data.Effect.Chronicle
MfixData.Effect.Fix
mfixData.Effect.Fix
mfix'Data.Effect.Fix
mfix''Data.Effect.Fix
modifyData.Effect.State
modifyKVData.Effect.KVStore
noDeriveHFunctorData.Effect.TH
noExtTemplateData.Effect.TH
noGenerateKeyedSenderFunctionData.Effect.TH
noGenerateLiftFOEPatternSynonymsData.Effect.TH
noGenerateLiftFOETypeSynonymData.Effect.TH
noGenerateNormalSenderFunctionData.Effect.TH
noGenerateSenderFunctionSignatureData.Effect.TH
noGenerateTaggedSenderFunctionData.Effect.TH
NopData.Effect
normalSenderGenConfData.Effect.TH
onExceptData.Effect.Except
onExceptionData.Effect.Resource
onException_Data.Effect.Resource
orderOfData.Effect.TH
Output 
1 (Type/Class)Data.Effect.Output
2 (Data Constructor)Data.Effect.Output
outputData.Effect.Output
output'Data.Effect.Output
output''Data.Effect.Output
passData.Effect.Writer
periodicTimerData.Effect.Concurrent.Timer
prj'Data.Effect.HFunctor
projData.Effect.HFunctor
projectAData.Effect.HFunctor
ProvideData.Effect.Provider
provideData.Effect.Provider
provide'Data.Effect.Provider
provide''Data.Effect.Provider
ProviderData.Effect.Provider
Provider'Data.Effect.Provider
ProviderKeyData.Effect.Provider
Provider_Data.Effect.Provider
PutData.Effect.State
putData.Effect.State
put'Data.Effect.State
put''Data.Effect.State
RemAData.Effect.HFunctor
remAData.Effect.HFunctor
removeLastApostropheData.Effect.Key.TH
Reset 
1 (Type/Class)Data.Effect.ShiftReset
2 (Data Constructor)Data.Effect.ShiftReset
resetData.Effect.ShiftReset
reset'Data.Effect.ShiftReset
reset''Data.Effect.ShiftReset
ResourceData.Effect.Resource
runByKeyControl.Effect.Key
runCyclicData.Effect.Concurrent.Timer
runPeriodicData.Effect.Concurrent.Timer
runViaTagControl.Effect.Tag
senderFnArgDocData.Effect.TH
senderFnConfsData.Effect.TH
senderFnDocData.Effect.TH
senderFnNameData.Effect.TH
SenderFunctionConfData.Effect.TH
SendFOEControl.Effect
sendFOEControl.Effect
SendFOEByControl.Effect.Key
sendFOEByControl.Effect.Key
SendHOEControl.Effect
sendHOEControl.Effect
SendHOEByControl.Effect.Key
sendHOEByControl.Effect.Key
Shift 
1 (Data Constructor)Data.Effect.ShiftReset
2 (Type/Class)Data.Effect.ShiftReset
shiftData.Effect.ShiftReset
Shift'Data.Effect.ShiftReset
shift'Data.Effect.ShiftReset
shift''Data.Effect.ShiftReset
shift'_Data.Effect.ShiftReset
ShiftKeyData.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_KeyData.Effect.ShiftReset
SleepData.Effect.Concurrent.Timer
sleepData.Effect.Concurrent.Timer
sleep'Data.Effect.Concurrent.Timer
sleep''Data.Effect.Concurrent.Timer
sleepUntilData.Effect.Concurrent.Timer
splData.Effect.HFunctor
StateData.Effect.State
StatusData.Effect.Coroutine
SubsumeData.Effect.HFunctor
suppressFirstOrderInHigherOrderEffectWarningData.Effect.TH
TData.Effect.Tag
Tag 
1 (Type/Class)Data.Effect.Tag
2 (Data Constructor)Data.Effect.Tag
tagControl.Effect.Tag
taggedSenderGenConfData.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
tellData.Effect.Writer
tell'Data.Effect.Writer
tell''Data.Effect.Writer
THData.Effect.Tag
ThreadData.Effect.Concurrent.Thread
Thread'Data.Effect.Concurrent.Thread
ThreadKeyData.Effect.Concurrent.Thread
Throw 
1 (Type/Class)Data.Effect.Except
2 (Data Constructor)Data.Effect.Except
throwData.Effect.Except
throw'Data.Effect.Except
throw''Data.Effect.Except
TimerData.Effect.Concurrent.Timer
unHContData.Effect.HFunctor.HCont
unKeyData.Effect.Key
unKeyHData.Effect.Key
UnliftBaseData.Effect.Unlift
unliftFOEData.Effect
UnliftIOData.Effect.Unlift
unMakeEffectConfData.Effect.TH
unTagData.Effect.Tag
unTagHData.Effect.Tag
UpdateKVData.Effect.KVStore
updateKVData.Effect.KVStore
updateKV'Data.Effect.KVStore
updateKV''Data.Effect.KVStore
ViaTag 
1 (Type/Class)Control.Effect.Tag
2 (Data Constructor)Control.Effect.Tag
WaitData.Effect.Concurrent.Timer
waitData.Effect.Concurrent.Timer
wait'Data.Effect.Concurrent.Timer
wait''Data.Effect.Concurrent.Timer
warnFirstOrderInHOEData.Effect.TH
withElapsedTimeData.Effect.Concurrent.Timer
withExceptData.Effect.Except
WithRunInBaseData.Effect.Unlift
withRunInBaseData.Effect.Unlift
withRunInBase'Data.Effect.Unlift
withRunInBase''Data.Effect.Unlift
WithRunInIOData.Effect.Unlift
withRunInIOData.Effect.Unlift
withRunInIO'Data.Effect.Unlift
withRunInIO''Data.Effect.Unlift
writeKVData.Effect.KVStore
WriterHData.Effect.Writer
Yield 
1 (Type/Class)Data.Effect.Coroutine
2 (Data Constructor)Data.Effect.Coroutine
yieldData.Effect.Coroutine
yield'Data.Effect.Coroutine
yield''Data.Effect.Coroutine
yield_Data.Effect.Coroutine
_confByEffectData.Effect.TH
_doesDeriveHFunctorData.Effect.TH
_doesGenerateLiftFOEPatternSynonymsData.Effect.TH
_doesGenerateLiftFOETypeSynonymData.Effect.TH
_doesGenerateSenderFnSignatureData.Effect.TH
_keyedSenderGenConfData.Effect.TH
_normalSenderGenConfData.Effect.TH
_senderFnArgDocData.Effect.TH
_senderFnDocData.Effect.TH
_senderFnNameData.Effect.TH
_taggedSenderGenConfData.Effect.TH
_warnFirstOrderInHOEData.Effect.TH
~>Control.Effect