Constantes

Namespace: CppUtils::Functional::LambdaCalculus::v2

Types publics

False

using CppUtils::Functional::LambdaCalculus::v2::False = typedef Lambda<Lambda<Variable<0>>>;

True

using CppUtils::Functional::LambdaCalculus::v2::True = typedef Lambda<Lambda<Variable<1>>>;

If

using CppUtils::Functional::LambdaCalculus::v2::If = typedef Lambda<Lambda<Lambda<Application<Application<Variable<2>, Variable<1>>, Variable<0>>>>>;

And

using CppUtils::Functional::LambdaCalculus::v2::And = typedef Lambda<Lambda<Application<Application<Application<If, Variable<1>>, Variable<0>>, False>>>;

Or

using CppUtils::Functional::LambdaCalculus::v2::Or = typedef Lambda<Lambda<Application<Application<Application<If, Variable<1>>, True>, Variable<0>>>>;

Not

using CppUtils::Functional::LambdaCalculus::v2::Not = typedef Lambda<Application<Application<Application<If, Variable<0>>, False>, True>>;

Zero

using CppUtils::Functional::LambdaCalculus::v2::Zero = typedef False;

Successor

using CppUtils::Functional::LambdaCalculus::v2::Successor = typedef Lambda<Lambda<Lambda<Application<Variable<1>, Application<Application<Variable<2>, Variable<1>>, Variable<0>>>>>>;

Add

using CppUtils::Functional::LambdaCalculus::v2::Add = typedef Lambda<Lambda<Lambda<Lambda<Application<Application<Variable<3>, Variable<1>>, Application<Application<Variable<2>, Variable<1>>, Variable<0>>>>>>>;

Mult

using CppUtils::Functional::LambdaCalculus::v2::Mult = typedef Lambda<Lambda<Lambda<Application<Variable<2>, Application<Variable<1>, Variable<0>>>>>>;

Constantes & variables

constexpr bool CppUtils::Functional::LambdaCalculus::v2::areEqual;