org.smallibs.control

Interface Free<M,A>

Type Parameters:

M -

A -

All Known Implementing Classes:

Free.Impure, Free.Pure

public interface Free<M,A>

Free *

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Free.Impure<M,A,Self extends HK<M,Free<M,A>,Self>>
static class	Free.Pure<M,A>

Method Summary

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

Method Detail

pure

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

impure

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