effect-monad-0.8.1.0: Embeds effect systems and program logics into Haskell using graded monads and parameterised monads

Index

:! 
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
ActionControl.Effect.State
AddControl.Effect.Vector
AltControl.Effect.Cond
AltInvControl.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
ClosedControl.Effect.Parameterised.AtomicState
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 (Data Constructor)Control.Effect.State
2 (Type/Class)Control.Effect.State
3 (Type/Class)Control.Effect.Update
EffectControl.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
extendControl.Coeffect
extractControl.Coeffect
FControl.Effect.Maybe
fail 
1 (Function)Control.Effect
2 (Function)Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState
forgetControl.Effect.CounterNat
GetControl.Effect.Parameterised.ExtensibleState
get 
1 (Function)Control.Effect.Parameterised.ExtensibleState
2 (Function)Control.Effect.Parameterised.AtomicState
3 (Function)Control.Effect.State
hCloseControl.Effect.Parameterised.SafeFiles
hGetCharControl.Effect.Parameterised.SafeFiles
hIsEOFControl.Effect.Parameterised.SafeFiles
hPutCharControl.Effect.Parameterised.SafeFiles
IdControl.Effect.ParameterisedAsGraded
IDynControl.Effect.Maybe
ifMControl.Effect.Cond
ifThenElseControl.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState
IJustControl.Effect.Maybe
IMaybeControl.Effect.Maybe
INothingControl.Effect.Maybe
IntersectRControl.Effect.State
Inv 
1 (Type/Class)Control.Coeffect
2 (Type/Class)Control.Effect
IsMapControl.Effect.Writer
IxCoreaderControl.Coeffect.Coreader
IxR 
1 (Data Constructor)Control.Coeffect.Coreader
2 (Data Constructor)Control.Effect.Reader
lengthLControl.Effect.Helpers.List
ListControl.Effect.Helpers.List, Control.Effect.ReadOnceReader
LookupControl.Effect.Helpers.List
lookupControl.Effect.Helpers.List
LookUpAControl.Effect.Helpers.List
lookupAControl.Effect.Helpers.List
LookupTControl.Effect.Helpers.List
MControl.Effect.ParameterisedAsGraded
MapControl.Effect.Reader, Control.Effect.Writer
MappingControl.Effect.Reader, Control.Effect.Writer
MeetControl.Coeffect
mergeControl.Effect.Reader
modifyControl.Effect.Parameterised.ExtensibleState
MonadControl.Effect.Monad
MorphControl.Effect.ParameterisedAsGraded
Nil 
1 (Data Constructor)Control.Effect.Helpers.List, Control.Effect.ReadOnceReader
2 (Data Constructor)Control.Effect.Vector
NoPutControl.Effect.Update
OpenControl.Effect.Parameterised.AtomicState
openFileControl.Effect.Parameterised.SafeFiles
Plus 
1 (Type/Class)Control.Coeffect
2 (Type/Class)Control.Effect
PMonadControl.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
ReadsControl.Effect.State
return 
1 (Function)Control.Effect
2 (Function)Control.Effect.Parameterised, Control.Effect.Parameterised.SafeFiles, Control.Effect.Parameterised.ExtensibleState
runCoreaderControl.Coeffect.Coreader
runReader 
1 (Function)Control.Effect.ReadOnceReader
2 (Function)Control.Effect.Reader
runSafeFilesControl.Effect.Parameterised.SafeFiles
runState 
1 (Function)Control.Effect.Parameterised.State, Control.Effect.Parameterised.ExtensibleState, Control.Effect.Parameterised.AtomicState
2 (Function)Control.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
SafeFilesControl.Effect.Parameterised.SafeFiles
SafeHandleControl.Effect.Parameterised.SafeFiles
SetControl.Effect.State
SetLikeControl.Effect.State
SortControl.Effect.State
SortableControl.Effect.State
Split 
1 (Type/Class)Control.Effect.State
2 (Type/Class)Control.Effect.Helpers.List
splitControl.Effect.Helpers.List
StControl.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
StateSetControl.Effect.State
subControl.Effect
subcoControl.Coeffect
SubcoeffectControl.Coeffect
SubeffectControl.Effect
SubmapControl.Effect.Reader
SymbolControl.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
UControl.Effect.Maybe
UnionControl.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
UnionSControl.Effect.State
Unit 
1 (Type/Class)Control.Coeffect
2 (Type/Class)Control.Effect
unWrapControl.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
VectorControl.Effect.Vector
W 
1 (Data Constructor)Control.Effect.State
2 (Data Constructor)Control.Effect.WriteOnceWriter
WrapControl.Effect.Monad
WriteOnceControl.Effect.WriteOnceWriter
Writer 
1 (Type/Class)Control.Effect.Writer
2 (Data Constructor)Control.Effect.Writer
WritesControl.Effect.State
XControl.Effect.State
YControl.Effect.State
Z 
1 (Type/Class)Control.Effect.Counter
2 (Data Constructor)Control.Effect.State
3 (Type/Class)Control.Effect.Vector