liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Spec

Synopsis

Documentation

makeQualifiers :: (ModName, Spec ty bndr) -> BareM [Qualifier] Source #

makeHints :: [Var] -> Spec ty bndr -> BareM [(Var, [Int])] Source #

makeLVar :: [Var] -> Spec ty bndr -> BareM [Var] Source #

makeLazy :: [Var] -> Spec ty bndr -> BareM [Var] Source #

makeAutoInsts :: [Var] -> Spec ty bndr -> BareM [(Var, Maybe Int)] Source #

makeDefs :: [Var] -> Spec ty bndr -> BareM [(Var, Symbol)] Source #

makeHMeas :: [Var] -> Spec ty bndr -> BareM [(Located Var, LocSymbol)] Source #

makeTExpr :: [Var] -> Spec ty bndr -> BareM [(Var, [Located Expr])] Source #

makeTargetVars :: ModName -> [Var] -> [String] -> BareM [Var] Source #

API: Bare Refinement Types ------------------------------------------------

makeBounds :: TCEmb TyCon -> ModName -> [Var] -> [CoreBind] -> [(ModName, BareSpec)] -> BareM () Source #

makeHBounds :: [Var] -> Spec ty bndr -> BareM [(Var, LocSymbol)] Source #

lookupIds :: Bool -> [(LocSymbol, a)] -> BareM [(Var, LocSymbol, a)] Source #