git.iko.soy/elk
on b02b4aa help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Move constraint primitives into Type.Constraint Constraint.hsMove constraint primitives into Type.Constraint Environment.hsDisallow equivalent representations of the same type Inference.hsMove constraint primitives into Type.Constraint Occurs.hsDo not expose Description fields / optimize copy and flatten Solve.hsDo not expose Description fields / optimize copy and flatten State.hsDo not expose Description fields / optimize copy and flatten Type.hsDo not expose Description fields / optimize copy and flatten Unify.hsDo not expose Description fields / optimize copy and flatten UnionFind.hsBetter behavior when unifying with yourself