public static class Product.Instances<W1,W2> extends java.lang.Object implements InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
Constructor and Description |
---|
Instances() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
applicativeError, contravariantFunctor, eq, profunctor, show
public static <W1,W2> InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>> definitions(InstanceDefinitions<W1> def1, InstanceDefinitions<W2> def2)
public Functor<Higher<Higher<Witness.product,W1>,W2>> functor()
functor
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public Pure<Higher<Higher<Witness.product,W1>,W2>> unit()
unit
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public Applicative<Higher<Higher<Witness.product,W1>,W2>> applicative()
applicative
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public Monad<Higher<Higher<Witness.product,W1>,W2>> monad()
monad
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <T,R> Maybe<MonadZero<Higher<Higher<Witness.product,W1>,W2>>> monadZero()
monadZero
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public MonadRec<Higher<Higher<Witness.product,W1>,W2>> monadRec()
monadRec
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <T> Maybe<MonadPlus<Higher<Higher<Witness.product,W1>,W2>>> monadPlus()
monadPlus
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <T> Maybe<MonadPlus<Higher<Higher<Witness.product,W1>,W2>>> monadPlus(Monoid<Higher<Higher<Higher<Witness.product,W1>,W2>,T>> m)
monadPlus
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <C2,T> Traverse<Higher<Higher<Witness.product,W1>,W2>> traverse()
traverse
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <T> Foldable<Higher<Higher<Witness.product,W1>,W2>> foldable()
foldable
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <T> Maybe<Comonad<Higher<Higher<Witness.product,W1>,W2>>> comonad()
comonad
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>
public <T> Maybe<Unfoldable<Higher<Higher<Witness.product,W1>,W2>>> unfoldable()
unfoldable
in interface InstanceDefinitions<Higher<Higher<Witness.product,W1>,W2>>