Types & classes — github.com/Marwes/haskell-compiler

CodeHub MCPcopy Create free account

hub / github.com/Marwes/haskell-compiler / types & classes

Types & classes100 in github.com/Marwes/haskell-compiler

⨍ Functions 573◇ Types & classes 100

↓ 57 callersClassConstructor

src/module.rs:58

↓ 6 callersClassParseError

src/parser.rs:34

↓ 5 callersClassEquation

src/core.rs:413

↓ 3 callersClassClass

↓ 3 callersClassConstraint

src/types.rs:248

↓ 2 callersClassInternedStr

src/interner.rs:8

↓ 2 callersClassVertexIndex

↓ 1 callersClassEdgeIndex

src/graph.rs:10

ClassAlternative

src/module.rs:136

ClassAlternative

ClassArgIterator

src/deriving.rs:183

src/compiler.rs:348

src/compiler.rs:127

src/module.rs:82

EnumBindOrTypeDecl

src/parser.rs:59

src/module.rs:49

InterfaceBindings

Trait which provides access to the bindings in a struct.

src/typecheck.rs:136

ClassBindingsWrapper

Woraround since traits around a vector seems problematic

src/typecheck.rs:188

src/module.rs:523

ClassCheckAbstract

src/lambda_lift.rs:259

ClassCheckUniques

src/lambda_lift.rs:215

src/module.rs:32

src/compiler.rs:353

ClassDataDefinition

src/module.rs:66

InterfaceDataTypes

A trait which also allows for lookup of data types

src/typecheck.rs:31

ClassDerivingGen

src/deriving.rs:39

EnumDictionaryEntry

src/module.rs:171

src/graph.rs:23

ClassEdgeVisitor

src/typecheck.rs:1488

src/parser.rs:28

src/typecheck.rs:1271

src/renamer.rs:97

src/renamer.rs:50

src/module.rs:185

ClassFixityDeclaration

src/module.rs:89

ClassFreeVariables

src/lambda_lift.rs:14

InterfaceGlobals

src/compiler.rs:136

src/graph.rs:28

src/module.rs:165

src/core.rs:173

src/module.rs:24

src/module.rs:41

ClassInstanceDictionary

EnumInstruction

src/compiler.rs:18

src/interner.rs:10

src/types.rs:254

ClassLambdaIterator

src/core.rs:1032

ClassLambdaLifter

src/lambda_lift.rs:130

src/lexer.rs:155

ClassLiteralData

EnumLiteralData

src/module.rs:178

src/lexer.rs:70

src/lexer.rs:58

src/module.rs:151

src/module.rs:11

InterfaceMutVisitor

src/module.rs:401

src/renamer.rs:10

ClassNameSupply

A NameSupply can turn simple strings into unique Names

src/renamer.rs:112

src/module.rs:74

src/lambda_lift.rs:330

The Parser is a recursive descent parser which has a method for each production in the AST. By calling such a production method it is expected that th

src/parser.rs:23

src/module.rs:143

src/types.rs:323

src/types.rs:317

ClassPrecedenceVisitor

src/types.rs:35

The renamer has methods which turns the ASTs identifiers from simple strings into unique Names Currently there is some constraints on what the unique

src/renamer.rs:145

ClassRenamerError

src/renamer.rs:84

A map struct which allows for the isizeroduction of different scopes Introducing a new scope will make it possible to isizeroduce additional variables

src/scoped_map.rs:9

ClassSubVisitor

src/typecheck.rs:486

ClassSubstitution

src/typecheck.rs:130

ClassSuperCombinator

src/compiler.rs:120

ClassTarjanComponents

src/graph.rs:84

src/lexer.rs:94

src/lexer.rs:11

ClassTranslator

src/core.rs:407

src/types.rs:28

ClassTypeConstructor

ClassTypeDeclaration

src/module.rs:96

ClassTypeEnvironment

The TypeEnvironment stores most data which is needed as typechecking is performed.

src/typecheck.rs:90

src/typecheck.rs:115

ClassTypeErrorInfo

src/typecheck.rs:1263

ClassTypeVariable

src/types.rs:22

Trait which provides access to the Type of any struct which implements it.

src/core.rs:130

src/module.rs:108

Trait which can be implemented by types where types can be looked up by name

src/typecheck.rs:18

src/compiler.rs:65

src/graph.rs:19

InterfaceVisitor

Trait which implements the visitor pattern. The tree will be walked through automatically, calling the appropriate visit_ function If a visit_ functio

src/module.rs:282

InterfaceVisitor

Visitor for the types in the core language. visit_ is called at the every value in the tree, if it is overriden the appropriate walk_ methods need to

src/core.rs:210