cyclops.control

Class ReaderWriterState.Instances

java.lang.Object

cyclops.control.ReaderWriterState.Instances

Enclosing class:

ReaderWriterState<R,W,S,T>

public static class ReaderWriterState.Instances
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <R,W,S> Applicative<Higher<Higher<Higher<Witness.rws,R>,W>,S>>	applicative(Monoid<W> monoid)
static <R,W,S> InstanceDefinitions<Higher<Higher<Higher<Witness.rws,R>,W>,S>>	definitions(R val1, S val2, Monoid<W> monoid)
static <R1,W,S> Foldable<Higher<Higher<Higher<Witness.rws,R1>,W>,S>>	foldable(R1 val1, S val2, Monoid<W> monoid)
static <R,W,S> Functor<Higher<Higher<Higher<Witness.rws,R>,W>,S>>	functor()
static <R1,W,S> Monad<Higher<Higher<Higher<Witness.rws,R1>,W>,S>>	monad(Monoid<W> monoid)
static <R1,W,S> MonadRec<Higher<Higher<Higher<Witness.rws,R1>,W>,S>>	monadRec(Monoid<W> monoid)
static <R1,W,S> Traverse<Higher<Higher<Higher<Witness.rws,R1>,W>,S>>	traverse(R1 val1, S val2, Monoid<W> monoid)
static <R,W,S> Pure<Higher<Higher<Higher<Witness.rws,R>,W>,S>>	unit(Monoid<W> monoid)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Instances

public Instances()

Method Detail

definitions

public static <R,W,S> InstanceDefinitions<Higher<Higher<Higher<Witness.rws,R>,W>,S>> definitions(R val1,
                                                                                                 S val2,
                                                                                                 Monoid<W> monoid)

functor

public static <R,W,S> Functor<Higher<Higher<Higher<Witness.rws,R>,W>,S>> functor()

unit

public static <R,W,S> Pure<Higher<Higher<Higher<Witness.rws,R>,W>,S>> unit(Monoid<W> monoid)

applicative

public static <R,W,S> Applicative<Higher<Higher<Higher<Witness.rws,R>,W>,S>> applicative(Monoid<W> monoid)

monad

public static <R1,W,S> Monad<Higher<Higher<Higher<Witness.rws,R1>,W>,S>> monad(Monoid<W> monoid)

foldable

public static <R1,W,S> Foldable<Higher<Higher<Higher<Witness.rws,R1>,W>,S>> foldable(R1 val1,
                                                                                     S val2,
                                                                                     Monoid<W> monoid)

traverse

public static <R1,W,S> Traverse<Higher<Higher<Higher<Witness.rws,R1>,W>,S>> traverse(R1 val1,
                                                                                     S val2,
                                                                                     Monoid<W> monoid)

monadRec

public static <R1,W,S> MonadRec<Higher<Higher<Higher<Witness.rws,R1>,W>,S>> monadRec(Monoid<W> monoid)