Module lambda_calculus::combinators
source · Expand description
Standard terms and combinators
- SKI
- Iota
- BCKW
- the self-application combinator ω
- the divergent combinator Ω
- the fixed-point combinators Y and Z
- the reverse application (thrush) combinator R
Functions
- B - the composition combinator.
- C - the swapping combinator.
- I - the identity combinator.
- K - the constant / discarding combinator; equivalent to
boolean::tru
. - Ω - the divergent combinator.
- R - the reverse application (thrush) combinator.
- S - the substitution combinator.
- Θ - Turing’s fixed-point combinator
- W - the duplicating combinator.
- Y - the lazy fixed-point combinator.
- Z - the strict fixed-point combinator.
- Iota - the universal combinator.
- ω - the self-application combinator.