LambdaConstants class
Common lambda terms and combinators.
They are accessible via Lambda.constants.
- Implemented types
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
and(
) → Lambda -
The and expression.
override
-
eight(
) → Lambda -
The church number eight.
override
-
eleven(
) → Lambda -
The church number eleven.
override
-
five(
) → Lambda -
The church number five.
override
-
four(
) → Lambda -
The church number four.
override
-
fst(
) → Lambda -
The first projection of a pair.
override
-
identity(
) → Lambda -
The identity expression.
override
-
iiyokoiyo(
) → Lambda -
The good era is approaching!
override
-
isZero(
) → Lambda -
The is_zero expression.
override
-
lambdaFalse(
) → Lambda -
Church boolean: false.
override
-
lambdaTrue(
) → Lambda -
Church boolean: true.
override
-
nine(
) → Lambda -
The church number nine.
override
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
not(
) → Lambda -
The not expression.
override
-
omega(
) → Lambda -
The diverging omega expression.
override
-
one(
) → Lambda -
The church number one.
override
-
or(
) → Lambda -
The or expression.
override
-
pair(
) → Lambda -
The church pair.
override
-
plus(
) → Lambda -
The addition expression.
override
-
power(
) → Lambda -
The exponentiation expression.
override
-
seven(
) → Lambda -
The church number seven.
override
-
six(
) → Lambda -
The church number six.
override
-
snd(
) → Lambda -
The second projection of a pair.
override
-
succ(
) → Lambda -
The successor expression.
override
-
ten(
) → Lambda -
The church number ten.
override
-
test(
) → Lambda -
The if expression.
override
-
three(
) → Lambda -
The church number three.
override
-
times(
) → Lambda -
The multiplication expression.
override
-
toString(
) → String -
A string representation of this object.
inherited
-
twelve(
) → Lambda -
The church number twelve.
override
-
two(
) → Lambda -
The church number two.
override
-
yCombinator(
) → Lambda -
The Y combinator.
override
-
zero(
) → Lambda -
The church number zero.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited