com.github.sviperll.adt4j.examples

Class GADT<T>

java.lang.Object

com.github.sviperll.adt4j.examples.GADT<T>

public class GADT<T>
extends Object

Author:

Victor Nazarov

Method Summary

Modifier and Type	Method and Description
static <A,B> GADT<B>	apply(GADT<Function<A,B>> function, GADT<A> argument)
boolean	equals(Object object)
T	eval()
int	hashCode()
static <T> GADT<T>	if_(GADT<Boolean> condition, GADT<T> a, GADT<T> b)
static GADT<Boolean>	isLessOrEqual(GADT<Integer> a, GADT<Integer> b)
static <A,B> GADT<Function<A,B>>	lambda(Function<A,GADT<B>> function)
static GADT<Integer>	number(int n)
static GADT<Integer>	plus(GADT<Integer> a, GADT<Integer> b)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

lambda

public static <A,B> GADT<Function<A,B>> lambda(Function<A,GADT<B>> function)

apply

public static <A,B> GADT<B> apply(GADT<Function<A,B>> function,
                                  GADT<A> argument)

number

public static GADT<Integer> number(int n)

plus

public static GADT<Integer> plus(GADT<Integer> a,
                                 GADT<Integer> b)

isLessOrEqual

public static GADT<Boolean> isLessOrEqual(GADT<Integer> a,
                                          GADT<Integer> b)

if_

public static <T> GADT<T> if_(GADT<Boolean> condition,
                              GADT<T> a,
                              GADT<T> b)

eval

public T eval()

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object object)

Overrides:

equals in class Object