cryptol-3.3.0: Cryptol: The Language of Cryptography
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.Project.Config

Synopsis

Documentation

data Config Source #

Constructors

Config 

Fields

Instances

Instances details
FromValue Config Source # 
Instance details

Defined in Cryptol.Project.Config

Methods

fromValue :: Value' l -> Matcher l Config #

listFromValue :: Value' l -> Matcher l [Config] #

data LoadProjectMode Source #

Constructors

RefreshMode 
ModifiedMode 
UntestedMode 

Instances

Instances details
Show LoadProjectMode Source # 
Instance details

Defined in Cryptol.Project.Config

Methods

showsPrec :: Int -> LoadProjectMode -> ShowS #

show :: LoadProjectMode -> String #

showList :: [LoadProjectMode] -> ShowS #

data ConfigLoadError Source #

Constructors

ConfigLoadError FilePath ConfigLoadErrorInfo 

Instances

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 #

data ConfigLoadErrorInfo Source #

Constructors

ConfigParseError [String] 
SetRootFailed IOError 

Instances

Instances details
Show ConfigLoadErrorInfo Source # 
Instance details

Defined in Cryptol.Project.Config

Methods

showsPrec :: Int -> ConfigLoadErrorInfo -> ShowS #

show :: ConfigLoadErrorInfo -> String #

showList :: [ConfigLoadErrorInfo] -> ShowS #

loadConfig :: FilePath -> IO (Either ConfigLoadError Config) Source #

Parse project configuration.