public abstract class Lam2 extends Lambda
Frege lambdas with arity 2.
Like with Prod1
, Prod2
, ... each lambda type is
independent from each other,
though Lami uses Lami-1,
except Lam1 which uses Unknown
.
Function values are immutable and thus can be reused as often as one needs them. If the frege function type involves no constraints, then a single function object is sufficient for all possible instantiations of the type variables, see below.
Constructor and Description |
---|
Lam2() |
public final Lam1 apply(Lazy<FV> arg1)
Apply this function to an argument.
This method creates an instance of Lam1
.
public final Unknown<FV> apply(Lazy<FV> arg1, Lazy<FV> arg2)
Apply this function to all its arguments at once.
This method creates an instance of Unknown
that,
when evaluated, invokes the eval(frege.rt.Lazy<frege.rt.FV>, frege.rt.Lazy<frege.rt.FV>)
method of this
function.