Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data CruxLLVMLogging
- cruxLLVMLoggingToSayWhat :: CruxLLVMLogging -> SayWhat
- defaultOutputConfig :: IO (Maybe OutputOptions -> OutputConfig CruxLLVMLogging)
- mainWithOptions :: Logs msgs => SupportsCruxLogMessage msgs => SupportsCruxLLVMLogMessage msgs => (CruxOptions, LLVMOptions) -> IO ExitCode
- mainWithOutputTo :: Handle -> IO ExitCode
- mainWithOutputConfig :: (Maybe OutputOptions -> OutputConfig CruxLLVMLogging) -> IO ExitCode
- mkOutputConfig :: ToJSON msgs => (Handle, Bool) -> (Handle, Bool) -> (msgs -> SayWhat) -> Maybe OutputOptions -> OutputConfig msgs
- processLLVMOptions :: (CruxOptions, LLVMOptions) -> IO (CruxOptions, LLVMOptions)
- withCruxLLVMLogging :: (SupportsCruxLogMessage CruxLLVMLogging => SupportsCruxLLVMLogMessage CruxLLVMLogging => a) -> a
Documentation
data CruxLLVMLogging Source #
Instances
ToJSON CruxLLVMLogging Source # | |
Defined in CruxLLVMMain toJSON :: CruxLLVMLogging -> Value # toEncoding :: CruxLLVMLogging -> Encoding # toJSONList :: [CruxLLVMLogging] -> Value # toEncodingList :: [CruxLLVMLogging] -> Encoding # omitField :: CruxLLVMLogging -> Bool # | |
Generic CruxLLVMLogging Source # | |
Defined in CruxLLVMMain type Rep CruxLLVMLogging :: Type -> Type # from :: CruxLLVMLogging -> Rep CruxLLVMLogging x # to :: Rep CruxLLVMLogging x -> CruxLLVMLogging # | |
type Rep CruxLLVMLogging Source # | |
Defined in CruxLLVMMain type Rep CruxLLVMLogging = D1 ('MetaData "CruxLLVMLogging" "CruxLLVMMain" "crux-llvm-0.8-Ad6lSmlP02v6Z9kEhyFa8H" 'False) (C1 ('MetaCons "LoggingCrux" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CruxLogMessage)) :+: C1 ('MetaCons "LoggingCruxLLVM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CruxLLVMLogMessage))) |
mainWithOptions :: Logs msgs => SupportsCruxLogMessage msgs => SupportsCruxLLVMLogMessage msgs => (CruxOptions, LLVMOptions) -> IO ExitCode Source #
mainWithOutputConfig :: (Maybe OutputOptions -> OutputConfig CruxLLVMLogging) -> IO ExitCode Source #
mkOutputConfig :: ToJSON msgs => (Handle, Bool) -> (Handle, Bool) -> (msgs -> SayWhat) -> Maybe OutputOptions -> OutputConfig msgs #
Create an OutputConfig for Crux, based on an indication of whether colored output should be used, the normal and error output handles, and the parsed CruxOptions.
If no CruxOptions are available (i.e. Nothing, as used in the preliminary portions of loadOptions), then a default output stance is applied; the default stance is described along with the individual option below.
The following CruxOptions affect the generated OutputConfig:
- noColorsErr (default stance: False when the error handle supports colors, as reported by System.Console.ANSI.hSupportsANSIColor)
- noColorsOut (default stance: False when the output handle supports colors, as reported by System.Console.ANSI.hSupportsANSIColor)
- printFailures (default stance: True)
- quietMode (default stance: False)
- simVerbose (default stance: False)
processLLVMOptions :: (CruxOptions, LLVMOptions) -> IO (CruxOptions, LLVMOptions) Source #