Skip to main content

inverseConstant()

inverseConstant<A>(_): <B>(b) => B

Corresponds to the encoding of false in the lambda calculus. Takes two arguments and always returns the second. Inverse of constant (K).

Type Parameters​

• A

Parameters​

_​

A

Returns​

Function

Type Parameters​

• B

Parameters​

b​

B

Returns​

B

Remark​

KI combinator

Remark​

inverseConstant :: a → b → b

Remark​

λab.b

Remark​

pure function

Example​

inverseConstant(1)(2);
// 2