cyclops.control

Class Identity.Instances

java.lang.Object

cyclops.control.Identity.Instances

Enclosing class:

Identity<T>

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

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static Applicative<Witness.identity>	applicative()
static Comonad<Witness.identity>	comonad()
static InstanceDefinitions<Witness.identity>	definitions()
static Foldable<Witness.identity>	foldable()
static Functor<Witness.identity>	functor()
static Monad<Witness.identity>	monad()
static MonadRec<Witness.identity>	monadRec()
static Traverse<Witness.identity>	traverse()
static Pure<Witness.identity>	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 InstanceDefinitions<Witness.identity> definitions()

functor

public static Functor<Witness.identity> functor()

unit

public static Pure<Witness.identity> unit()

applicative

public static Applicative<Witness.identity> applicative()

monad

public static Monad<Witness.identity> monad()

monadRec

public static MonadRec<Witness.identity> monadRec()

traverse

public static Traverse<Witness.identity> traverse()

foldable

public static Foldable<Witness.identity> foldable()

comonad

public static Comonad<Witness.identity> comonad()