Functions — github.com/Marwes/haskell-compiler

CodeHub MCPcopy Create free account

hub / github.com/Marwes/haskell-compiler / functions

Functions573 in github.com/Marwes/haskell-compiler

⨍ Functions 573◇ Types & classes 100

↓ 5 callersFunctionprimitive

(stack: &mut Vec<Node>, f: F)

↓ 5 callersFunctionquantify

Quantifies all type variables with an age greater that start_var_age A quantified variable will when it is instantiated have new type variables

src/typecheck.rs:1074

↓ 5 callersMethodtypecheck

Typechecks an expression

src/typecheck.rs:628

↓ 5 callersMethodtypecheck_local_bindings

Typechecks a group of local bindings (such as a let expression)

src/typecheck.rs:957

↓ 4 callersMethodapply_locals

(&mut self, subs: &Substitution)

src/typecheck.rs:478

↓ 4 callersFunctionbool_binop

(op: &str, lhs: Expr<Id<Name>>, rhs: Expr<Id<Name>>)

src/deriving.rs:170

↓ 4 callersMethodconstrained_type

src/parser.rs:839

↓ 4 callersMethoddeepseq

Evaluates the what is at the top of the stack into HNF

↓ 4 callersFunctioneval

(vm: &'a VM, node: Node<'a>)

↓ 4 callersMethodexpression

src/parser.rs:337

↓ 4 callersFunctionget_local_interner

Returns a reference to the interner stored in TLD

src/interner.rs:44

↓ 4 callersMethodkind

Returns the kind of the type Fails only if the type is a type application with an invalid kind

src/types.rs:123

↓ 4 callersMethodlen

Returns the number of elements in the container. Shadowed elements are not counted

src/scoped_map.rs:79

↓ 4 callersMethodlet_bindings

src/parser.rs:526

↓ 4 callersMethodmake_unique

Introduces a new Name to the current scope. If the name was already declared in the current scope an error is added

src/renamer.rs:355

↓ 4 callersMethodnew_var_kind

Creates a new type variable with a kind

src/typecheck.rs:585

↓ 4 callersFunctionparse_string

(contents: &str)

src/parser.rs:1136

↓ 4 callersMethodpeek_char

Peeks at the next character in the input

src/lexer.rs:256

↓ 4 callersMethodrename

(&mut self, input_expr: TypedExpr<InternedStr>)

src/renamer.rs:233

↓ 4 callersMethodrename_pattern

(&mut self, pattern: Pattern<InternedStr>)

src/renamer.rs:302

↓ 4 callersFunctionreplace_var

Replaces all occurences of 'var' in 'typ' with the the type 'replacement'

src/typecheck.rs:1099

↓ 4 callersFunctionstrongly_connected_components

Analyzes the graph for strongly connect components. Returns a vector of indices where each group is a separte vector

src/graph.rs:67

↓ 4 callersMethodsubstitute

Walks through an expression and applies the substitution on each of its types

src/typecheck.rs:485

↓ 4 callersFunctiontuple_name

Constructs a string which holds the name of an n-tuple

src/types.rs:176

↓ 4 callersMethodtypecheck_module

Typechecks a module If the typecheck is successful the types in the module are updated with the new types. If any errors were found while typechecking

src/typecheck.rs:277

↓ 3 callersFunctionadd_edges

Adds an edge for each identifier which refers to a binding in the graph

src/typecheck.rs:1487

↓ 3 callersMethodadd_types

