Safe Haskell | None |
---|---|
Language | Haskell98 |
Command Line Config Options -----------------------------------------------
- data Config = Config {
- files :: [FilePath]
- idirs :: [FilePath]
- diffcheck :: Bool
- linear :: Bool
- stringTheory :: Bool
- higherorder :: Bool
- higherorderqs :: Bool
- extensionality :: Bool
- alphaEquivalence :: Bool
- betaEquivalence :: Bool
- normalForm :: Bool
- fullcheck :: Bool
- saveQuery :: Bool
- checks :: [String]
- noCheckUnknown :: Bool
- notermination :: Bool
- gradual :: Bool
- totalHaskell :: Bool
- autoproofs :: Bool
- nowarnings :: Bool
- noannotations :: Bool
- trustInternals :: Bool
- nocaseexpand :: Bool
- strata :: Bool
- notruetypes :: Bool
- totality :: Bool
- pruneUnsorted :: Bool
- cores :: Maybe Int
- minPartSize :: Int
- maxPartSize :: Int
- maxParams :: Int
- smtsolver :: Maybe SMTSolver
- shortNames :: Bool
- shortErrors :: Bool
- cabalDir :: Bool
- ghcOptions :: [String]
- cFiles :: [String]
- eliminate :: Eliminate
- port :: Int
- exactDC :: Bool
- noMeasureFields :: Bool
- scrapeImports :: Bool
- scrapeInternals :: Bool
- scrapeUsedImports :: Bool
- elimStats :: Bool
- elimBound :: Maybe Int
- json :: Bool
- counterExamples :: Bool
- timeBinds :: Bool
- noPatternInline :: Bool
- untidyCore :: Bool
- noSimplifyCore :: Bool
- nonLinCuts :: Bool
- autoInstantiate :: Instantiate
- proofMethod :: ProofMethod
- fuel :: Int
- debugInstantionation :: Bool
- noslice :: Bool
- class HasConfig t where
- hasOpt :: HasConfig t => t -> (Config -> Bool) -> Bool
- totalityCheck :: Config -> Bool
- terminationCheck :: Config -> Bool
- data Instantiate
- allowSMTInstationation :: Config -> Bool
- allowLiquidInstationation :: Config -> Bool
- allowLiquidInstationationGlobal :: Config -> Bool
- allowLiquidInstationationLocal :: Config -> Bool
- data ProofMethod
- allowRewrite :: Config -> Bool
- allowArithmetic :: Config -> Bool
Configuration Options
Config | |
|
totalityCheck :: Config -> Bool Source #
terminationCheck :: Config -> Bool Source #
data Instantiate Source #
allowSMTInstationation :: Config -> Bool Source #
data ProofMethod Source #
allowRewrite :: Config -> Bool Source #
allowArithmetic :: Config -> Bool Source #