cyclops.control

Class State.Instances

java.lang.Object

cyclops.control.State.Instances

Enclosing class:

State<S,T>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static <S> Applicative<Higher<Witness.state,S>>	applicative()
static <S> InstanceDefinitions<Higher<Witness.state,S>>	definitions(S val)
static <S> Foldable<Higher<Witness.state,S>>	foldable(S val)
static <S> Functor<Higher<Witness.state,S>>	functor()
static <S> Monad<Higher<Witness.state,S>>	monad()
static <S> MonadRec<Higher<Witness.state,S>>	monadRec()
static <S> Traverse<Higher<Witness.state,S>>	traverse(S defaultValue)
static <S> Pure<Higher<Witness.state,S>>	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 <S> InstanceDefinitions<Higher<Witness.state,S>> definitions(S val)

functor

public static <S> Functor<Higher<Witness.state,S>> functor()

unit

public static <S> Pure<Higher<Witness.state,S>> unit()

applicative

public static <S> Applicative<Higher<Witness.state,S>> applicative()

monad

public static <S> Monad<Higher<Witness.state,S>> monad()

traverse

public static <S> Traverse<Higher<Witness.state,S>> traverse(S defaultValue)

foldable

public static <S> Foldable<Higher<Witness.state,S>> foldable(S val)

monadRec

public static <S> MonadRec<Higher<Witness.state,S>> monadRec()