Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.UX.Config

Contents

Orphan instances

Description

Command Line Configuration Options ----------------------------------------

Documentation

data Config Source #

Constructors

Config

Fields

files :: [FilePath]
source files to check
idirs :: [FilePath]
path to directory for including specs
diffcheck :: Bool
check subset of binders modified (+ dependencies) since last check
linear :: Bool
uninterpreted integer multiplication and division
stringTheory :: Bool
interpretation of string theory in the logic
higherorder :: Bool
allow higher order binders into the logic
higherorderqs :: Bool
allow higher order qualifiers
extensionality :: Bool
allow function extentionality axioms
alphaEquivalence :: Bool
allow lambda alpha-equivalence axioms
betaEquivalence :: Bool
allow lambda beta-equivalence axioms
normalForm :: Bool
allow lambda normalization-equivalence axioms
fullcheck :: Bool
check all binders (overrides diffcheck)
saveQuery :: Bool
save fixpoint query
checks :: [String]
set of binders to check
noCheckUnknown :: Bool
whether to complain about specifications for unexported and unused values
notermination :: Bool
disable termination check
gradual :: Bool
enable gradual type checking
ginteractive :: Bool
interactive gradual solving
totalHaskell :: Bool
Check for termination and totality, Overrides no-termination flags
autoproofs :: Bool
automatically construct proofs from axioms
nowarnings :: Bool
disable warnings output (only show errors)
noannotations :: Bool
disable creation of intermediate annotation files
trustInternals :: Bool
type all internal variables with true
nocaseexpand :: Bool
disable case expand
strata :: Bool
enable strata analysis
notruetypes :: Bool
disable truing top level types
nototality :: Bool
disable totality check in definitions
pruneUnsorted :: Bool
enable prunning unsorted Refinements
cores :: Maybe Int
number of cores used to solve constraints
minPartSize :: Int
Minimum size of a partition
maxPartSize :: Int
Maximum size of a partition. Overrides minPartSize
maxParams :: Int
the maximum number of parameters to accept when mining qualifiers
smtsolver :: Maybe SMTSolver
name of smtsolver to use [default: try z3, cvc4, mathsat in order]
shortNames :: Bool
drop module qualifers from pretty-printed names.
shortErrors :: Bool
don't show subtyping errors and contexts.
cabalDir :: Bool
find and use .cabal file to include paths to sources for imported modules
ghcOptions :: [String]
command-line options to pass to GHC
cFiles :: [String]
.c files to compile and link against (for GHC)
eliminate :: Eliminate
eliminate (i.e. don't use qualifs for) for "none", "cuts" or "all" kvars
port :: Int
port at which lhi should listen
exactDC :: Bool
Automatically generate singleton types for data constructors
noADT :: Bool
Disable ADTs (only used with exactDC)
noMeasureFields :: Bool
Do not automatically lift data constructor fields into measures
scrapeImports :: Bool
scrape qualifiers from imported specifications
scrapeInternals :: Bool
scrape qualifiers from auto specifications
scrapeUsedImports :: Bool
scrape qualifiers from used, imported specifications
elimStats :: Bool
print eliminate stats
elimBound :: Maybe Int
eliminate upto given depth of KVar chains
json :: Bool
print results (safe/errors) as JSON
counterExamples :: Bool
attempt to generate counter-examples to type errors
timeBinds :: Bool
check and time each (asserted) type-sig separately
noPatternInline :: Bool
treat code patterns (e.g. e1 >>= x -> e2) specially for inference
untidyCore :: Bool
print full blown core (with untidy names) in verbose mode
noSimplifyCore :: Bool
simplify GHC core before constraint-generation
nonLinCuts :: Bool
treat non-linear kvars as cuts
autoInstantiate :: Instantiate
How to instantiate axioms
proofMethod :: ProofMethod
How to create automatic instances
fuel :: Int
Fuel for axiom instantiation
debugInstantionation :: Bool
Debug Instantiation
noslice :: Bool
Disable non-concrete KVar slicing
noLiftedImport :: Bool
Disable loading lifted specifications (for "legacy" libs)

Instances

Eq Config Source #
Methods (==) :: Config -> Config -> Bool # (/=) :: Config -> Config -> Bool #
Data Config Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Config -> c Config # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Config # toConstr :: Config -> Constr # dataTypeOf :: Config -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Config) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Config) # gmapT :: (forall b. Data b => b -> b) -> Config -> Config # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Config -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Config -> r # gmapQ :: (forall d. Data d => d -> u) -> Config -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Config -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Config -> m Config # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Config -> m Config # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Config -> m Config #
Show Config Source #
Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #
Generic Config Source #
Associated Types type Rep Config :: * -> * # Methods from :: Config -> Rep Config x # to :: Rep Config x -> Config #
Serialize Config Source #
Methods put :: Putter Config # get :: Get Config #
HasConfig Config Source #
Methods getConfig :: Config -> Config Source # patternFlag :: Config -> Bool Source # higherOrderFlag :: Config -> Bool Source # pruneFlag :: Config -> Bool Source # expandFlag :: Config -> Bool Source # hasOpt :: Config -> (Config -> Bool) -> Bool Source # totalityCheck :: Config -> Bool Source # terminationCheck :: Config -> Bool Source #
type Rep Config Source #
type Rep Config = D1 (MetaData "Config" "Language.Haskell.Liquid.UX.Config" "liquidhaskell-0.8.0.3-1uar7tLHplBBkhvBFAPyWm" False) (C1 (MetaCons "Config" PrefixI True) ((::) ((::) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "files") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [FilePath])) ((::) (S1 (MetaSel (Just Symbol "idirs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [FilePath])) (S1 (MetaSel (Just Symbol "diffcheck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((::) ((::) (S1 (MetaSel (Just Symbol "linear") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "stringTheory") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "higherorder") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "higherorderqs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "extensionality") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "alphaEquivalence") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "betaEquivalence") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "normalForm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((::) ((::) (S1 (MetaSel (Just Symbol "fullcheck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "saveQuery") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "checks") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])) (S1 (MetaSel (Just Symbol "noCheckUnknown") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "notermination") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) ((::) (S1 (MetaSel (Just Symbol "gradual") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "ginteractive") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((::) ((::) (S1 (MetaSel (Just Symbol "totalHaskell") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "autoproofs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "nowarnings") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "noannotations") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "trustInternals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "nocaseexpand") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "strata") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "notruetypes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((::) ((::) (S1 (MetaSel (Just Symbol "nototality") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "pruneUnsorted") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "cores") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) (S1 (MetaSel (Just Symbol "minPartSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))) ((::) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "maxPartSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) ((::) (S1 (MetaSel (Just Symbol "maxParams") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "smtsolver") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SMTSolver))))) ((::) ((::) (S1 (MetaSel (Just Symbol "shortNames") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "shortErrors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "cabalDir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "ghcOptions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String]))))) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "cFiles") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String])) (S1 (MetaSel (Just Symbol "eliminate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Eliminate))) ((::) (S1 (MetaSel (Just Symbol "port") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "exactDC") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((::) ((::) (S1 (MetaSel (Just Symbol "noADT") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "noMeasureFields") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "scrapeImports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "scrapeInternals") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))) ((::) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "scrapeUsedImports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "elimStats") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "elimBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int))) (S1 (MetaSel (Just Symbol "json") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) ((::) ((::) (S1 (MetaSel (Just Symbol "counterExamples") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "timeBinds") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "noPatternInline") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "untidyCore") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "noSimplifyCore") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "nonLinCuts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "autoInstantiate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Instantiate)) (S1 (MetaSel (Just Symbol "proofMethod") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ProofMethod)))) ((::) ((::) (S1 (MetaSel (Just Symbol "fuel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "debugInstantionation") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((::) (S1 (MetaSel (Just Symbol "noslice") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "noLiftedImport") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))))))

class HasConfig t where Source #

Minimal complete definition

getConfig

Methods

getConfig :: t -> Config Source #

patternFlag :: t -> Bool Source #

higherOrderFlag :: t -> Bool Source #

pruneFlag :: t -> Bool Source #

expandFlag :: t -> Bool Source #

hasOpt :: t -> (Config -> Bool) -> Bool Source #

totalityCheck :: t -> Bool Source #

terminationCheck :: t -> Bool Source #

Instances

HasConfig Config Source #
Methods getConfig :: Config -> Config Source # patternFlag :: Config -> Bool Source # higherOrderFlag :: Config -> Bool Source # pruneFlag :: Config -> Bool Source # expandFlag :: Config -> Bool Source # hasOpt :: Config -> (Config -> Bool) -> Bool Source # totalityCheck :: Config -> Bool Source # terminationCheck :: Config -> Bool Source #
HasConfig GhcSpec Source #
Methods getConfig :: GhcSpec -> Config Source # patternFlag :: GhcSpec -> Bool Source # higherOrderFlag :: GhcSpec -> Bool Source # pruneFlag :: GhcSpec -> Bool Source # expandFlag :: GhcSpec -> Bool Source # hasOpt :: GhcSpec -> (Config -> Bool) -> Bool Source # totalityCheck :: GhcSpec -> Bool Source # terminationCheck :: GhcSpec -> Bool Source #
HasConfig GhcInfo Source #
Methods getConfig :: GhcInfo -> Config Source # patternFlag :: GhcInfo -> Bool Source # higherOrderFlag :: GhcInfo -> Bool Source # pruneFlag :: GhcInfo -> Bool Source # expandFlag :: GhcInfo -> Bool Source # hasOpt :: GhcInfo -> (Config -> Bool) -> Bool Source # totalityCheck :: GhcInfo -> Bool Source # terminationCheck :: GhcInfo -> Bool Source #
HasConfig CGEnv Source #
Methods getConfig :: CGEnv -> Config Source # patternFlag :: CGEnv -> Bool Source # higherOrderFlag :: CGEnv -> Bool Source # pruneFlag :: CGEnv -> Bool Source # expandFlag :: CGEnv -> Bool Source # hasOpt :: CGEnv -> (Config -> Bool) -> Bool Source # totalityCheck :: CGEnv -> Bool Source # terminationCheck :: CGEnv -> Bool Source #
HasConfig BareEnv Source #
Methods getConfig :: BareEnv -> Config Source # patternFlag :: BareEnv -> Bool Source # higherOrderFlag :: BareEnv -> Bool Source # pruneFlag :: BareEnv -> Bool Source # expandFlag :: BareEnv -> Bool Source # hasOpt :: BareEnv -> (Config -> Bool) -> Bool Source # totalityCheck :: BareEnv -> Bool Source # terminationCheck :: BareEnv -> Bool Source #

data Instantiate Source #

Constructors

NoInstances
SMTInstances
LiquidInstances
LiquidInstancesLocal

Instances

Eq Instantiate Source #
Methods (==) :: Instantiate -> Instantiate -> Bool # (/=) :: Instantiate -> Instantiate -> Bool #
Data Instantiate Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Instantiate -> c Instantiate # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Instantiate # toConstr :: Instantiate -> Constr # dataTypeOf :: Instantiate -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Instantiate) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Instantiate) # gmapT :: (forall b. Data b => b -> b) -> Instantiate -> Instantiate # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Instantiate -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Instantiate -> r # gmapQ :: (forall d. Data d => d -> u) -> Instantiate -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Instantiate -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Instantiate -> m Instantiate # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Instantiate -> m Instantiate # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Instantiate -> m Instantiate #
Show Instantiate Source #
Methods showsPrec :: Int -> Instantiate -> ShowS # show :: Instantiate -> String # showList :: [Instantiate] -> ShowS #
Generic Instantiate Source #
Associated Types type Rep Instantiate :: * -> * # Methods from :: Instantiate -> Rep Instantiate x # to :: Rep Instantiate x -> Instantiate #
Serialize Instantiate Source #
Methods put :: Putter Instantiate # get :: Get Instantiate #
Default Instantiate Source #
Methods def :: Instantiate #
type Rep Instantiate Source #
type Rep Instantiate = D1 (MetaData "Instantiate" "Language.Haskell.Liquid.UX.Config" "liquidhaskell-0.8.0.3-1uar7tLHplBBkhvBFAPyWm" False) ((:+:) ((:+:) (C1 (MetaCons "NoInstances" PrefixI False) U1) (C1 (MetaCons "SMTInstances" PrefixI False) U1)) ((:+:) (C1 (MetaCons "LiquidInstances" PrefixI False) U1) (C1 (MetaCons "LiquidInstancesLocal" PrefixI False) U1)))

allowSMTInstationation :: Config -> Bool Source #

allowLiquidInstationation :: Config -> Bool Source #

allowLiquidInstationationGlobal :: Config -> Bool Source #

allowLiquidInstationationLocal :: Config -> Bool Source #

data ProofMethod Source #

Constructors

Rewrite
AllMethods

Instances

Eq ProofMethod Source #
Methods (==) :: ProofMethod -> ProofMethod -> Bool # (/=) :: ProofMethod -> ProofMethod -> Bool #
Data ProofMethod Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProofMethod -> c ProofMethod # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProofMethod # toConstr :: ProofMethod -> Constr # dataTypeOf :: ProofMethod -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c ProofMethod) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProofMethod) # gmapT :: (forall b. Data b => b -> b) -> ProofMethod -> ProofMethod # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProofMethod -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProofMethod -> r # gmapQ :: (forall d. Data d => d -> u) -> ProofMethod -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProofMethod -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProofMethod -> m ProofMethod # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProofMethod -> m ProofMethod # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProofMethod -> m ProofMethod #
Show ProofMethod Source #
Methods showsPrec :: Int -> ProofMethod -> ShowS # show :: ProofMethod -> String # showList :: [ProofMethod] -> ShowS #
Generic ProofMethod Source #
Associated Types type Rep ProofMethod :: * -> * # Methods from :: ProofMethod -> Rep ProofMethod x # to :: Rep ProofMethod x -> ProofMethod #
Serialize ProofMethod Source #
Methods put :: Putter ProofMethod # get :: Get ProofMethod #
Default ProofMethod Source #
Methods def :: ProofMethod #
type Rep ProofMethod Source #
type Rep ProofMethod = D1 (MetaData "ProofMethod" "Language.Haskell.Liquid.UX.Config" "liquidhaskell-0.8.0.3-1uar7tLHplBBkhvBFAPyWm" False) ((:+:) (C1 (MetaCons "Rewrite" PrefixI False) U1) (C1 (MetaCons "AllMethods" PrefixI False) U1))

allowRewrite :: Config -> Bool Source #

Orphan instances

Serialize SMTSolver Source #
Methods put :: Putter SMTSolver # get :: Get SMTSolver #