liquidhaskell-0.8.10.1: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Constraint.Split

Contents

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

Description

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

Synopsis

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

Split Subtyping Constraints

splitC :: SubC -> CG [FixSubC] #

Split Well-formedness Constraints

splitW :: WfC -> CG [FixWfC] #

???

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

Panic

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

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