on 1aaf793 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 for max tuple size of 3 in types 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 for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself