| :! | |
| 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.State |
| 2 (Type/Class) | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| >> | Control.Effect |
| >>= | Control.Effect |
| 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.Effect.Reader |
| 2 (Function) | Control.Effect.ReadOnceReader |
| 3 (Function) | Control.Coeffect.Coreader |
| 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 | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| Ext | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| extend | Control.Coeffect |
| extract | Control.Coeffect |
| F | Control.Effect.Maybe |
| fail | Control.Effect |
| forget | Control.Effect.CounterNat |
| get | Control.Effect.State |
| Id | Control.Effect.Parameterised |
| IDyn | Control.Effect.Maybe |
| ifM | Control.Effect.Cond |
| IJust | Control.Effect.Maybe |
| IMaybe | Control.Effect.Maybe |
| INothing | Control.Effect.Maybe |
| IntersectR | Control.Effect.State |
| Inv | |
| 1 (Type/Class) | Control.Effect |
| 2 (Type/Class) | Control.Coeffect |
| IsSet | Control.Effect.Writer |
| IxCoreader | Control.Coeffect.Coreader |
| IxR | |
| 1 (Data Constructor) | Control.Effect.Reader |
| 2 (Data Constructor) | Control.Coeffect.Coreader |
| List | Control.Effect.Helpers.List, Control.Effect.ReadOnceReader |
| M | Control.Effect.Parameterised |
| Meet | Control.Coeffect |
| merge | Control.Effect.Reader |
| Monad | Control.Effect.Monad |
| Morph | Control.Effect.Parameterised |
| Nil | |
| 1 (Data Constructor) | Control.Effect.Helpers.List, Control.Effect.ReadOnceReader |
| 2 (Data Constructor) | Control.Effect.Vector |
| NoPut | Control.Effect.Update |
| Plus | |
| 1 (Type/Class) | Control.Effect |
| 2 (Type/Class) | Control.Coeffect |
| Put | Control.Effect.Update |
| put | |
| 1 (Function) | Control.Effect.State |
| 2 (Function) | Control.Effect.Update |
| 3 (Function) | Control.Effect.WriteOnceWriter |
| 4 (Function) | Control.Effect.Writer |
| R | |
| 1 (Data Constructor) | Control.Effect.ReadOnceReader |
| 2 (Data Constructor) | Control.Effect.State |
| Reader | |
| 1 (Type/Class) | Control.Effect.Reader |
| 2 (Type/Class) | Control.Effect.ReadOnceReader |
| Reads | Control.Effect.State |
| return | Control.Effect |
| runCoreader | Control.Coeffect.Coreader |
| runReader | |
| 1 (Function) | Control.Effect.Reader |
| 2 (Function) | Control.Effect.ReadOnceReader |
| runState | 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 |
| Set | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| SetLike | Control.Effect.State |
| Sort | Control.Effect.State |
| Sortable | Control.Effect.State |
| Split | |
| 1 (Type/Class) | Control.Effect.Helpers.List |
| 2 (Type/Class) | Control.Effect.State |
| split | Control.Effect.Helpers.List |
| State | |
| 1 (Type/Class) | Control.Effect.State |
| 2 (Data Constructor) | Control.Effect.State |
| StateSet | Control.Effect.State |
| sub | Control.Effect |
| subco | Control.Coeffect |
| Subcoeffect | Control.Coeffect |
| Subeffect | Control.Effect |
| Subset | Control.Effect.Reader |
| Symbol | Control.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 |
| 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.Effect |
| 2 (Type/Class) | Control.Coeffect |
| unWrap | Control.Effect.Monad |
| Update | |
| 1 (Type/Class) | Control.Effect.State |
| 2 (Type/Class) | Control.Effect.Update |
| 3 (Data Constructor) | Control.Effect.Update |
| Var | |
| 1 (Data Constructor) | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| 2 (Type/Class) | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| 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.Reader, Control.Effect.State, Control.Effect.Writer |
| Y | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| Z | |
| 1 (Type/Class) | Control.Effect.Counter |
| 2 (Data Constructor) | Control.Effect.Reader, Control.Effect.State, Control.Effect.Writer |
| 3 (Type/Class) | Control.Effect.Vector |