git.iko.soy/elk
on a0fccd5 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Use NOINLINE values to reduce allocation of Descriptors in constraint generation Constraint.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Environment.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Inference.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Occurs.hsDo not expose Description fields / optimize copy and flatten Solve.hsCreate a newtype for Marks so ranks and marks never get mixed up State.hsCreate a newtype for Marks so ranks and marks never get mixed up Type.hsMove Super type into AST.Types Unify.hsMove Super type into AST.Types UnionFind.hsBetter behavior when unifying with yourself