ixmonad-0.50: Embeds effect systems into Haskell using an parameteric effect monad (the |Effect| type class)

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
Append'Control.Effect.ReaderNat
ask 
1 (Function)Control.Effect.ReaderNat
2 (Function)Control.Effect.ReadOnceReader
3 (Function)Control.Effect.Reader
4 (Function)Control.Coeffect.Coreader
AsSetControl.Effect.Helpers.Set
asSetControl.Effect.Helpers.Set
bsortControl.Effect.Helpers.Set
BubbleControl.Effect.ReaderNat
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.ReaderNat
3 (Type/Class)Control.Effect.ReaderNat
4 (Data Constructor)Control.Effect.Vector
CounterControl.Effect.Counter
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
getControl.Effect.State
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.ReaderNat
2 (Data Constructor)Control.Effect.Reader
3 (Data Constructor)Control.Coeffect.Coreader
IxReaderControl.Effect.ReaderNat
List 
1 (Type/Class)Control.Effect.Helpers.List, Control.Effect.ReadOnceReader
2 (Type/Class)Control.Effect.ReaderNat
Max 
1 (Type/Class)Control.Effect.Helpers.Set
2 (Type/Class)Control.Effect.ReaderNat
maxHControl.Effect.Helpers.Set
MeetControl.Coeffect
mergeControl.Effect.Reader
Min 
1 (Type/Class)Control.Effect.Helpers.Set
2 (Type/Class)Control.Effect.ReaderNat
minHControl.Effect.Helpers.Set
MinKeyControl.Effect.ReaderNat
MonadControl.Effect.Monad
NatControl.Effect.ReaderNat
Nil 
1 (Data Constructor)Control.Effect.Helpers.List, Control.Effect.ReadOnceReader
2 (Data Constructor)Control.Effect.ReaderNat
3 (Type/Class)Control.Effect.ReaderNat
4 (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
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
RemDupControl.Effect.ReaderNat
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 (Data Constructor)Control.Effect.ReaderNat
3 (Type/Class)Control.Effect.ReaderNat
4 (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
3 (Type/Class)Control.Effect.ReaderNat
split 
1 (Function)Control.Effect.Helpers.List
2 (Function)Control.Effect.Helpers.Set
3 (Function)Control.Effect.ReaderNat
State 
1 (Type/Class)Control.Effect.State
2 (Data Constructor)Control.Effect.State
StateSetControl.Effect.State
subControl.Effect
SubeffectControl.Effect
SubsetControl.Effect.Helpers.Set, Control.Effect.Reader
subsetControl.Effect.Helpers.Set
SymbolControl.Effect.Writer
TControl.Effect.Maybe
tickControl.Effect.Counter
UControl.Effect.Maybe
Union 
1 (Type/Class)Control.Effect.Helpers.Set, Control.Effect.Writer
2 (Type/Class)Control.Effect.ReaderNat
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
unIxRControl.Effect.ReaderNat
unWrapControl.Effect.Monad
Update 
1 (Type/Class)Control.Effect.Update
2 (Data Constructor)Control.Effect.Update
3 (Type/Class)Control.Effect.State
updateControl.Effect.Update
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 (Data Constructor)Control.Effect.ReaderNat
4 (Type/Class)Control.Effect.ReaderNat
5 (Type/Class)Control.Effect.Vector