drjoliv.jfunc.contorl.eval

Class EvalMonadFactory

java.lang.Object

drjoliv.jfunc.contorl.eval.EvalMonadFactory

All Implemented Interfaces:

ApplicativeFactory<Eval.μ>, MonadFactory<Eval.μ>

public class EvalMonadFactory
extends Object
implements MonadFactory<Eval.μ>

Method Summary

Modifier and Type	Method and Description
static EvalMonadFactory	instance()
<A> Applicative<Eval.μ,A>	pure(A a) Returns an applicative containing the argument.
<A> Monad<Eval.μ,A>	unit(A a) Returns a monad containing the agiven argument.

Methods inherited from class java.lang.Object

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

Method Detail

instance

public static EvalMonadFactory instance()

unit

public <A> Monad<Eval.μ,A> unit(A a)

Description copied from interface: MonadFactory

Returns a monad containing the agiven argument.

Specified by:

unit in interface MonadFactory<Eval.μ>

Parameters:

a - an argument.

Returns:

a monad contained the given argument.

pure

public <A> Applicative<Eval.μ,A> pure(A a)

Description copied from interface: ApplicativeFactory

Returns an applicative containing the argument.

Specified by:

pure in interface ApplicativeFactory<Eval.μ>

Parameters:

a - the value to lift into an applicative.

Returns:

an applicative containing the argumentn.