public abstract class Expressions extends Object
Modifier and Type | Method and Description |
---|---|
static <A> Expression<Predicate<A>> |
and(Expression<Predicate<A>> p,
Expression<Predicate<A>> q) |
static <A,B,C> Expression<Function<A,C>> |
compose(Expression<Function<B,C>> g,
Expression<Function<A,B>> f) |
static <A> Expression<Set<A>> |
emptySet() |
static <A> Variable<A> |
fresh(String name) |
static <A> Immediate<A> |
immediate(A value) |
static <A,B> Expression<List<B>> |
listMap(Expression<Function<A,B>> fun,
Expression<List<A>> things) |
static <A,B> Expression<List<B>> |
listMap(Function<A,B> fun,
Expression<List<A>> things) |
static void |
main(String[] args) |
static <A> Expression<Set<A>> |
setCoerce(Expression<Set<A>> s) |
static <A> Expression<Set<A>> |
setFilter(Expression<Predicate<A>> p,
Expression<Set<A>> e) |
static <A> Expression<Set<A>> |
setFilter(Predicate<A> p,
Expression<Set<A>> e) |
static <A> Expression<Set<A>> |
setUnion(Expression<Set<A>> e1,
Expression<Set<A>> e2) |
public static <A,B,C> Expression<Function<A,C>> compose(Expression<Function<B,C>> g, Expression<Function<A,B>> f)
public static <A> Expression<Predicate<A>> and(Expression<Predicate<A>> p, Expression<Predicate<A>> q)
public static <A> Expression<Set<A>> emptySet()
public static <A> Expression<Set<A>> setUnion(Expression<Set<A>> e1, Expression<Set<A>> e2)
public static <A> Expression<Set<A>> setFilter(Predicate<A> p, Expression<Set<A>> e)
public static <A> Expression<Set<A>> setFilter(Expression<Predicate<A>> p, Expression<Set<A>> e)
public static <A,B> Expression<List<B>> listMap(Function<A,B> fun, Expression<List<A>> things)
public static <A,B> Expression<List<B>> listMap(Expression<Function<A,B>> fun, Expression<List<A>> things)
public static <A> Expression<Set<A>> setCoerce(Expression<Set<A>> s)
public static <A> Immediate<A> immediate(A value)
public static void main(String[] args)
see also the complete user documentation .