Package org.smallibs.control

Class Free<M,A>

java.lang.Object

org.smallibs.control.Free<M,A>

Type Parameters:

M -

A -

public abstract class Free<M,A>
extends Object

Free Monad

Method Summary

Modifier and Type	Method and Description
static <M,A,Self extends TApp<M,Free<M,A>,Self>> Free<M,A>	impure(TApp<M,Free<M,A>,Self> s)
static <M,A> Free<M,A>	pure(A a)

Methods inherited from class java.lang.Object

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

Method Detail

pure

public static <M,A> Free<M,A> pure(A a)

impure

public static <M,A,Self extends TApp<M,Free<M,A>,Self>> Free<M,A> impure(TApp<M,Free<M,A>,Self> s)