liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.UX.Config

Contents

Description

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

Documentation

data Config Source #

Constructors

Config 

Fields

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 # 
Generic Config Source # 

Associated Types

type Rep Config :: * -> * #

Methods

from :: Config -> Rep Config x #

to :: Rep Config x -> Config #

Serialize Config Source # 
HasConfig Config Source # 
type Rep Config Source # 
type Rep Config = D1 (MetaData "Config" "Language.Haskell.Liquid.UX.Config" "liquidhaskell-0.8.0.2-4zWDXa3VLIUKANK5k7Jte1" 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

Instances

HasConfig Config Source # 
HasConfig GhcSpec Source # 
HasConfig GhcInfo Source # 
HasConfig CGEnv Source # 
HasConfig BareEnv Source # 

data Instantiate Source #

Instances

Eq Instantiate Source # 
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 # 
Generic Instantiate Source # 

Associated Types

type Rep Instantiate :: * -> * #

Serialize Instantiate Source # 
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.2-4zWDXa3VLIUKANK5k7Jte1" 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)))

data ProofMethod Source #

Constructors

Rewrite 
AllMethods 

Instances

Eq ProofMethod Source # 
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 # 
Generic ProofMethod Source # 

Associated Types

type Rep ProofMethod :: * -> * #

Serialize ProofMethod Source # 
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.2-4zWDXa3VLIUKANK5k7Jte1" False) ((:+:) (C1 (MetaCons "Rewrite" PrefixI False) U1) (C1 (MetaCons "AllMethods" PrefixI False) U1))

Orphan instances

Serialize SMTSolver Source # 

Methods

put :: Putter SMTSolver #

get :: Get SMTSolver #