(&mut self, types: &'a dyn DataTypes)

src/typecheck.rs:270

↓ 3 callersMethodappl

src/types.rs:106

↓ 3 callersMethodappr

Returns a reference to the the type argument or fails if it is not an application

src/types.rs:114

↓ 3 callersMethodcheck_instance_constraints

Checks whether 'actual_type' fulfills all the constraints that the instance has.

src/typecheck.rs:546

↓ 3 callersMethodcompile

Compile an expression by appending instructions to the instruction vector

src/compiler.rs:561

↓ 3 callersMethodcompile_with_constraints

Compile the loading of a variable which has constraints and will thus need to load a dictionary with functions as well

src/compiler.rs:804

↓ 3 callersMethoddata_definition

src/parser.rs:902

↓ 3 callersMethoddeclare_global

(&mut self, s: InternedStr, module_id: usize)

src/renamer.rs:366

↓ 3 callersMethodexecute

Executes a sequence of instructions, leaving the result on the top of the stack

↓ 3 callersMethodfind_class

(&'a self, name: Name)

src/compiler.rs:254

↓ 3 callersMethodfresh

Instantiates new typevariables for every typevariable in the type found at 'name'

src/typecheck.rs:986

↓ 3 callersMethodhas_instance

Returns whether the type 'searched_type' has an instance for 'class' If no instance was found, return the instance which was missing

src/typecheck.rs:501

↓ 3 callersMethodlayout_independent_token

Looks at the next unprocessed token and applies the indentation rules on it and returns a token which is not affected by indentation

src/lexer.rs:384

↓ 3 callersFunctionmake_constraints

(types: Vec<Type>)

src/parser.rs:1092

↓ 3 callersFunctionmake_tuple_type

(mut types : Vec<Type>)

src/parser.rs:1127

↓ 3 callersFunctionneeded_variables

Takes a id of the variable passed to the case and returns a vector of bindings which need to be added to make sure no variables are missing

src/core.rs:1100

↓ 3 callersMethodnew_stack_var

(&mut self, identifier : Name)

src/compiler.rs:544

↓ 3 callersMethodnext_id

src/renamer.rs:132

↓ 3 callersMethodpattern_arguments

src/parser.rs:745

↓ 3 callersMethodrename_type

(&mut self, typ: Type<InternedStr>)

src/renamer.rs:373

↓ 3 callersMethodscope

(&mut self, f: &mut dyn FnMut(&mut Compiler))

src/compiler.rs:552

↓ 3 callersMethodtypecheck_apply

(&mut self, location: &Location, subs: &mut Substitution, mut func_type: TcType, arg: &mut TypedExpr<Name>)

src/typecheck.rs:771

↓ 3 callersMethodtypecheck_match

Typechecks a Match

src/typecheck.rs:601

↓ 3 callersMethodvisit_alternative

(&mut self, alt: &Alternative<Ident>)

src/core.rs:214

↓ 3 callersMethodvisit_expr

(&mut self, expr: &mut Expr<T>)

src/lambda_lift.rs:132

↓ 3 callersFunctionwalk_alternative

(visitor: &mut V, alt: &Alternative<Ident>)

src/core.rs:260

↓ 3 callersFunctionwalk_binding

(visitor: &mut V, binding: &Binding<Ident>)

src/core.rs:233

↓ 3 callersFunctionwalk_expr_mut

(visitor: &mut V, expr: &mut TypedExpr<Ident>)

src/module.rs:440

↓ 3 callersFunctionwalk_module

(visitor: &mut V, module: &Module<Ident>)

src/core.rs:227

↓ 2 callersFunctionabstract_module

Takes a module and adds all variables which are captured into a lambda to its arguments

src/lambda_lift.rs:189

↓ 2 callersFunctionadd_primitives

(globals: &mut HashMap<Name, Qualified<TcType, Name>>, typename: &str)

src/typecheck.rs:215

↓ 2 callersMethodapplication

src/parser.rs:589

↓ 2 callersMethodbinding_or_type_declaration

src/parser.rs:660

↓ 2 callersFunctionbinop

(op: &str, lhs: Expr<Id<Name>>, rhs: Expr<Id<Name>>, return_type: Type<Name>)

src/deriving.rs:173

↓ 2 callersFunctionbuiltins

Returns an array of all the compiler primitves which exist (not including numeric primitives atm)

src/builtins.rs:7

↓ 2 callersMethodcompile_apply

(&mut self, expr: &Expr<Id>, args: ArgList, instructions: &mut Vec<Instruction>, strict: bool)

src/compiler.rs:676

↓ 2 callersMethodcompile_args

(&mut self, args: &ArgList, instructions: &mut Vec<Instruction>, strict: bool)

src/compiler.rs:763

↓ 2 callersFunctioncompile_expr

Compiles an expression into an assembly

↓ 2 callersFunctioncompile_iter

↓ 2 callersFunctioncompile_module_

(modules: Vec<crate::module::Module<Name>>)

src/compiler.rs:1065

↓ 2 callersMethoddata_lhs

src/parser.rs:942

↓ 2 callersMethodderiving

src/parser.rs:953

↓ 2 callersMethodeach_binding

(&self, func: &mut dyn FnMut(&[Binding<Name>], (usize, usize)))

src/typecheck.rs:156

↓ 2 callersFunctioneach_pattern_variables

(pattern: &Pattern<Id>, f: &mut dyn FnMut(&Name))

src/lambda_lift.rs:18

↓ 2 callersMethodeq_or_default

(&mut self, cmp: Expr<Id<Name>>, def: Expr<Id<Name>>)

src/deriving.rs:121

↓ 2 callersFunctionexecute_main_module

Takes a module with a main function and compiles it and all its imported modules and then executes the main function

↓ 2 callersFunctionexecute_main_module_

(assemblies: Vec<Assembly>)

↓ 2 callersMethodexists_as_super_class

Checks if 'classname' exists as a super class to any

src/typecheck.rs:1025

↓ 2 callersMethodexpr_or_guards

(&mut self, end_token_and_pipe: &'static [TokenEnum])

src/parser.rs:709

↓ 2 callersMethodfind_class

(&'a self, name: Name)

src/typecheck.rs:62

↓ 2 callersMethodfind_class_constraints

(&self, class: Name)

src/typecheck.rs:535

↓ 2 callersFunctionfind_constructor

(module: &Module<Id>, name: Name)

src/compiler.rs:215

↓ 2 callersMethodfind_constructor

(&self, name: Name)

src/compiler.rs:166

↓ 2 callersMethodfind_data_type

(&'a self, name: Name)

src/typecheck.rs:79

↓ 2 callersMethodfind_instance

(&'a self, classname: Name, typ: &TcType)

src/typecheck.rs:68

↓ 2 callersFunctionfind_main

Finds the main function and if it is an IO function, adds instructions to push the "RealWorld" argument

↓ 2 callersMethodfind_mut

(&'a mut self, key: &K)

src/scoped_map.rs:119

↓ 2 callersFunctionfind_specialized_instances

Searches through a type, comparing it with the type on the identifier, returning all the specialized constraints

src/typecheck.rs:1039

↓ 2 callersMethodfreshen_qualified_type

(&mut self, typ: &mut Qualified<TcType, Name>, mut mapping: HashMap<TypeVariable, TcType>)

src/typecheck.rs:466

↓ 2 callersFunctionfreshen_var

Updates the variable var, also making sure the constraints are updated appropriately

src/typecheck.rs:1229

↓ 2 callersMethodfrom_interned

Takes a string and returns a new Name which is unique

src/renamer.rs:129

↓ 2 callersFunctionfunction_type_

Creates a function type

src/renamer.rs:613

↓ 2 callersMethodget_assembly

Returns a reference to the assembly at the index

↓ 2 callersFunctionget_contents

(modulename: &str)

src/parser.rs:1153

↓ 2 callersFunctionget_let

(expr: &'a Expr<Id>, args: &mut Vec<InternedStr>)

src/lambda_lift.rs:263

↓ 2 callersMethodget_precedence

(&self, name: &Name)

src/infix.rs:38

↓ 2 callersFunctionget_string

(node: &Node_<'a>)

↓ 2 callersMethodimport_globals

(&mut self, module: &Module<T>, str_fn: &mut dyn FnMut(T) -> InternedStr, uid: usize)

src/renamer.rs:159

↓ 2 callersMethodintern

(&mut self, s: &str)

src/interner.rs:21

↓ 2 callersFunctionis_operator

Returns whether the character is a haskell operator

src/lexer.rs:147

↓ 2 callersFunctionlambda

(arg : &str, body : TypedExpr)

src/typecheck.rs:1577

↓ 2 callersFunctionlift_lambdas

Lifts all lambdas in the module to the top level of the program

src/lambda_lift.rs:128

↓ 2 callersMethodlocated_pattern

src/parser.rs:771

↓ 2 callersMethodmake_binop

Creates a binary function binding with the name 'funcname' which is a function in an instance for 'data' This function takes two parameters of the typ

src/deriving.rs:93

← previous next →101–200 of 573, ranked by callers