Interface | Description |
---|---|
Applicative<CRE> | |
Monad<CRE> | |
MonadPlus<CRE> | |
MonadZero<CRE> |
A filterable monad
The zero() operator is used to replace supplied HKT with it's zero / empty equivalent when filtered out
|
Traverse<CRE> | |
TraverseBySequence<CRE> | |
TraverseByTraverse<CRE> |