liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Model

Synopsis

Documentation

getModels :: GhcInfo -> Config -> FixResult Error -> IO (FixResult Error) Source #

withContext :: Config -> SMTSolver -> FilePath -> (Context -> IO a) -> IO a Source #

toFixCfg :: Config -> Config Source #

dictProxy :: forall t. Dict (Targetable t) -> Proxy t Source #

asTypeOfDict :: forall t. t -> Dict (Targetable t) -> t Source #

data Dict :: Constraint -> * where Source #

Constructors

Dict :: a => Dict a 

data TargetDict Source #

Constructors

TargetDict (Dict (Targetable t)) 

addDicts :: [PredType] -> [(Symbol, SpecType)] -> Ghc [(Symbol, SpecType, Maybe TargetDict)] Source #

addDict :: [PredType] -> (Symbol, SpecType) -> Ghc (Symbol, SpecType, Maybe TargetDict) Source #

addDict' :: [PredType] -> (Symbol, SpecType) -> Ghc (Symbol, SpecType, Maybe TargetDict) Source #

type Su = [(TyVar, Type)] Source #

monomorphize :: [PredType] -> Type -> Ghc (Maybe Su) Source #

Attempt to monomorphize a Type according to simple defaulting rules.

hscParsedStmt Source #

Arguments

:: HscEnv 
-> GhciLStmt RdrName

The parsed statement

-> IO (Maybe ([Id], IO [HValue], FixityEnv))