LambdaBuilderConstants class

Common lambda terms and combinators, but in the LambdaBuilder form.

They are accessible via LambdaBuilder.constants.

Implemented types

• ILambdaConstants<LambdaBuilder>

Constructors

LambdaBuilderConstants()

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

and() → LambdaBuilder

The and expression.

override

eight() → LambdaBuilder

The church number eight.

override

eleven() → LambdaBuilder

The church number eleven.

override

five() → LambdaBuilder

The church number five.

override

four() → LambdaBuilder

The church number four.

override

fst() → LambdaBuilder

The first projection of a pair.

override

identity() → LambdaBuilder

The identity expression.

override

iiyokoiyo() → LambdaBuilder

The good era is approaching!

override

isZero() → LambdaBuilder

The is_zero expression.

override

lambdaFalse() → LambdaBuilder

Church boolean: false.

override

lambdaTrue() → LambdaBuilder

Church boolean: true.

override

nine() → LambdaBuilder

The church number nine.

override

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

not() → LambdaBuilder

The not expression.

override

omega() → LambdaBuilder

The diverging omega expression.

override

one() → LambdaBuilder

The church number one.

override

or() → LambdaBuilder

The or expression.

override

pair() → LambdaBuilder

The church pair.

override

plus() → LambdaBuilder

The addition expression.

override

power() → LambdaBuilder

The exponentiation expression.

override

seven() → LambdaBuilder

The church number seven.

override

six() → LambdaBuilder

The church number six.

override

snd() → LambdaBuilder

The second projection of a pair.

override

succ() → LambdaBuilder

The successor expression.

override

ten() → LambdaBuilder

The church number ten.

override

test() → LambdaBuilder

The if expression.

override

three() → LambdaBuilder

The church number three.

override

times() → LambdaBuilder

The multiplication expression.

override

toString() → String

A string representation of this object.

inherited

twelve() → LambdaBuilder

The church number twelve.

override

two() → LambdaBuilder

The church number two.

override

yCombinator() → LambdaBuilder

The Y combinator.

override

zero() → LambdaBuilder

The church number zero.

override

Operators

operator ==(Object other) → bool

The equality operator.

inherited