| Interface | Description |
|---|---|
| Applicative<CRE> | |
| ApplicativeError<W,E> | |
| Monad<CRE> | |
| MonadPlus<CRE> | |
| MonadRec<W> | |
| MonadZero<CRE> |
A filterable monad
The zero() operator is used to one supplied HKT with it's zero / zero equivalent when filtered out
|
| Traverse<CRE> | |
| TraverseBySequence<CRE> | |
| TraverseByTraverse<CRE> |
| Class | Description |
|---|---|
| ComposedTraverse<W1,W2> |