List of all items

Structs

• dag::All
• dag::Ann
• dag::App
• dag::Cse
• dag::DAG
• dag::Dat
• dag::Fix
• dag::LTy
• dag::Lam
• dag::Let
• dag::Lit
• dag::Opr
• dag::Ref
• dag::Slf
• dag::Typ
• dag::Var
• defs::Def
• defs::Defs
• dll::DLL
• dll::Iter
• name::Name
• package::Entry
• package::Import
• package::Index
• package::Package
• parse::error::ParseError
• position::Position
• prim::io::IoOp
• typedef::TypeDef
• typedef::Variant

Enums

• anon::Anon
• check::error::CheckError
• dag::BinderPtr
• dag::DAGPtr
• dag::ParentPtr
• embed_error::EmbedError
• ipld_error::IpldError
• literal::LitType
• literal::Literal
• meta::Meta
• parse::base::LitBase
• parse::error::ParseErrorKind
• position::Pos
• prim::Op
• prim::bits::BitsOp
• prim::bool::BoolOp
• prim::bytes::BytesOp
• prim::char::CharOp
• prim::i16::I16Op
• prim::i32::I32Op
• prim::i64::I64Op
• prim::i8::I8Op
• prim::int::IntOp
• prim::nat::NatOp
• prim::text::TextOp
• prim::u16::U16Op
• prim::u32::U32Op
• prim::u64::U64Op
• prim::u8::U8Op
• term::Term
• uses::Uses

Macros

• yatima

Functions

• check::check
• check::check_dat
• check::check_def
• check::check_lam
• check::ctx::add_ctx
• check::ctx::add_mul_ctx
• check::ctx::div_ctx
• check::ctx::error_context
• check::ctx::mul_ctx
• check::ctx::pretty_context
• check::equal
• check::error::pretty_pos
• check::hash
• check::infer
• check::infer_all
• check::infer_ann
• check::infer_app
• check::infer_cse
• check::infer_let
• check::infer_letrec
• check::infer_lit
• check::infer_rec
• check::infer_ref
• check::infer_slf
• check::infer_term
• check::infer_var
• dag::add_to_parents
• dag::alloc_all
• dag::alloc_ann
• dag::alloc_app
• dag::alloc_cse
• dag::alloc_dat
• dag::alloc_fix
• dag::alloc_lam
• dag::alloc_let
• dag::alloc_slf
• dag::alloc_val
• dag::free_dead_node
• dag::get_parents
• dag::install_child
• dag::replace_child
• dag::set_parents
• eval::print_trail
• eval::reduce_lam
• eval::reduce_let
• eval::subst
• eval::test::norm_assert
• eval::test::norm_assert_defs
• eval::test::parse
• eval::test::parse_defs
• package::import_alias
• parse::base::is_multibase_digit
• parse::base::parse_bin_digits
• parse::base::parse_dec_digits
• parse::base::parse_hex_digits
• parse::base::parse_litbase_bits_code
• parse::base::parse_litbase_bytes
• parse::base::parse_litbase_code
• parse::base::parse_litbase_digits
• parse::base::parse_multibase
• parse::base::parse_multibase_digits
• parse::base::parse_oct_digits
• parse::error::throw_err
• parse::literal::parse_bits
• parse::literal::parse_bool
• parse::literal::parse_bytes
• parse::literal::parse_char
• parse::literal::parse_int
• parse::literal::parse_int_sign
• parse::literal::parse_nat
• parse::literal::parse_text
• parse::op::parse_bits_op
• parse::op::parse_bool_op
• parse::op::parse_bytes_op
• parse::op::parse_char_op
• parse::op::parse_i16_op
• parse::op::parse_i32_op
• parse::op::parse_i64_op
• parse::op::parse_i8_op
• parse::op::parse_int_op
• parse::op::parse_nat_op
• parse::op::parse_opr
• parse::op::parse_text_op
• parse::op::parse_u16_op
• parse::op::parse_u32_op
• parse::op::parse_u64_op
• parse::op::parse_u8_op
• parse::package::parse_alias
• parse::package::parse_defs
• parse::package::parse_entry
• parse::package::parse_import
• parse::package::parse_link
• parse::package::parse_with
• parse::parse_cid
• parse::string::parse_codepoint
• parse::string::parse_escape
• parse::string::parse_string
• parse::term::input_cid
• parse::term::is_numeric_symbol_string1
• parse::term::is_numeric_symbol_string2
• parse::term::is_valid_symbol_char
• parse::term::is_valid_symbol_string
• parse::term::parse
• parse::term::parse_all
• parse::term::parse_antiquote
• parse::term::parse_app_end
• parse::term::parse_apps
• parse::term::parse_binder
• parse::term::parse_binder_full
• parse::term::parse_binder_short
• parse::term::parse_binders
• parse::term::parse_binders1
• parse::term::parse_bound_expression
• parse::term::parse_builtin_symbol_end
• parse::term::parse_case
• parse::term::parse_data
• parse::term::parse_expression
• parse::term::parse_lam
• parse::term::parse_let
• parse::term::parse_line_comment
• parse::term::parse_lit
• parse::term::parse_lty
• parse::term::parse_name
• parse::term::parse_quasi
• parse::term::parse_self
• parse::term::parse_space
• parse::term::parse_space1
• parse::term::parse_term
• parse::term::parse_type
• parse::term::parse_uses
• parse::term::parse_var
• parse::term::reserved_symbols
• parse::typedef::parse_motive_binders
• parse::typedef::parse_typedef
• parse::typedef::parse_typedef_elaborated
• parse::typedef::parse_variant
• parse::typedef::parse_variant_end
• parse::typedef::parse_variant_params
• parse::typedef::parse_variants
• prim::bits::bits_to_byte
• prim::bits::bits_to_bytes
• prim::bits::byte_to_bits
• prim::bits::bytes_to_bits
• prim::bits::safe_split
• prim::bytes::safe_split
• prim::text::safe_head
• prim::text::safe_insert
• prim::text::safe_line
• prim::text::safe_remove
• prim::text::safe_split
• upcopy::clean_up
• upcopy::upcopy

Type Aliases

• check::ctx::Ctx
• check::ctx::ErrCtx
• dag::Parents
• parse::span::Span
• parse::term::Ctx

Statics

• upcopy::UPCOPY_COUNT

Constants

• parse::base::MULTIBASE_DIGITS