:! | |
1 (Type/Class) | Control.Effect.State |
2 (Data Constructor) | Control.Effect.State |
:+ | Control.Effect.Counter |
:++ | Control.Effect.Helpers.List |
:-> | |
1 (Data Constructor) | Control.Effect.Reader, Control.Effect.Writer |
2 (Type/Class) | Control.Effect.State |
3 (Data Constructor) | Control.Effect.State |
>> | |
1 (Function) | Control.Effect |
2 (Function) | Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState |
>>= | |
1 (Function) | Control.Effect |
2 (Function) | Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState |
Action | Control.Effect.State |
Add | Control.Effect.Vector |
Alt | Control.Effect.Cond |
AltInv | Control.Effect.Cond |
append | |
1 (Function) | Control.Effect.Helpers.List |
2 (Function) | Control.Effect.Vector |
ask | |
1 (Function) | Control.Coeffect.Coreader |
2 (Function) | Control.Effect.ReadOnceReader |
3 (Function) | Control.Effect.Reader |
Closed | Control.Effect.Parameterised.AtomicState |
Coeffect | Control.Coeffect |
CoeffectZip | Control.Coeffect |
Cond | Control.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 |
czip | Control.Coeffect |
CzipInv | Control.Coeffect |
Eff | |
1 (Data Constructor) | Control.Effect.State |
2 (Type/Class) | Control.Effect.State |
3 (Type/Class) | Control.Effect.Update |
Effect | Control.Effect |
Empty | |
1 (Data Constructor) | Control.Effect.Reader, Control.Effect.Writer |
2 (Data Constructor) | Control.Effect.State |
Ext | |
1 (Data Constructor) | Control.Effect.Reader, Control.Effect.Writer |
2 (Data Constructor) | Control.Effect.State |
extend | Control.Coeffect |
extract | Control.Coeffect |
F | Control.Effect.Maybe |
fail | |
1 (Function) | Control.Effect |
2 (Function) | Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState |
forget | Control.Effect.CounterNat |
Get | Control.Effect.Parameterised.ExtensibleState |
get | |
1 (Function) | Control.Effect.Parameterised.ExtensibleState |
2 (Function) | Control.Effect.Parameterised.AtomicState |
3 (Function) | Control.Effect.State |
hClose | Control.Effect.Parameterised.SafeFiles |
hGetChar | Control.Effect.Parameterised.SafeFiles |
hIsEOF | Control.Effect.Parameterised.SafeFiles |
hPutChar | Control.Effect.Parameterised.SafeFiles |
Id | Control.Effect.ParameterisedAsGraded |
IDyn | Control.Effect.Maybe |
ifM | Control.Effect.Cond |
ifThenElse | Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState |
IJust | Control.Effect.Maybe |
IMaybe | Control.Effect.Maybe |
INothing | Control.Effect.Maybe |
IntersectR | Control.Effect.State |
Inv | |
1 (Type/Class) | Control.Coeffect |
2 (Type/Class) | Control.Effect |
IsMap | Control.Effect.Writer |
IxCoreader | Control.Coeffect.Coreader |
IxR | |
1 (Data Constructor) | Control.Coeffect.Coreader |
2 (Data Constructor) | Control.Effect.Reader |
lengthL | Control.Effect.Helpers.List |
List | Control.Effect.Helpers.List, Control.Effect.ReadOnceReader |
Lookup | Control.Effect.Helpers.List |
lookup | Control.Effect.Helpers.List |
LookUpA | Control.Effect.Helpers.List |
lookupA | Control.Effect.Helpers.List |
LookupT | Control.Effect.Helpers.List |
M | Control.Effect.ParameterisedAsGraded |
Map | Control.Effect.Reader, Control.Effect.Writer |
Mapping | Control.Effect.Reader, Control.Effect.Writer |
Meet | Control.Coeffect |
merge | Control.Effect.Reader |
modify | Control.Effect.Parameterised.ExtensibleState |
Monad | Control.Effect.Monad |
Morph | Control.Effect.ParameterisedAsGraded |
Nil | |
1 (Data Constructor) | Control.Effect.Helpers.List, Control.Effect.ReadOnceReader |
2 (Data Constructor) | Control.Effect.Vector |
NoPut | Control.Effect.Update |
Open | Control.Effect.Parameterised.AtomicState |
openFile | Control.Effect.Parameterised.SafeFiles |
Plus | |
1 (Type/Class) | Control.Coeffect |
2 (Type/Class) | Control.Effect |
PMonad | Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState |
Put | |
1 (Type/Class) | Control.Effect.Parameterised.ExtensibleState |
2 (Data Constructor) | Control.Effect.Update |
put | |
1 (Function) | Control.Effect.Parameterised.ExtensibleState |
2 (Function) | Control.Effect.Parameterised.AtomicState |
3 (Function) | Control.Effect.State |
4 (Function) | Control.Effect.Update |
5 (Function) | Control.Effect.WriteOnceWriter |
6 (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 |
Reads | Control.Effect.State |
return | |
1 (Function) | Control.Effect |
2 (Function) | Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState |
runCoreader | Control.Coeffect.Coreader |
runReader | |
1 (Function) | Control.Effect.ReadOnceReader |
2 (Function) | Control.Effect.Reader |
runSafeFiles | Control.Effect.Parameterised.SafeFiles |
runState | |
1 (Function) | Control.Effect.Parameterised.State, Control.Effect.Parameterised.ExtensibleState, Control.Effect.Parameterised.AtomicState |
2 (Function) | Control.Effect.State |
runUpdate | Control.Effect.Update |
runWriteOnce | Control.Effect.WriteOnceWriter |
runWriter | Control.Effect.Writer |
RW | Control.Effect.State |
S | |
1 (Type/Class) | Control.Effect.Counter |
2 (Type/Class) | Control.Effect.Vector |
SafeFiles | Control.Effect.Parameterised.SafeFiles |
SafeHandle | Control.Effect.Parameterised.SafeFiles |
Set | Control.Effect.State |
SetLike | Control.Effect.State |
Sort | Control.Effect.State |
Sortable | Control.Effect.State |
Split | |
1 (Type/Class) | Control.Effect.State |
2 (Type/Class) | Control.Effect.Helpers.List |
split | Control.Effect.Helpers.List |
St | Control.Effect.Parameterised.SafeFiles |
State | |
1 (Type/Class) | Control.Effect.Parameterised.State, Control.Effect.Parameterised.ExtensibleState, Control.Effect.Parameterised.AtomicState |
2 (Data Constructor) | Control.Effect.Parameterised.State, Control.Effect.Parameterised.ExtensibleState, Control.Effect.Parameterised.AtomicState |
3 (Type/Class) | Control.Effect.State |
4 (Data Constructor) | Control.Effect.State |
StateSet | Control.Effect.State |
sub | Control.Effect |
subco | Control.Coeffect |
Subcoeffect | Control.Coeffect |
Subeffect | Control.Effect |
Submap | Control.Effect.Reader |
Symbol | Control.Effect.Writer |
T | |
1 (Type/Class) | Control.Effect.Maybe |
2 (Type/Class) | Control.Effect.ParameterisedAsGraded |
3 (Data Constructor) | Control.Effect.ParameterisedAsGraded |
tick | |
1 (Function) | Control.Effect.Counter |
2 (Function) | Control.Effect.CounterNat |
U | Control.Effect.Maybe |
Union | Control.Effect.Writer |
union | |
1 (Function) | Control.Effect.Writer |
2 (Function) | Control.Effect.State |
Unionable | |
1 (Type/Class) | Control.Effect.Writer |
2 (Type/Class) | Control.Effect.State |
UnionS | Control.Effect.State |
Unit | |
1 (Type/Class) | Control.Coeffect |
2 (Type/Class) | Control.Effect |
unWrap | Control.Effect.Monad |
Update | |
1 (Type/Class) | Control.Effect.Parameterised.ExtensibleState |
2 (Type/Class) | Control.Effect.State |
3 (Type/Class) | Control.Effect.Update |
4 (Data Constructor) | Control.Effect.Update |
Var | |
1 (Data Constructor) | Control.Effect.Reader, Control.Effect.Writer |
2 (Type/Class) | Control.Effect.Reader, Control.Effect.Writer |
3 (Type/Class) | Control.Effect.State |
4 (Data Constructor) | Control.Effect.State |
Vector | Control.Effect.Vector |
W | |
1 (Data Constructor) | Control.Effect.State |
2 (Data Constructor) | Control.Effect.WriteOnceWriter |
Wrap | Control.Effect.Monad |
WriteOnce | Control.Effect.WriteOnceWriter |
Writer | |
1 (Type/Class) | Control.Effect.Writer |
2 (Data Constructor) | Control.Effect.Writer |
Writes | Control.Effect.State |
X | Control.Effect.State |
Y | Control.Effect.State |
Z | |
1 (Type/Class) | Control.Effect.Counter |
2 (Data Constructor) | Control.Effect.State |
3 (Type/Class) | Control.Effect.Vector |