liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Split

Contents

Description

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

Synopsis

Split Subtyping Constraints

splitC :: SubC -> CG [FixSubC] Source

Split Well-formedness Constraints

splitW :: WfC -> CG [FixWfC] Source

Split Strata Constraints

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

???

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

Panic

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

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