Safe Haskell	None
Language	Haskell2010

Cryptol.Project.Config

Synopsis

Documentation

Constructors

Config
Fields root :: FilePath The root of the project. modules :: [String] Git-style patterns describing the files for the project.

Instances details

Show Config Source #
Instance details Defined in Cryptol.Project.Config Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #
FromValue Config Source #
Instance details Defined in Cryptol.Project.Config Methods fromValue :: Value' l -> Matcher l Config # listFromValue :: Value' l -> Matcher l [Config] #

Constructors

RefreshMode	load all files
ModifiedMode	load modified files
UntestedMode CheckFailedMode	load files without a successful test result

Instances details

Show LoadProjectMode Source #
Instance details Defined in Cryptol.Project.Config Methods showsPrec :: Int -> LoadProjectMode -> ShowS # show :: LoadProjectMode -> String # showList :: [LoadProjectMode] -> ShowS #

Indicates if we should load files that have not changed, but contain failed properties.

Constructors

RecheckFailed
CachedFailed

Instances details

Show CheckFailedMode Source #
Instance details Defined in Cryptol.Project.Config Methods showsPrec :: Int -> CheckFailedMode -> ShowS # show :: CheckFailedMode -> String # showList :: [CheckFailedMode] -> ShowS #

Constructors

Instances details

Show ConfigLoadError Source #
Instance details Defined in Cryptol.Project.Config Methods showsPrec :: Int -> ConfigLoadError -> ShowS # show :: ConfigLoadError -> String # showList :: [ConfigLoadError] -> ShowS #
PP ConfigLoadError Source #
Instance details Defined in Cryptol.Project.Config Methods ppPrec :: Int -> ConfigLoadError -> Doc Source # ppPrecWithAnnot :: [([Int], PPAnnot)] -> Int -> ConfigLoadError -> Doc Source #

Constructors

ConfigParseError [String]
SetRootFailed IOError

Instances details

Show ConfigLoadErrorInfo Source #
Instance details Defined in Cryptol.Project.Config Methods showsPrec :: Int -> ConfigLoadErrorInfo -> ShowS # show :: ConfigLoadErrorInfo -> String # showList :: [ConfigLoadErrorInfo] -> ShowS #

Parse project configuration.