//2 | Shorthand
for‘Free/[]>> Lambda`. |
//3 | Shorthand
for‘Free/[]>> Lambda`. |
//4 | Shorthand
for‘Free/[]>> Lambda`. |
//5 | Shorthand
for‘Free/[]>> Lambda`. |
//6 | Shorthand
for‘Free/[]>> Lambda`. |
//7 | Shorthand
for‘Free/[]>> Lambda`. |
//8 | Shorthand
for‘Free/[]>> Lambda`. |
//9 | Shorthand
for‘Free/[]>> Lambda`. |
>>/2 | Calls
a copy of Lambda. |
>>/3 | Calls
a copy of Lambda. |
>>/4 | Calls
a copy of Lambda. |
>>/5 | Calls
a copy of Lambda. |
>>/6 | Calls
a copy of Lambda. |
>>/7 | Calls
a copy of Lambda. |
>>/8 | Calls
a copy of Lambda. |
>>/9 | Calls
a copy of Lambda. |
is_lambda/1 | True
if Term is a valid Lambda expression. |
lambda_calls/2 | Goal
is the goal called if call/N is applied to LambdaExpression, where
ExtraArgs are the additional arguments to call/N. |
lambda_calls/3 | Goal
is the goal called if call/N is applied to LambdaExpression, where
ExtraArgs are the additional arguments to call/N. |