data-effects-0.3.0.1: 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
cancelByData.Effect.Concurrent.Parallel
cancelsData.Effect.Concurrent.Parallel
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
Concurrently 
1 (Type/Class)Data.Effect.Concurrent.Parallel
2 (Data Constructor)Data.Effect.Concurrent.Parallel
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
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
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
embedData.Effect.ShiftReset
embedFData.Effect.ShiftReset
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
exitFData.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
For 
1 (Type/Class)Data.Effect.Concurrent.Parallel
2 (Data Constructor)Data.Effect.Concurrent.Parallel
forData.Effect.Concurrent.Parallel
for'Data.Effect.Concurrent.Parallel
for''Data.Effect.Concurrent.Parallel
forToParallelData.Effect.Concurrent.Parallel
Fresh 
1 (Type/Class)Data.Effect.Fresh
2 (Data Constructor)Data.Effect.Fresh
freshData.Effect.Fresh
fresh'Data.Effect.Fresh
fresh''Data.Effect.Fresh
fromShiftFData.Effect.ShiftReset
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
getConst1Data.Effect.Provider
getConst2Data.Effect.Provider
getsData.Effect.State
Halt 
1 (Type/Class)Data.Effect.Concurrent.Parallel
2 (Data Constructor)Data.Effect.Concurrent.Parallel
haltData.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
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
LHalt 
1 (Type/Class)Data.Effect.Concurrent.Parallel
2 (Data Constructor)Data.Effect.Concurrent.Parallel
liftEitherData.Effect.Except
LiftFOE 
1 (Type/Class)Data.Effect
2 (Data Constructor)Data.Effect
LiftP2Data.Effect.Concurrent.Parallel
liftP2Data.Effect.Concurrent.Parallel
liftP2'Data.Effect.Concurrent.Parallel
liftP2''Data.Effect.Concurrent.Parallel
liftP3Data.Effect.Concurrent.Parallel
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
LLog 
1 (Type/Class)Data.Effect.Log
2 (Data Constructor)Data.Effect.Log
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
Log 
1 (Type/Class)Data.Effect.Log
2 (Data Constructor)Data.Effect.Log
logData.Effect.Log
log'Data.Effect.Log
log''Data.Effect.Log
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
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
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
ParallelData.Effect.Concurrent.Parallel
passData.Effect.Writer
periodicTimerData.Effect.Concurrent.Timer
PoldlData.Effect.Concurrent.Parallel
poldlData.Effect.Concurrent.Parallel
poldl'Data.Effect.Concurrent.Parallel
poldl''Data.Effect.Concurrent.Parallel
PollData.Effect.Concurrent.Parallel
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
Race 
1 (Type/Class)Data.Effect.Concurrent.Parallel
2 (Data Constructor)Data.Effect.Concurrent.Parallel
raceData.Effect.Concurrent.Parallel
race'Data.Effect.Concurrent.Parallel
race''Data.Effect.Concurrent.Parallel
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
runConcurrentlyData.Effect.Concurrent.Parallel
runCyclicData.Effect.Concurrent.Timer
runPeriodicData.Effect.Concurrent.Timer
runViaTagControl.Effect.Tag
Select 
1 (Type/Class)Data.Effect.Select
2 (Data Constructor)Data.Effect.Select
selectData.Effect.Select
select'Data.Effect.Select
select''Data.Effect.Select
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
ShiftF 
1 (Type/Class)Data.Effect.ShiftReset
2 (Data Constructor)Data.Effect.ShiftReset
shiftFData.Effect.ShiftReset
shiftF'Data.Effect.ShiftReset
shiftF''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
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