GHC.TypeLits.Normalise.Unify

Nat expressions <-> SOP terms

data CType

type CoreSOP

normaliseNat

reifySOP

Substitution on SOP terms

data UnifyItem v c

type CoreUnify

substsSOP

substsSubst

Find unifiers

data UnifyResult

unifyNats

unifiers

Free variables in SOP terms

fvSOP

Properties

isNatural