Uses of Class
com.github.sviperll.adt4j.examples.GADT

Uses of GADT in com.github.sviperll.adt4j.examples

Methods in com.github.sviperll.adt4j.examples that return GADT

Modifier and Type	Method and Description
static <A,B> GADT<B>	GADT.apply(GADT<Function<A,B>> function, GADT<A> argument)
static <T> GADT<T>	GADT.if_(GADT<Boolean> condition, GADT<T> a, GADT<T> b)
static GADT<Boolean>	GADT.isLessOrEqual(GADT<Integer> a, GADT<Integer> b)
static <A,B> GADT<Function<A,B>>	GADT.lambda(Function<A,GADT<B>> function)
static GADT<Integer>	GADT.number(int n)
static GADT<Integer>	GADT.plus(GADT<Integer> a, GADT<Integer> b)

Methods in com.github.sviperll.adt4j.examples with parameters of type GADT

Modifier and Type	Method and Description
static <A,B> GADT<B>	GADT.apply(GADT<Function<A,B>> function, GADT<A> argument)
static <A,B> GADT<B>	GADT.apply(GADT<Function<A,B>> function, GADT<A> argument)
static <T> GADT<T>	GADT.if_(GADT<Boolean> condition, GADT<T> a, GADT<T> b)
static <T> GADT<T>	GADT.if_(GADT<Boolean> condition, GADT<T> a, GADT<T> b)
static <T> GADT<T>	GADT.if_(GADT<Boolean> condition, GADT<T> a, GADT<T> b)
static GADT<Boolean>	GADT.isLessOrEqual(GADT<Integer> a, GADT<Integer> b)
static GADT<Boolean>	GADT.isLessOrEqual(GADT<Integer> a, GADT<Integer> b)
static GADT<Integer>	GADT.plus(GADT<Integer> a, GADT<Integer> b)
static GADT<Integer>	GADT.plus(GADT<Integer> a, GADT<Integer> b)

Method parameters in com.github.sviperll.adt4j.examples with type arguments of type GADT

Modifier and Type	Method and Description
static <A,B> GADT<Function<A,B>>	GADT.lambda(Function<A,GADT<B>> function)