liquidhaskell-0.4.0.1: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Constraint

Documentation

typeToConstraint :: [(Symbol, SpecType)] -> LConstraint Source

addConstraints :: [(Symbol, SpecType)] -> CGEnv -> CGEnv Source

constraintToLogic :: CGEnv -> LConstraint -> Pred Source

constraintToLogicOne :: Reftable r => CGEnv -> [(Symbol, RType RTyCon RTyVar r)] -> Pred Source

subConstraintToLogicOne :: (Reftable r1, Reftable r) => [(Symbol, (Symbol, RType t t1 r))] -> (Symbol, (Symbol, RType t2 t3 r1)) -> Pred Source

combinations :: [[a]] -> [[a]] Source