| Interface | Description |
|---|---|
| Free<F extends Kind,T> | |
| IO<T> | |
| Reader<R,A> | |
| State<S,A> |
| Class | Description |
|---|---|
| Free.µ | |
| Free.FlatMapped<F extends Kind,T,R> | |
| Free.Pure<F extends Kind,T> | |
| Free.Suspend<F extends Kind,T> | |
| IO.µ | |
| Kleisli<F extends Kind,Z,A> | |
| Kleisli.µ | |
| Reader.µ | |
| State.µ | |
| Writer<L,A> | |
| Writer.µ |