SYMBOL INDEX (85 symbols across 4 files)

FILE: src/ast.rs
  type TypeBody (line 2) | pub enum TypeBody {
  type Statement (line 16) | pub type Statement = Term;
  type TypeDefinition (line 19) | pub struct TypeDefinition {
  type ProcedureDefinition (line 25) | pub struct ProcedureDefinition {
  type LetStatement (line 42) | pub struct LetStatement {
  type DebugStatement (line 50) | pub struct DebugStatement {
  type ModuleItem (line 57) | pub enum ModuleItem {
  type Term (line 64) | pub enum Term {
  type MatchArm (line 74) | pub struct MatchArm {
  type ChainItem (line 82) | pub enum ChainItem {

FILE: src/checker.rs
  type Ident (line 5) | pub type Ident = String;
  type Scope (line 9) | pub struct Scope<'a> {
  type ScopeItem (line 15) | pub enum ScopeItem<'a> {
  type DebugDisplay (line 26) | trait DebugDisplay {
    method debug_display (line 27) | fn debug_display(&self) -> String;
    method debug_display (line 31) | fn debug_display(&self) -> String {
    method debug_display (line 60) | fn debug_display(&self) -> String {
  type Data (line 45) | pub struct Data {
  type Body (line 52) | pub enum Body {
  function new (line 66) | pub fn new() -> (Scope<'a>, Ctx) {
  function from (line 70) | pub fn from<const N: usize>(pairs: [(&'a Ident, ScopeItem<'a>); N]) -> (...
  function checked_insert (line 74) | pub fn checked_insert(&mut self, ctx: &mut Ctx, ident: &'a Ident, scope_...
  function type_check_module (line 84) | pub fn type_check_module(&mut self, ctx: &mut Ctx, module_items: &'a Vec...
  function name_pass_type_check_module_item (line 94) | pub fn name_pass_type_check_module_item(&mut self, ctx: &mut Ctx, module...
  function main_pass_type_check_module_item (line 106) | pub fn main_pass_type_check_module_item(&self, ctx: &mut Ctx, module_ite...
  function type_check_type_definition (line 120) | pub fn type_check_type_definition(&self, _ctx: &mut Ctx, type_definition...
  function type_check_procedure_definition (line 130) | pub fn type_check_procedure_definition(&self, ctx: &mut Ctx, procedure_d...
  function type_check_parameters (line 144) | pub fn type_check_parameters(&mut self, ctx: &mut Ctx, parameters: &'a V...
  function type_check_statements (line 151) | pub fn type_check_statements(&mut self, ctx: &mut Ctx, statements: &Vec<...
  function reduce_statements (line 158) | pub fn reduce_statements(&mut self, ctx: &mut Ctx, statements: &Vec<Stat...
  function checked_assignable_to (line 166) | pub fn checked_assignable_to(&self, ctx: &mut Ctx, proposed: &ScopeItem<...
  function type_check_debug_statement (line 176) | pub fn type_check_debug_statement(&self, ctx: &mut Ctx, debug_statement:...
  function type_check_term (line 184) | pub fn type_check_term(&self, ctx: &mut Ctx, term: &Term) -> Option<Scop...
  function reduce_term (line 234) | pub fn reduce_term(&self, ctx: &mut Ctx, term: &Term) -> Option<ScopeIte...
  function type_check_pattern_matches (line 267) | pub fn type_check_pattern_matches(&self, ctx: &mut Ctx, pattern: &Term, ...
  function test_pattern_matches (line 282) | pub fn test_pattern_matches(&self, ctx: &mut Ctx, pattern: &Term, discri...
  function type_check_call (line 296) | pub fn type_check_call(&self, ctx: &mut Ctx, item: &ScopeItem<'a>, argum...
  function checked_call (line 328) | pub fn checked_call(&self, ctx: &mut Ctx, item: &ScopeItem<'a>, argument...
  function type_check_access_path (line 344) | pub fn type_check_access_path(&self, ctx: &mut Ctx, item: &ScopeItem<'a>...
  function checked_access_path (line 367) | pub fn checked_access_path(&self, _ctx: &mut Ctx, item: &ScopeItem<'a>, ...
  function placeholder_get (line 385) | pub fn placeholder_get<'s>(&'s self, ident: &Ident) -> &'s ScopeItem<'a> {
  function checked_get (line 389) | pub fn checked_get<'s>(&'s self, ctx: &mut Ctx, ident: &Ident) -> Option...
  type Ctx (line 405) | pub struct Ctx {
    method add_error (line 411) | pub fn add_error(&mut self, error: String) {
    method add_debug (line 414) | pub fn add_debug(&mut self, debug: String) {
  function basic_type_errors (line 426) | fn basic_type_errors() {
  function foundations_day_of_week (line 522) | fn foundations_day_of_week() {

FILE: src/main.rs
  function main (line 6) | fn main() {

FILE: src/parser.rs
  type DiscardingResult (line 21) | pub type DiscardingResult<T> = Result<T, nom::Err<nom::error::Error<T>>>;
  function is_underscore (line 23) | fn is_underscore(chr: char) -> bool {
  function is_ident (line 26) | fn is_ident(chr: char) -> bool {
  function is_start_ident (line 29) | fn is_start_ident(chr: char) -> bool {
  function parse_ident (line 34) | pub fn parse_ident(i: &str) -> IResult<&str, String> {
  function parse_branch (line 40) | pub fn parse_branch(_: usize, i: &str) -> IResult<&str, String> {
  function parse_indents (line 45) | fn parse_indents(indentation: usize, i: &str) -> IResult<&str, Vec<char>> {
  function indents (line 48) | fn indents(i: &str, indentation: usize) -> DiscardingResult<&str> {
  function parse_newlines (line 51) | fn parse_newlines(i: &str) -> IResult<&str, Vec<char>> {
  function newlines (line 54) | fn newlines(i: &str) -> DiscardingResult<&str> {
  function indented_line (line 58) | fn indented_line<T>(indentation: usize, i: &str, line_parser: fn(usize, ...
  function indented_block (line 63) | fn indented_block<T>(indentation: usize, i: &str, line_parser: fn(usize,...
  function parse_file (line 71) | pub fn parse_file(i: &str) -> IResult<&str, Vec<ModuleItem>> {
  function parse_file_with_indentation (line 75) | pub fn parse_file_with_indentation(indentation: usize, i: &str) -> IResu...
  function parse_module_items (line 84) | pub fn parse_module_items(i: &str) -> IResult<&str, Vec<ModuleItem>> {
  function parse_module_items_with_indentation (line 88) | pub fn parse_module_items_with_indentation(indentation: usize, i: &str) ...
  function parse_module_item (line 92) | pub fn parse_module_item(indentation: usize, i: &str) -> IResult<&str, M...
  function parse_type_definition (line 103) | pub fn parse_type_definition(indentation: usize, i: &str) -> IResult<&st...
  function parse_procedure_definition (line 115) | pub fn parse_procedure_definition(indentation: usize, i: &str) -> IResul...
  function parse_debug_statement (line 125) | pub fn parse_debug_statement(indentation: usize, i: &str) -> IResult<&st...
  function parse_parameters (line 131) | pub fn parse_parameters(i: &str) -> IResult<&str, Vec<(String, String)>> {
  function parse_parameter (line 134) | pub fn parse_parameter(i: &str) -> IResult<&str, (String, String)> {
  function parse_statement (line 138) | pub fn parse_statement(indentation: usize, i: &str) -> IResult<&str, Ter...
  function parse_term (line 142) | pub fn parse_term(indentation: usize, i: &str) -> IResult<&str, Term> {
  function parse_match (line 149) | pub fn parse_match(indentation: usize, i: &str) -> IResult<&str, Term> {
  function parse_match_arm (line 157) | pub fn parse_match_arm(indentation: usize, i: &str) -> IResult<&str, Mat...
  function parse_pattern (line 164) | pub fn parse_pattern(i: &str) -> IResult<&str, String> {
  function parse_expression (line 168) | pub fn parse_expression(indentation: usize, i: &str) -> IResult<&str, Te...
  function parse_chain_item (line 177) | pub fn parse_chain_item(indentation: usize, i: &str) -> IResult<&str, Ch...
  function get_tab_count (line 188) | fn get_tab_count(i: &str) -> usize {
  function make_lone (line 202) | fn make_lone(s: &str) -> Term {
  function make_day (line 205) | fn make_day(day: &str) -> Term {
  function test_parse_expression (line 210) | fn test_parse_expression() {
  function test_parse_match (line 225) | fn test_parse_match() {
  function test_parse_type_definition (line 241) | fn test_parse_type_definition() {
  function test_parse_procedure (line 257) | fn test_parse_procedure() {
  function test_parse_debug_statement (line 284) | fn test_parse_debug_statement() {