git.iko.soy/elk
on a794af5 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/No environment necessary when constraining patterns Constraint.hsSwitch Type.Constraint to use Elm.Name Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsGenerate type constraints for patterns without any type lookups! 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.hsGenerate type constraints for patterns without any type lookups! Unify.hsUpdate for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself