List of all items

Structs

• graph::cons::GlobalCache
• graph::cons::NodeCache
• graph::node::Backlink
• graph::node::Data
• graph::node::Node
• graph::node::NotBacklinked
• graph::node::ToWeak
• graph::node::View
• graph::node::WeakNode
• graph::region::Parameter
• graph::region::ParameterDesc
• graph::region::Parameters
• graph::region::Region
• graph::region::RegionData
• graph::region::WeakRegion
• parser::ast::Gamma
• parser::ast::Lambda
• parser::ast::Let
• parser::ast::Parametrized
• parser::ast::Path
• parser::ast::Phi
• parser::ast::Pi
• parser::ast::Scope
• parser::ast::Sexpr
• parser::ast::SimpleAssignment
• parser::builder::Builder
• parser::builder::Definition
• parser::symbol_table::SymbolTable
• util::PassThroughHasher
• value::ValueData
• value::cons::VALUE_CACHE
• value::error::IncomparableRegions
• value::error::NotAFunction
• value::error::RegionAlreadyFused
• value::eval::EvalCtx
• value::expr::Sexpr
• value::expr::SexprArgs
• value::lambda::Lambda
• value::primitive::Empty
• value::primitive::Unit
• value::primitive::binary::Binary
• value::primitive::binary::Bit
• value::primitive::binary::Bitwise
• value::primitive::binary::Integer
• value::primitive::binary::Natural
• value::primitive::binary::SmallBits
• value::primitive::logical::Bool

Enums

• parser::ast::Expr
• parser::ast::Pattern
• parser::builder::BuilderError
• value::Dependencies
• value::ValueEnum
• value::error::RegionError
• value::error::ValueError
• value::primitive::binary::BinaryDisplay
• value::primitive::logical::Binary
• value::primitive::logical::LogicalOp
• value::primitive::logical::Unary

Traits

• graph::cons::CacheAcceptor
• graph::cons::CacheBy
• graph::cons::CacheType
• graph::node::HasAddr
• graph::node::HasThis
• graph::node::NodeData
• util::AlwaysOk
• value::Value
• value::ValueDesc
• value::judgement::JEq

Macros

• assert_jeq
• sexpr_judgemental_equality
• trivial_judgemental_equality
• value_judgemental_equality

Functions

• parser::defeq
• parser::parse_atom
• parser::parse_binary_logical_op
• parser::parse_bool
• parser::parse_bool_type
• parser::parse_comment
• parser::parse_expr
• parser::parse_gamma
• parser::parse_ident
• parser::parse_lambda
• parser::parse_logical_op
• parser::parse_multi_comment
• parser::parse_natural
• parser::parse_opt_ident
• parser::parse_parametrized
• parser::parse_path
• parser::parse_pattern
• parser::parse_pattern_match
• parser::parse_pattern_matches
• parser::parse_phi
• parser::parse_pi
• parser::parse_scope
• parser::parse_simple_assignment
• parser::parse_single_comment
• parser::parse_statement
• parser::parse_type_arrow
• parser::parse_type_bound
• parser::parse_typed_args
• parser::parse_typed_idents
• parser::parse_unary_logical_op
• parser::path_separator
• parser::terminator
• parser::whitespace

Type Aliases

• graph::cons::CacheEntry
• value::ValId
• value::WeakId
• value::cons::ValueCache

Constants

• parser::builder::SMALL_DEFINITIONS
• value::expr::SMALL_SEXPR_SIZE
• value::lambda::SMALL_RESULT_SIZE
• value::primitive::binary::MAX_SMALL_BITS
• value::primitive::logical::BINARY_OPS
• value::primitive::logical::UNARY_OPS