public interface InstanceDefinitions<W>
Modifier and Type | Method and Description |
---|---|
<T,R> Applicative<W> |
applicative() |
default <T,E> Maybe<ApplicativeError<W,E>> |
applicativeError() |
<T> Maybe<Comonad<W>> |
comonad() |
default <T> Maybe<ContravariantFunctor<W>> |
contravariantFunctor() |
default Eq<W> |
eq() |
<T> Foldable<W> |
foldable() |
<T,R> Functor<W> |
functor() |
<T,R> Monad<W> |
monad() |
<T> Maybe<MonadPlus<W>> |
monadPlus() |
<T> Maybe<MonadPlus<W>> |
monadPlus(Monoid<Higher<W,T>> m) |
<T> MonadRec<W> |
monadRec() |
<T,R> Maybe<MonadZero<W>> |
monadZero() |
default <T> Maybe<ProFunctor<W>> |
profunctor() |
default Show<W> |
show() |
<C2,T> Traverse<W> |
traverse() |
default <T> Maybe<Unfoldable<W>> |
unfoldable() |
<T> Pure<W> |
unit() |
<T,R> Applicative<W> applicative()
default <T> Maybe<ContravariantFunctor<W>> contravariantFunctor()
default <T> Maybe<ProFunctor<W>> profunctor()
default <T,E> Maybe<ApplicativeError<W,E>> applicativeError()
default <T> Maybe<Unfoldable<W>> unfoldable()