public class GADT<T> extends Object
| 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() |
public T eval()
Copyright © 2015. All rights reserved.