Functions — github.com/Marwes/haskell-compiler

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

Functions573 in github.com/Marwes/haskell-compiler

⨍ Functions 573◇ Types & classes 100

↓ 2 callersFunctionmake_lambda

(args : Iter, body : TypedExpr)

src/parser.rs:1112

↓ 2 callersFunctionmake_lambda

Creates a lambda from an iterator of its arguments and body

src/core.rs:1075

↓ 2 callersMethodmake_pattern

(&mut self, name: InternedStr, args: F)

src/parser.rs:731

↓ 2 callersFunctionmatch_or_fail

(env: &mut TypeEnvironment, subs: &mut Substitution, location: &Location, lhs: &mut TcType, rhs: &TcType)

src/typecheck.rs:1425

↓ 2 callersMethodmatch_same_constructors

(&mut self, data: &DataDefinition<Name>, id_r: &Id<Name>, f: &mut dyn FnMut(&mut DerivingGen, &[Id<Name>], &[I

src/deriving.rs:132

↓ 2 callersFunctionmut_bindings_at

(bindings: &'a mut [Binding<Ident>], idx: usize)

src/typecheck.rs:179

↓ 2 callersMethodmut_kind

Returns a mutable reference to the types kind

src/types.rs:136

↓ 2 callersMethodnew_var_at

(&mut self, identifier : Name, index: usize)

src/compiler.rs:548

↓ 2 callersMethodnext_end

Returns the next token but if it is not an '}' it will attempt to insert a '}' automatically

src/lexer.rs:333

↓ 2 callersMethodnext_indent_token

Scans the character stream for the next token Return EOF token if the token stream has ehas ended

src/lexer.rs:481

↓ 2 callersMethodnext_token

Scans and returns the next token from the input stream, taking into account the indentation rules

src/lexer.rs:356

↓ 2 callersFunctionop_apply

(lhs: TypedExpr, op: InternedStr, rhs: TypedExpr)

src/typecheck.rs:1593

↓ 2 callersFunctionparse_modules

Parses a module and all its imports If the modules contain a cyclic dependency fail is called.

src/parser.rs:1145

↓ 2 callersFunctionparse_modules_

(visited: &mut HashSet<InternedStr>, modules: &mut Vec<Module>, modulename: &str, contents: &str)

src/parser.rs:1162

↓ 2 callersMethodpattern

(&mut self)

src/parser.rs:778

↓ 2 callersMethodpush_dictionary

(&mut self, context: &[Constraint<Name>], constraints: &[(Name, Type<Name>)], instructions: &mut Vec<Instructi

src/compiler.rs:825

↓ 2 callersMethodrename_matches

(&mut self, matches: Match<InternedStr>)

src/renamer.rs:322

↓ 2 callersFunctionrename_module_

(renamer: &mut Renamer, module_env: &[Module<Name>], module: Module<InternedStr>)

src/renamer.rs:391

↓ 2 callersMethodrename_type_declarations

(&mut self, decls: Vec<TypeDeclaration<InternedStr>>)

src/renamer.rs:346

↓ 2 callersMethodreport_errors

(&self, f: &mut fmt::Formatter, pass: &str)

src/renamer.rs:74

↓ 2 callersMethodscan_digits

Scans digits into a string

src/lexer.rs:282

↓ 2 callersMethodscan_identifier

Scans an identifier or a keyword

src/lexer.rs:315

↓ 2 callersMethodsep_by_1_func

(&mut self, mut f : F, mut sep: P)

src/parser.rs:1078

↓ 2 callersMethodsub_expression

(&mut self)

src/parser.rs:381

↓ 2 callersMethodsub_type

(&mut self)

src/parser.rs:977

↓ 2 callersMethodtranslate_equations_

(&mut self, equations: Vec<(Vec<(Id<Name>, Pattern<Id<Name>>)>, Vec<Binding<Id<Name>>>, module::Match<Name>)>)

src/core.rs:837

↓ 2 callersMethodtranslate_expr_rest

(&mut self, input_expr: module::TypedExpr<Name>)

src/core.rs:576

↓ 2 callersMethodtranslate_guards

Translates a list of guards, if no guards matches then the result argument will be the result

src/core.rs:849

↓ 2 callersMethodtranslate_match

(&mut self, matches: module::Match<Name>)

src/core.rs:539

↓ 2 callersMethodtranslate_matching_groups

Translates a binding group such as map f (x:xs) = e1 map f [] = e2

src/core.rs:768

↓ 2 callersFunctiontranslate_modules

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

src/core.rs:420

↓ 2 callersMethodtranslate_pattern

(&mut self, pattern: module::Pattern<Name>)

src/core.rs:1009

↓ 2 callersFunctiontry_get_function

If the type is a function it returns the type of the argument and the result type, otherwise it returns None

src/types.rs:327

↓ 2 callersMethodtype_declaration

(&mut self)

src/parser.rs:816

↓ 2 callersFunctiontype_eq

(mapping: &mut HashMap<&'a TypeVariable, &'a TypeVariable>, lhs: &'a Type<Id>, rhs: &'a Type<Id2>)

src/types.rs:398

↓ 2 callersMethodtypecheck_expr

Typechecks an expression. The types in the expression are updated with the correct types. If the expression has a type error, fail is called.

src/typecheck.rs:425

↓ 2 callersMethodtypecheck_module2

(&mut self, module: &mut Module<Name>)

src/typecheck.rs:282

↓ 2 callersMethodtypecheck_mutually_recursive_bindings

Typechecks a set of bindings which may be mutually recursive Takes the minimum age that a variable created for this group can have, the current substi

src/typecheck.rs:885

↓ 2 callersFunctionun_name_type

(typ: Type<Name>)

src/typecheck.rs:1675

↓ 2 callersMethodunexpected_token

(&self, expected: &'static [TokenEnum], actual: TokenEnum)

src/parser.rs:128

↓ 2 callersFunctionunmatched_guard

Creates an expression which reports an unmatched guard error when executed

src/core.rs:1118

↓ 2 callersMethodunwrap_patterns

Translates a pattern list of patterns into a list of patterns which are not nested. The first argument of each tuple is the identifier that is expecte

src/core.rs:737

↓ 2 callersFunctionvar_eq

(mapping: &mut HashMap<&'a TypeVariable, &'a TypeVariable>, l: &'a TypeVariable, r: &'a TypeVariable)

src/types.rs:410

↓ 2 callersMethodvisit_alternative

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

src/module.rs:286

↓ 2 callersMethodvisit_expr

(&mut self, expr: &mut TypedExpr<Name>)

src/typecheck.rs:491

↓ 2 callersMethodwalk_classes

Walks through the class and all of its super classes, calling 'f' on each of them Returning Some(..) from the function quits and returns that value

src/compiler.rs:903

↓ 2 callersFunctionwalk_module_mut

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

src/module.rs:419

↓ 2 callersFunctionwith_arg_return

Takes a function type and calls the 'func' with the argument to the function and its return type. Returns true if the function was called.

src/typecheck.rs:1557

↓ 1 callersMethodabstract_

Adds the free variables, if any, to the expression

src/lambda_lift.rs:101

↓ 1 callersMethodadd_class

(&self, constraints: &[(Name, Type<Name>)], function_indexes: &mut Vec<usize>)

src/compiler.rs:933

↓ 1 callersMethodalternative

(&mut self)

src/parser.rs:535

↓ 1 callersFunctionapply

Creates a function application from a function and its arguments

src/core.rs:1082

↓ 1 callersMethodas_ref

(&self)

src/interner.rs:63

↓ 1 callersMethodbinary_expression

(&mut self, lhs : Option<TypedExpr>)

src/parser.rs:549

↓ 1 callersFunctionbuild_graph

Creates a graph containing a vertex for each binding and edges from every binding to every other binding that it references

src/typecheck.rs:1463

↓ 1 callersMethodclass

(&mut self)

src/parser.rs:247

↓ 1 callersFunctioncompare_tags

(lhs: Expr<Id<Name>>, rhs: Expr<Id<Name>>)

src/deriving.rs:163

↓ 1 callersMethodcompile_binding

(&mut self, bind : &Binding<Id>)

src/compiler.rs:425

↓ 1 callersMethodcompile_instance_variable

Compile a function which is defined in a class

src/compiler.rs:777

↓ 1 callersMethodcompile_lambda_binding

(&mut self, expr: &Expr<Id>, instructions: &mut Vec<Instruction>)

src/compiler.rs:453

↓ 1 callersFunctioncompile_module

Takes a module name and does everything needed up to and including compiling the module and its imported modules

src/compiler.rs:1059

↓ 1 callersMethodcompile_pattern

Compiles a pattern. An index to the Jump instruction which is taken when the match fails is stored in the branches vector These instructions will need

src/compiler.rs:965

↓ 1 callersFunctioncompile_string

(module: &str)

src/compiler.rs:1051

↓ 1 callersMethodconstructor

(&mut self, data_def : &DataDefinition)

src/parser.rs:612

↓ 1 callersMethodconstructor_type

(&mut self, arity : &mut isize, data_def: &DataDefinition)

src/parser.rs:876

↓ 1 callersFunctioncreate_default_stubs

Creates stub functions for each undeclared function in the instance

src/core.rs:507

↓ 1 callersFunctioncreate_string

(s: &str)

src/vm.rs:765

↓ 1 callersMethoddo_bind2_id

Translates do { expr; stmts } = expr >> do { stmts; }

src/core.rs:636

↓ 1 callersMethoddo_bind_translate

Translates do {p <- e; stmts} = let ok p = do {stmts} ok _ = fail "..." in e >>= ok

src/core.rs:650

↓ 1 callersMethoddo_binding

(&mut self)

src/parser.rs:495

↓ 1 callersFunctioneach_type

Walks through the type and calls the functions on each variable and type constructor

src/typecheck.rs:1510

↓ 1 callersFunctioneach_type_

(typ: &Type<Id>, var_fn: &mut dyn FnMut(&TypeVariable), op_fn: &mut dyn FnMut(&TypeConstructor<Id>))

src/typecheck.rs:1514

↓ 1 callersMethodeq_fields

(&mut self, args_l: &[Id<Name>], args_r: &[Id<Name>])

src/deriving.rs:50

↓ 1 callersFunctionextract_applied_type

(typ: &'a Type<Id>)

src/deriving.rs:199

↓ 1 callersMethodfind_constraints

Finds all the constraints for a type

src/typecheck.rs:442

↓ 1 callersMethodfind_data_definition

(&self, name: Name)

src/typecheck.rs:460

↓ 1 callersMethodfind_dictionary_index

Find the index of the instance dictionary for the constraints and types in 'constraints' Returns the index

src/compiler.rs:915

↓ 1 callersMethodfind_fresh

Workaround to make all imported functions quantified without requiring their type variables to be generic

src/typecheck.rs:967

↓ 1 callersFunctionfind_global

(module: &'a Module<Id>, offset: usize, name: Name)

src/compiler.rs:178

↓ 1 callersMethodfind_global

(&'a self, name: Name)

src/compiler.rs:143

↓ 1 callersFunctionfind_kind

Finds the kind for the variable test and makes sure that all occurences of the variable has the same kind in 'typ' 'expected' should be None if the ki

src/typecheck.rs:1529

↓ 1 callersFunctionfind_specialized

(result: &mut Vec<(Name, TcType)>, actual_type: &TcType, typ: &TcType, constraints: &[Constraint<Name>])

src/typecheck.rs:1048

↓ 1 callersMethodfind_type

(&'a self, name: &Name)

src/typecheck.rs:36

↓ 1 callersMethodfixity_declaration

(&mut self)

src/parser.rs:689

↓ 1 callersMethodfold_dictionary

Writes instructions which pushes a dictionary for the type to the top of the stack

src/compiler.rs:834

↓ 1 callersMethodfree_variables

Walks through an expression and notes all the free variables and for each lambda, adds the free variables to its arguments and performs an immediate a

src/lambda_lift.rs:37

↓ 1 callersFunctionfreshen

Freshen creates new type variables at every position where Type::Generic(..) appears.

src/typecheck.rs:1187

↓ 1 callersFunctionfreshen_

(env: &mut TypeEnvironment, subs: &mut Substitution, constraints: &[Constraint<Name>], typ: &mut TcType)

src/typecheck.rs:1189

↓ 1 callersFunctionfreshen_all

Walks through a type and updates it with new type variables.

src/typecheck.rs:1213

↓ 1 callersFunctiongenerate_deriving

(instances: &mut Vec<Instance<Id<Name>>>, data: &DataDefinition<Name>)

src/deriving.rs:8

↓ 1 callersMethodgenerate_eq

(&mut self, data: &DataDefinition<Name>)

src/deriving.rs:43

↓ 1 callersMethodgenerate_ord

(&mut self, data: &DataDefinition<Name>)

src/deriving.rs:63

↓ 1 callersFunctionget_builtin

(i: usize)

src/vm.rs:664

↓ 1 callersMethodget_edge

Returns the edge at the index

src/graph.rs:55

↓ 1 callersFunctionget_returntype

Extracts the final return type of a type

src/typecheck.rs:1142

↓ 1 callersMethodget_str

(&'a self, InternedStr(i): InternedStr)

src/interner.rs:33

↓ 1 callersFunctionget_string_

(buffer: &mut String, node: &Node_<'a>)

src/vm.rs:747

↓ 1 callersMethodhas_errors

(&self)

src/renamer.rs:60

↓ 1 callersFunctionid

(s: &str, typ: Type<Name>)

src/deriving.rs:159

↓ 1 callersMethodimport

(&mut self)

src/parser.rs:225

← previous next →201–300 of 573, ranked by callers