List of all items

Enums

• data::num::convert::Encoding
• parser::ParseError
• reduction::Order
• term::Notation
• term::Term
• term::TermError

Traits

• data::list::convert::IntoChurchList
• data::list::convert::IntoPairList
• data::list::convert::IntoParigotList
• data::list::convert::IntoScottList
• data::num::convert::IntoBinaryNum
• data::num::convert::IntoChurchNum
• data::num::convert::IntoParigotNum
• data::num::convert::IntoScottNum
• data::num::convert::IntoSignedNum
• data::num::convert::IntoStumpFuNum

Macros

• abs
• app
• pi
• tuple

Functions

• combinators::B
• combinators::C
• combinators::I
• combinators::K
• combinators::O
• combinators::R
• combinators::S
• combinators::T
• combinators::W
• combinators::Y
• combinators::Z
• combinators::i
• combinators::o
• data::boolean::and
• data::boolean::fls
• data::boolean::if_else
• data::boolean::imply
• data::boolean::nand
• data::boolean::nor
• data::boolean::not
• data::boolean::or
• data::boolean::tru
• data::boolean::xnor
• data::boolean::xor
• data::list::church::cons
• data::list::church::head
• data::list::church::is_nil
• data::list::church::nil
• data::list::church::tail
• data::list::pair::append
• data::list::pair::cons
• data::list::pair::drop
• data::list::pair::drop_while
• data::list::pair::filter
• data::list::pair::foldl
• data::list::pair::foldr
• data::list::pair::head
• data::list::pair::index
• data::list::pair::init
• data::list::pair::is_nil
• data::list::pair::last
• data::list::pair::length
• data::list::pair::list
• data::list::pair::map
• data::list::pair::nil
• data::list::pair::replicate
• data::list::pair::reverse
• data::list::pair::tail
• data::list::pair::take
• data::list::pair::take_while
• data::list::pair::zip
• data::list::pair::zip_with
• data::list::parigot::cons
• data::list::parigot::head
• data::list::parigot::is_nil
• data::list::parigot::nil
• data::list::parigot::tail
• data::list::scott::cons
• data::list::scott::head
• data::list::scott::is_nil
• data::list::scott::nil
• data::list::scott::tail
• data::num::binary::b0
• data::num::binary::b1
• data::num::binary::is_zero
• data::num::binary::lsb
• data::num::binary::one
• data::num::binary::pred
• data::num::binary::shl0
• data::num::binary::shl1
• data::num::binary::strip
• data::num::binary::succ
• data::num::binary::zero
• data::num::church::add
• data::num::church::div
• data::num::church::eq
• data::num::church::fac
• data::num::church::geq
• data::num::church::gt
• data::num::church::is_even
• data::num::church::is_odd
• data::num::church::is_zero
• data::num::church::leq
• data::num::church::lt
• data::num::church::max
• data::num::church::min
• data::num::church::mul
• data::num::church::neq
• data::num::church::one
• data::num::church::pow
• data::num::church::pred
• data::num::church::quot
• data::num::church::rem
• data::num::church::shl
• data::num::church::shr
• data::num::church::sub
• data::num::church::succ
• data::num::church::to_parigot
• data::num::church::to_scott
• data::num::church::to_stumpfu
• data::num::church::zero
• data::num::parigot::add
• data::num::parigot::is_zero
• data::num::parigot::mul
• data::num::parigot::one
• data::num::parigot::pred
• data::num::parigot::sub
• data::num::parigot::succ
• data::num::parigot::zero
• data::num::scott::add
• data::num::scott::is_zero
• data::num::scott::mul
• data::num::scott::one
• data::num::scott::pow
• data::num::scott::pred
• data::num::scott::succ
• data::num::scott::to_church
• data::num::scott::zero
• data::num::signed::add
• data::num::signed::modulus
• data::num::signed::mul
• data::num::signed::neg
• data::num::signed::simplify
• data::num::signed::sub
• data::num::signed::to_signed
• data::num::stumpfu::add
• data::num::stumpfu::is_zero
• data::num::stumpfu::mul
• data::num::stumpfu::one
• data::num::stumpfu::pred
• data::num::stumpfu::succ
• data::num::stumpfu::to_church
• data::num::stumpfu::to_parigot
• data::num::stumpfu::to_scott
• data::num::stumpfu::zero
• data::option::and_then
• data::option::is_none
• data::option::is_some
• data::option::map
• data::option::map_or
• data::option::none
• data::option::some
• data::option::unwrap_or
• data::pair::curry
• data::pair::fst
• data::pair::pair
• data::pair::snd
• data::pair::swap
• data::pair::uncurry
• data::result::and_then
• data::result::err
• data::result::is_err
• data::result::is_ok
• data::result::map
• data::result::map_err
• data::result::ok
• data::result::option_err
• data::result::option_ok
• data::result::unwrap_or
• parser::parse
• reduction::beta
• term::abs
• term::app

Constants

• term::LAMBDA
• term::UD