Language.Haskell.Liquid.Model

Synopsis

• getModels :: GhcInfo -> Config -> FixResult Error -> IO (FixResult Error)
• getModel :: GhcInfo -> Config -> Error -> Ghc Error
• getModel' :: GhcInfo -> Config -> Error -> Ghc Error
• withContext :: Config -> SMTSolver -> FilePath -> (Context -> IO a) -> IO a
• toFixCfg :: Config -> Config
• dictProxy :: forall t. Dict (Targetable t) -> Proxy t
• asTypeOfDict :: forall t. t -> Dict (Targetable t) -> t
• data Dict :: Constraint -> * where
  • Dict :: a => Dict a
• data TargetDict = TargetDict (Dict (Targetable t))
• addDicts :: [PredType] -> [(Symbol, SpecType)] -> Ghc [(Symbol, SpecType, Maybe TargetDict)]
• addDict :: [PredType] -> (Symbol, SpecType) -> Ghc (Symbol, SpecType, Maybe TargetDict)
• addDict' :: [PredType] -> (Symbol, SpecType) -> Ghc (Symbol, SpecType, Maybe TargetDict)
• type Su = [(TyVar, Type)]
• monomorphize :: [PredType] -> Type -> Ghc (Maybe Su)
• monomorphizeOne :: [PredType] -> TyVar -> Maybe Su -> Ghc (Maybe Su)
• monomorphizeFree :: TyVar -> Su -> Maybe Su
• hscParsedStmt :: HscEnv -> GhciLStmt RdrName -> IO (Maybe ([Id], IO [HValue], FixityEnv))
• handleWarnings :: Hsc ()
• ioMsgMaybe :: IO (Messages, Maybe a) -> Hsc a
• throwErrors :: ErrorMessages -> Hsc a
• getWarnings :: Hsc WarningMessages
• clearWarnings :: Hsc ()
• logWarnings :: WarningMessages -> Hsc ()
• hscParsedDecls :: HscEnv -> [LHsDecl RdrName] -> IO ([TyThing], InteractiveContext)

Documentation