List of all items

Structs

• Cons
• NList
• NListFn
• Nil
• boolean::type_fns::AndFn
• boolean::type_fns::IfTrueAltFn
• boolean::type_fns::IfTrueBAltFn
• boolean::type_fns::IfTrueBFn
• boolean::type_fns::IfTrueFn
• boolean::type_fns::IfTruePIAltFn
• boolean::type_fns::IfTruePIFn
• boolean::type_fns::NotFn
• boolean::type_fns::OrFn
• boolean::type_fns::XorFn
• peano::PlusOne
• peano::Zero
• peano::type_fns::AddFn
• peano::type_fns::IfZeroAltFn
• peano::type_fns::IfZeroFn
• peano::type_fns::IfZeroPIAltFn
• peano::type_fns::IfZeroPIFn
• peano::type_fns::IsLeFn
• peano::type_fns::IsLtFn
• peano::type_fns::IsZeroFn
• peano::type_fns::MaxFn
• peano::type_fns::MinFn
• peano::type_fns::MulFn
• peano::type_fns::SubOneSatFn
• peano::type_fns::SubSatFn
• receiver::RefHkt
• receiver::RefMutHkt
• receiver::ValueHkt
• receiver::type_fns::MapReceiverFn

Enums

• peano::PeanoWit
• receiver::HktWit
• receiver::ReceiverWit

Traits

• boolean::Boolean
• peano::IntoPeano
• peano::IntoUsize
• peano::PeanoInt
• receiver::Receiver
• receiver::ReceiverHkt

Macros

• Peano
• nlist
• nlist_pat
• peano
• rec_all
• rec_any
• rec_find_map
• rec_fold
• rec_for_each
• rec_from_fn
• rec_map
• unlist

Functions

• boolean::contradiction
• peano::contradiction
• peano::eq
• peano::proofs::add_identity
• peano::proofs::commutative_add
• peano::proofs::commutative_mul
• peano::proofs::compose_sub_lt
• peano::proofs::sub_identity
• peano::to_usize
• receiver::as_ref

Type Aliases

• NList2D
• Node
• boolean::And
• boolean::IfTrue
• boolean::IfTrueB
• boolean::IfTruePI
• boolean::Not
• boolean::Or
• boolean::Xor
• peano::Add
• peano::FromPeano
• peano::FromUsize
• peano::IfZero
• peano::IfZeroPI
• peano::IsLe
• peano::IsLt
• peano::IsZero
• peano::Max
• peano::Min
• peano::Mul
• peano::SubOneSat
• peano::SubSat
• receiver::HktApply
• receiver::HktOf
• receiver::MapReceiver