hub / github.com/Marwes/haskell-compiler

github.com/Marwes/haskell-compiler @main

673 symbols 2,502 edges 18 files 179 documented · 27%

What it actually does AI analysis from the code graph — generated when you open this

loading…

Extension points exported contracts — how you extend this code

Visitor for the types in the core language. visit_ is called at the every value in the tree, if it is overriden the appr [6 …

src/core.rs

Types (Interface)

Trait which can be implemented by types where types can be looked up by name [3 implementers]

src/typecheck.rs

Visitor (Interface)

Trait which implements the visitor pattern. The tree will be walked through automatically, calling the appropriate visit

src/module.rs

Globals (Interface)

(no doc) [1 implementers]

src/compiler.rs

Typed (Interface)

Trait which provides access to the Type of any struct which implements it. [3 implementers]

src/core.rs

DataTypes (Interface)

A trait which also allows for lookup of data types [2 implementers]

src/typecheck.rs

MutVisitor (Interface)

(no doc) [2 implementers]

src/module.rs

Bindings (Interface)

Trait which provides access to the bindings in a struct. [2 implementers]

src/typecheck.rs

Core symbols most depended-on inside this repo

Shape

Function 295

Method 278

Class 70

Enum 22

Interface 8

Languages

Rust100%

Modules by API surface

src/typecheck.rs137 symbols

src/parser.rs80 symbols

src/vm.rs67 symbols

src/core.rs59 symbols

src/compiler.rs57 symbols

src/renamer.rs52 symbols

src/module.rs50 symbols

src/types.rs43 symbols

src/lexer.rs29 symbols

src/lambda_lift.rs21 symbols

src/graph.rs18 symbols

src/deriving.rs18 symbols

For agents

$ claude mcp add haskell-compiler \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact