liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Bare.Spec

Synopsis

Documentation

makeClasses :: ModName -> Config -> [Var] -> (ModName, Spec BareType bndr) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [((DataCon, DataConP), [(ModName, Var, Located SpecType)])] Source

makeQualifiers :: (ModName, Spec ty bndr) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [Qualifier] Source

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

makeLVar :: [Var] -> Spec ty bndr -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [Var] Source

makeLazy :: [Var] -> Spec ty bndr -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [Var] Source

makeHIMeas :: [Var] -> Spec ty bndr -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [Located Var] Source

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

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

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

makeAssertSpec :: ModName -> Config -> [Var] -> [Var] -> (ModName, Spec BareType bndr) -> BareM [(ModName, Var, Located SpecType)] Source

makeAssumeSpec :: ModName -> Config -> [Var] -> [Var] -> (ModName, Spec BareType bndr) -> BareM [(ModName, Var, Located SpecType)] Source

makeDefaultMethods :: [Var] -> [(ModName, Var, Located SpecType)] -> [(ModName, Var, Located SpecType)] Source

makeIAliases :: (ModName, Spec BareType bndr) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [(Located SpecType, Located SpecType)] Source

makeInvariants :: (ModName, Spec BareType bndr) -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) [Located SpecType] Source

makeSpecDictionaries :: Traversable t => TCEmb TyCon -> [Var] -> t (t1, Spec BareType bndr) -> GhcSpec -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) GhcSpec Source

makeBounds :: Eq a => TCEmb TyCon -> a -> [Var] -> CoreProgram -> [(a, Spec BareType bndr)] -> WriterT [Warn] (ExceptT Error (StateT BareEnv IO)) () Source

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