Language.Haskell.Liquid.Constraint.Split

Constraint Splitting ------------------------------------------------------

Split Subtyping Constraints

splitC :: SubC -> CG [FixSubC]

Split Well-formedness Constraints

splitW :: WfC -> CG [FixWfC]

Split Strata Constraints

splitS :: SubC -> CG [([Stratum], [Stratum])]

???

envToSub :: [(a, b)] -> ([(a, b)], b, b)

Panic

panicUnbound :: PPrint x => CGEnv -> x -> a

Constraint Generation Panic -----------------------------------------------