git.iko.soy/elk
on 34a253d 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.hsCreate a newtype for Marks so ranks and marks never get mixed up Unify.hsDo not expose Description fields / optimize copy and flatten UnionFind.hsBetter behavior when unifying with yourself