ixmonad-0.57: Embeds effect systems into Haskell using parameteric effect monads

Index

:! 
1 (Type/Class)Control.Effect.State
2 (Data Constructor)Control.Effect.State
:+Control.Effect.Counter
:++Control.Effect.Helpers.List
:-> 
1 (Type/Class)Control.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
2 (Data Constructor)Control.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State
>>Control.Effect
>>=Control.Effect
ActionControl.Effect.State
AddControl.Effect.Vector
AltControl.Effect.Cond
AltInvControl.Effect.Cond
AppendControl.Effect.Helpers.Set
append 
1 (Function)Control.Effect.Helpers.List
2 (Function)Control.Effect.Helpers.Set
3 (Function)Control.Effect.Vector
ask 
1 (Function)Control.Effect.ReadOnceReader
2 (Function)Control.Effect.Reader
3 (Function)Control.Coeffect.Coreader
AsSetControl.Effect.Helpers.Set
asSetControl.Effect.Helpers.Set
bsortControl.Effect.Helpers.Set
ChooseControl.Effect.Helpers.Mapping
chooseControl.Effect.Helpers.Mapping
ChooserControl.Effect.Helpers.Mapping
CoeffectControl.Coeffect
CoeffectZipControl.Coeffect
CondControl.Effect.Cond
Cons 
1 (Data Constructor)Control.Effect.Helpers.List, Control.Effect.ReadOnceReader
2 (Data Constructor)Control.Effect.Vector
Counter 
1 (Type/Class)Control.Effect.Counter
2 (Type/Class)Control.Effect.CounterNat
3 (Data Constructor)Control.Effect.CounterNat
czipControl.Coeffect
CzipInvControl.Coeffect
Eff 
1 (Type/Class)Control.Effect.Update
2 (Data Constructor)Control.Effect.State
3 (Type/Class)Control.Effect.State
EffectControl.Effect
EmptyControl.Effect.Helpers.Set, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
ExtControl.Effect.Helpers.Set, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
extendControl.Coeffect
extractControl.Coeffect
FControl.Effect.Maybe
failControl.Effect
forgetControl.Effect.CounterNat
getControl.Effect.State
IdControl.Effect.Parameterised
IDynControl.Effect.Maybe
ifMControl.Effect.Cond
IJustControl.Effect.Maybe
IMaybeControl.Effect.Maybe
INothingControl.Effect.Maybe
IntersectRControl.Effect.State
Inv 
1 (Type/Class)Control.Effect
2 (Type/Class)Control.Coeffect
IsSetControl.Effect.Helpers.Set, Control.Effect.Writer
IxCoreaderControl.Coeffect.Coreader
IxR 
1 (Data Constructor)Control.Effect.Reader
2 (Data Constructor)Control.Coeffect.Coreader
ListControl.Effect.Helpers.List, Control.Effect.ReadOnceReader
MControl.Effect.Parameterised
MaxControl.Effect.Helpers.Set
maxHControl.Effect.Helpers.Set
MeetControl.Coeffect
mergeControl.Effect.Reader
MinControl.Effect.Helpers.Set
minHControl.Effect.Helpers.Set
MonadControl.Effect.Monad
MorphControl.Effect.Parameterised
Nil 
1 (Data Constructor)Control.Effect.Helpers.List, Control.Effect.ReadOnceReader
2 (Data Constructor)Control.Effect.Vector
NoPutControl.Effect.Update
NubControl.Effect.Helpers.Set
nubControl.Effect.Helpers.Set
NubableControl.Effect.Helpers.Set
OrdHControl.Effect.Helpers.Set
Plus 
1 (Type/Class)Control.Effect
2 (Type/Class)Control.Coeffect
Proxy 
1 (Type/Class)Control.Effect.Helpers.Mapping
2 (Data Constructor)Control.Effect.Helpers.Mapping
PutControl.Effect.Update
put 
1 (Function)Control.Effect.Update
2 (Function)Control.Effect.WriteOnceWriter
3 (Function)Control.Effect.State
4 (Function)Control.Effect.Writer
R 
1 (Data Constructor)Control.Effect.ReadOnceReader
2 (Data Constructor)Control.Effect.State
Reader 
1 (Type/Class)Control.Effect.ReadOnceReader
2 (Type/Class)Control.Effect.Reader
ReadsControl.Effect.State
returnControl.Effect
runCoreaderControl.Coeffect.Coreader
runReader 
1 (Function)Control.Effect.ReadOnceReader
2 (Function)Control.Effect.Reader
runStateControl.Effect.State
runUpdateControl.Effect.Update
runWriteOnceControl.Effect.WriteOnceWriter
runWriterControl.Effect.Writer
RWControl.Effect.State
S 
1 (Type/Class)Control.Effect.Counter
2 (Type/Class)Control.Effect.Vector
SelectControl.Effect.Helpers.Mapping
selectControl.Effect.Helpers.Mapping
SetControl.Effect.Helpers.Set, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
SetLikeControl.Effect.State
SortControl.Effect.Helpers.Set, Control.Effect.State
SortableControl.Effect.Helpers.Set, Control.Effect.State
Split 
1 (Type/Class)Control.Effect.Helpers.List
2 (Type/Class)Control.Effect.Helpers.Set, Control.Effect.State
split 
1 (Function)Control.Effect.Helpers.List
2 (Function)Control.Effect.Helpers.Set
State 
1 (Type/Class)Control.Effect.State
2 (Data Constructor)Control.Effect.State
StateSetControl.Effect.State
subControl.Effect
subcoControl.Coeffect
SubcoeffectControl.Coeffect
SubeffectControl.Effect
SubsetControl.Effect.Helpers.Set, Control.Effect.Reader
subsetControl.Effect.Helpers.Set
SymbolControl.Effect.Writer
T 
1 (Type/Class)Control.Effect.Maybe
2 (Type/Class)Control.Effect.Parameterised
3 (Data Constructor)Control.Effect.Parameterised
tick 
1 (Function)Control.Effect.Counter
2 (Function)Control.Effect.CounterNat
UControl.Effect.Maybe
UnionControl.Effect.Helpers.Set, Control.Effect.Writer
union 
1 (Function)Control.Effect.Helpers.Set, Control.Effect.Writer
2 (Function)Control.Effect.State
Unionable 
1 (Type/Class)Control.Effect.Helpers.Set, Control.Effect.Writer
2 (Type/Class)Control.Effect.State
UnionSControl.Effect.State
Unit 
1 (Type/Class)Control.Effect
2 (Type/Class)Control.Coeffect
unWrapControl.Effect.Monad
Update 
1 (Type/Class)Control.Effect.Update
2 (Data Constructor)Control.Effect.Update
3 (Type/Class)Control.Effect.State
Var 
1 (Type/Class)Control.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
2 (Data Constructor)Control.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
VectorControl.Effect.Vector
W 
1 (Data Constructor)Control.Effect.WriteOnceWriter
2 (Data Constructor)Control.Effect.State
WrapControl.Effect.Monad
WriteOnceControl.Effect.WriteOnceWriter
Writer 
1 (Type/Class)Control.Effect.Writer
2 (Data Constructor)Control.Effect.Writer
WritesControl.Effect.State
XControl.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
YControl.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
Z 
1 (Data Constructor)Control.Effect.Helpers.Mapping, Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer
2 (Type/Class)Control.Effect.Counter
3 (Type/Class)Control.Effect.Vector