liquidhaskell-0.2.1.0: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.CoreToLogic

Documentation

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

mkLit :: Literal -> Maybe Expr Source

runToLogic :: LogicM t -> Either t LError Source

data LError Source

Constructors