git.iko.soy/elk
on f3ae567 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Update type constraint generation for effects Constraint.hsSwitch Type.Constraint to use Elm.Name Inference.hsSwitch to Data.Map.Strict in type inference Occurs.hsImplement occurs check with fewer operations and allocations Solve.hsUpdate Type.Solve for new AST State.hsSwitch Text to N.Name in Type.Type and Type.State Type.hsSwitch Text to N.Name in Type.Type and Type.State Unify.hsUpdate Type.Unify for new AST UnionFind.hsBetter behavior when unifying with yourself