cyclops.control

Class Writer.Instances

java.lang.Object

cyclops.control.Writer.Instances

Enclosing class:

Writer<W,T>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <W> Applicative<Higher<Witness.writer,W>>	applicative(Monoid<W> monoid)
static <W> InstanceDefinitions<Higher<Witness.writer,W>>	definitions(Monoid<W> monoid)
static <W> Foldable<Higher<Witness.writer,W>>	foldable()
static <W> Functor<Higher<Witness.writer,W>>	functor()
static <W> Monad<Higher<Witness.writer,W>>	monad(Monoid<W> monoid)
static <W,T,R> MonadRec<Higher<Witness.writer,W>>	monadRec(Monoid<W> monoid)
static <W> Traverse<Higher<Witness.writer,W>>	traverse(Monoid<W> monoid)
static <W> Pure<Higher<Witness.writer,W>>	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 <W> InstanceDefinitions<Higher<Witness.writer,W>> definitions(Monoid<W> monoid)

functor

public static <W> Functor<Higher<Witness.writer,W>> functor()

unit

public static <W> Pure<Higher<Witness.writer,W>> unit(Monoid<W> monoid)

applicative

public static <W> Applicative<Higher<Witness.writer,W>> applicative(Monoid<W> monoid)

monad

public static <W> Monad<Higher<Witness.writer,W>> monad(Monoid<W> monoid)

traverse

public static <W> Traverse<Higher<Witness.writer,W>> traverse(Monoid<W> monoid)

foldable

public static <W> Foldable<Higher<Witness.writer,W>> foldable()

monadRec

public static <W,T,R> MonadRec<Higher<Witness.writer,W>> monadRec(Monoid<W> monoid)