Language.Haskell.Liquid.Model

Documentation

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

Constructors

Dict :: a => Dict a

data TargetDict

Constructors

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)

Attempt to monomorphize a Type according to simple defaulting rules.

monomorphizeOne :: [PredType] -> TyVar -> Maybe Su -> Ghc (Maybe Su)

monomorphizeFree :: TyVar -> Su -> Maybe Su

hscParsedStmt

Arguments

:: HscEnv

-> GhciLStmt RdrName

The parsed statement

-> 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)