liquidhaskell-0.3.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.CoreToLogic

Documentation

coreToDef :: LocSymbol -> Var -> CoreExpr -> LogicM [Def DataCon] Source

coreToFun :: LocSymbol -> Var -> CoreExpr -> LogicM ([Symbol], Either Pred Expr) Source

mkLit :: Literal -> Maybe Expr Source

runToLogic :: LogicMap -> (String -> Error) -> LogicM t -> Either t Error Source

logicType :: Reftable r => Type -> RRType r Source

strengthenResult :: Var -> SpecType Source