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

↓ 1 callersMethodin_current_scope

Returns true if the key has a value declared in the last declared scope

src/scoped_map.rs:57

↓ 1 callersMethodinsert_constraint_

(&mut self, constraints: &mut Vec<Name>, classname: Name)

src/typecheck.rs:1006

↓ 1 callersMethodinsert_globals

Puts the globals of `module_env` into the current scope of the renamer. This includes putting all globals from the imports and the the globals of the

src/renamer.rs:182

↓ 1 callersMethodinstance

(&mut self)

src/parser.rs:299

↓ 1 callersFunctionis_function

Returns true if the type is a function

src/typecheck.rs:1125

↓ 1 callersFunctionis_io

Returns whether the type in question is an IO action

src/repl.rs:14

↓ 1 callersFunctionlambda_iterator

Creates an iterator which walks through all the function types that are needed when creating a lambda with make_lambda Ex: (a -> b -> c) generates [(a

src/core.rs:1061

↓ 1 callersFunctionlet_

(bindings : Vec<Binding>, expr : TypedExpr)

src/typecheck.rs:1597

↓ 1 callersMethodlist

(&mut self)

src/parser.rs:359

↓ 1 callersMethodlocation

(&'a self)

src/module.rs:156

↓ 1 callersMethodmap_

(self, f: &mut F)

src/types.rs:154

↓ 1 callersFunctionmatch_

Match performs matching which is walks through the same process as unify but only allows the updates to be one way (such as between a type and the typ

src/typecheck.rs:1434

↓ 1 callersMethodmodule_next

Returns a new token with some special rules necessary for the parsing of the module declaration TODO check if this can be removed somehow

src/lexer.rs:190

↓ 1 callersFunctionname_or_keyword

Takes a string which can be an identifier or a keyword and returns the correct TokenEnum

src/lexer.rs:121

↓ 1 callersFunctionnew_tuple

Create a tuple with the constructor name inferred from the number of arguments passed in

src/parser.rs:1122

↓ 1 callersMethodnewtype

(&mut self)

src/parser.rs:923

↓ 1 callersMethodnext

(&mut self)

src/core.rs:1037

↓ 1 callersMethodnext

(&mut self)

src/deriving.rs:188

↓ 1 callersFunctionoccurs

Checks whether a typevariable occurs in another type

src/typecheck.rs:1178

↓ 1 callersMethodord_fields

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

src/deriving.rs:75

↓ 1 callersMethodpattern_rec

Walks through the arguments of a pattern and typechecks each of them.

src/typecheck.rs:807

↓ 1 callersMethodpush_dictionary_member

Lookup which index in the instance dictionary that holds the function called 'name'

src/compiler.rs:879

↓ 1 callersFunctionquantify_

(start_var_age: isize, typ: &mut TcType)

src/typecheck.rs:1075

↓ 1 callersFunctionremove_empty_let

Replaces let expressions with no binding with the expression itself

src/lambda_lift.rs:170

↓ 1 callersMethodrename_arguments

(&mut self, arguments: Vec<Pattern<InternedStr>>)

src/renamer.rs:333

↓ 1 callersMethodrewrite

Takes a operator expression the is in the form (1 + (2 * (3 - 4))) and rewrites it using the operators real precedences

src/infix.rs:46

↓ 1 callersMethodscan_number

Scans a number, float or isizeeger and returns the appropriate token

src/lexer.rs:299

↓ 1 callersFunctionsimple_binding

Tests that the binding has no patterns for its arguments

src/core.rs:1065

↓ 1 callersFunctionskip_lambdas

(expr: &Expr<T>)

src/lambda_lift.rs:343

↓ 1 callersFunctionstart

Starts the REPL

src/repl.rs:79

↓ 1 callersFunctionstring

Creates a string literal expressions from a &str

src/core.rs:1114

↓ 1 callersMethodstrong_connect

(&mut self, v: VertexIndex)

src/graph.rs:94

↓ 1 callersMethodswap

Swaps the value stored at key, or inserts it if it is not present

src/scoped_map.rs:88

↓ 1 callersMethodtranslate_case

Translates a case expression into the core language. Since the core language do not have nested patterns the patterns are unwrapped into multiple case

src/core.rs:748

↓ 1 callersMethodtranslate_equations

(&mut self, equations: &[Equation])

src/core.rs:860

↓ 1 callersFunctiontranslate_expr

(expr: module::TypedExpr<Name>)

src/core.rs:415

↓ 1 callersFunctiontranslate_module_

(translator: &mut Translator<'a>, module: module::Module<Name>)

src/core.rs:439

↓ 1 callersFunctiontrue_expr

()

src/deriving.rs:179

↓ 1 callersFunctiontry_find_instance_type

Attempts to find the actual type of the for the variable which has a constraint

src/compiler.rs:1006

↓ 1 callersFunctiontuple_name

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

src/renamer.rs:562

↓ 1 callersFunctiontuple_type

Returns the type of an n-tuple constructor as well as the name of the tuple

src/types.rs:185

↓ 1 callersMethodtypecheck_binding_group

Typechecks a group of bindings such as map f (x:xs) = ... map f [] = ...

src/typecheck.rs:820

↓ 1 callersMethodtypecheck_global_bindings

Typechecks a group of global bindings.

src/typecheck.rs:962

↓ 1 callersFunctiontypecheck_module

Parses a module, renames and typechecks it, as well as all of its imported modules

src/typecheck.rs:1621

↓ 1 callersFunctionunify

Tries to unify two types, updating the substition as well as the types directly with the new type values.

src/typecheck.rs:1368

↓ 1 callersFunctionunit

Returns the unit type '()'

src/types.rs:243

↓ 1 callersMethodunwrap_pattern

(&mut self, uid: usize, id: Id<Name>, pattern: module::Pattern<Name>, result: &mut Vec<(Id<Name>, Pattern<Id<N

src/core.rs:696

↓ 1 callersMethodvisit_expr

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

src/infix.rs:9

↓ 1 callersMethodvisit_pattern

(&mut self, _pattern: &Pattern<Ident>)

src/core.rs:217

↓ 1 callersFunctionwalk_alternative

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

src/module.rs:367

↓ 1 callersFunctionwalk_alternative_mut

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

src/module.rs:491

↓ 1 callersFunctionwalk_binding

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

src/module.rs:309

↓ 1 callersFunctionwalk_binding_mut

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

src/module.rs:428

↓ 1 callersFunctionwalk_expr

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

src/module.rs:316

↓ 1 callersFunctionwalk_module

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

src/module.rs:300

↓ 1 callersFunctionwalk_pattern

(visitor: &mut V, pattern: &Pattern<Ident>)

src/module.rs:388

↓ 1 callersFunctionwalk_pattern_mut

(visitor: &mut V, pattern: &mut Pattern<Ident>)

Functionall_constraints_match

()

src/typecheck.rs:2276

Functionall_free_vars

()

src/lambda_lift.rs:308

Functionall_uniques

()

src/lambda_lift.rs:236

Functionapplication

()

src/typecheck.rs:1689

Functionapplication

()

src/compiler.rs:1128

Functionargument_count_error

()

src/typecheck.rs:2252

Functionbench

(b: &mut Bencher)

src/lambda_lift.rs:369

Functionbench_prelude

(b: &mut Bencher)

src/parser.rs:1556

Functionbench_prelude

(b: &mut Bencher)

src/typecheck.rs:2322

Functionbench_prelude

Functionbinding_pattern

()

src/typecheck.rs:2132

Functionbinding_pattern

Returns the type for the Bool type

src/renamer.rs:600

Functionbuild_dictionary

()

src/vm.rs:1189

Functioncase

(expr : TypedExpr, alts: Vec<Alternative>)

src/typecheck.rs:1601

Functioncase_alternative_error

()

src/typecheck.rs:2257

Functionchar_type

Returns the Type of the Char type

src/renamer.rs:592

Functioncheck_args

(expr: &Expr<Id>, args: &[InternedStr])

src/lambda_lift.rs:252

Functioncompare_tags

Compares the tags of two constructors, returning an Ordering

Functioncompile_class_constraints

()

src/compiler.rs:1170

Functioncompile_class_constraints_unknown

()

src/compiler.rs:1187

Functioncompile_constructor

()

src/compiler.rs:1138

Functioncompile_prelude

()

src/compiler.rs:1204

Functioncompile_tuple

src/typecheck.rs:2170

Functiondo_expr_pattern

()

src/typecheck.rs:2108

Functiondo_expr_simple

()

src/typecheck.rs:2085

Functiondo_expr_wrong_monad

()

src/typecheck.rs:2227

Returns the type for the Double type

src/renamer.rs:604

← previous next →301–400 of 573, ranked by callers