Top-1.7: Constraint solving framework employed by the Helium Compiler.

Safe HaskellSafe-Infered

Top.Implementation.TypeGraph.Basics

Description

 

Documentation

newtype VertexId Source

Constructors

VertexId Int 

newtype EdgeNr Source

Constructors

EdgeNrX Int 

Instances

data PathStep info Source

Instances

Show (PathStep info) 

newtype Clique Source

Constructors

CliqueX [ParentChild] 

Instances