cyclops.control

Class Reader.Instances

java.lang.Object

cyclops.control.Reader.Instances

Enclosing interface:

Reader<T,R>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <IN> Applicative<Higher<Witness.reader,IN>>	applicative()
static <IN> InstanceDefinitions<Higher<Witness.reader,IN>>	definitions(IN in)
static <IN> Foldable<Higher<Witness.reader,IN>>	foldable(IN t)
static <IN> Functor<Higher<Witness.reader,IN>>	functor()
static <IN> Monad<Higher<Witness.reader,IN>>	monad()
static <IN,T,R> MonadRec<Higher<Witness.reader,IN>>	monadRec()
static <IN,R> ProFunctor<Witness.reader>	profunctor()
static <IN> Traverse<Higher<Witness.reader,IN>>	traversable(IN t)
static <IN,C2,T,R> Higher<C2,Higher<Higher<Witness.reader,IN>,R>>	traverseA(IN t, Applicative<C2> applicative, java.util.function.Function<? super T,? extends Higher<C2,R>> fn, Higher<Higher<Witness.reader,IN>,T> ds)
static <IN> Pure<Higher<Witness.reader,IN>>	unit()

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 <IN> InstanceDefinitions<Higher<Witness.reader,IN>> definitions(IN in)

functor

public static <IN> Functor<Higher<Witness.reader,IN>> functor()

unit

public static <IN> Pure<Higher<Witness.reader,IN>> unit()

applicative

public static <IN> Applicative<Higher<Witness.reader,IN>> applicative()

foldable

public static <IN> Foldable<Higher<Witness.reader,IN>> foldable(IN t)

traverseA

public static <IN,C2,T,R> Higher<C2,Higher<Higher<Witness.reader,IN>,R>> traverseA(IN t,
                                                                                   Applicative<C2> applicative,
                                                                                   java.util.function.Function<? super T,? extends Higher<C2,R>> fn,
                                                                                   Higher<Higher<Witness.reader,IN>,T> ds)

traversable

public static <IN> Traverse<Higher<Witness.reader,IN>> traversable(IN t)

monad

public static <IN> Monad<Higher<Witness.reader,IN>> monad()

profunctor

public static <IN,R> ProFunctor<Witness.reader> profunctor()

monadRec

public static <IN,T,R> MonadRec<Higher<Witness.reader,IN>> monadRec()