liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell

Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.Liquid.Constraint.Split

Contents

Split Subtyping Constraints
Split Well-formedness Constraints
???
Panic

Description

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

Synopsis

splitC :: Bool -> SubC -> CG [FixSubC]
splitW :: WfC -> CG [FixWfC]
envToSub :: [(a, b)] -> ([(a, b)], b, b)
panicUnbound :: PPrint x => CGEnv -> x -> a

Split Subtyping Constraints

splitC :: Bool -> SubC -> CG [FixSubC] Source #

Split Well-formedness Constraints

splitW :: WfC -> CG [FixWfC] Source #

???

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

Panic

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

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