arrow-mtl / arrow.mtl.typeclasses

Package arrow.mtl.typeclasses

Types

FunctorFilter interface FunctorFilter<F> : Functor<F>
MonadCombine interface MonadCombine<F> : MonadFilter<F>, Alternative<F>
MonadFilter interface MonadFilter<F> : Monad<F>, FunctorFilter<F>
MonadFilterContinuation open class MonadFilterContinuation<F, A> : MonadContinuation<F, A>
MonadReader interface MonadReader<F, D> : Monad<F>
MonadState interface MonadState<F, S> : Monad<F>
MonadWriter interface MonadWriter<F, W> : Monad<F>
A monad that support monoidal accumulation (e.g. logging List of String)
TraverseFilter interface TraverseFilter<F> : Traverse<F>, FunctorFilter<F>

Type Class Hierarchy