Documentation

type GeneralOptions = Map Name String Source #

type BuiltinFunconsOptions = Map Name Funcons Source #

type TestOptions = Map Name [Funcons] Source #

type InputValues = Map Name [Values] Source #

data RunOptions Source #

defaultRunOptions :: RunOptions Source #

optionsOverride :: RunOptions -> RunOptions -> RunOptions Source #

funcon_term :: RunOptions -> Funcons Source #

bool_opt_default :: Bool -> Name -> Map Name String -> Bool Source #

bool_opt :: Name -> Map Name String -> Bool Source #

do_refocus :: RunOptions -> Bool Source #

max_restarts :: RunOptions -> Maybe Int Source #

do_abrupt_terminate :: RunOptions -> Bool Source #

pp_full_environments :: RunOptions -> Bool Source #

show_result :: RunOptions -> Bool Source #

show_counts :: RunOptions -> Bool Source #

show_mutable :: RunOptions -> [Name] Source #

hide_output :: RunOptions -> [Name] Source #

hide_input :: RunOptions -> [Name] Source #

hide_control :: RunOptions -> [Name] Source #

interactive_mode :: RunOptions -> Bool Source #

pp_string_outputs :: RunOptions -> Bool Source #

string_inputs :: RunOptions -> Bool Source #

show_tests :: RunOptions -> Bool Source #

show_output_only :: RunOptions -> Bool Source #

auto_config :: RunOptions -> Bool Source #

csv_output :: RunOptions -> Bool Source #

csv_output_with_keys :: RunOptions -> Bool Source #

inputValues :: RunOptions -> InputValues Source #

booleanOptions :: [[Char]] Source #

booleanOptions_ :: [[Char]] Source #

stringOptions :: [[Char]] Source #

stringOptions_ :: [[Char]] Source #

allOptions :: [[Char]] Source #

allOptions_ :: [[Char]] Source #

run_options :: [String] -> IO (RunOptions, [String]) Source #

parseAndApplyConfig :: FilePath -> String -> RunOptions -> RunOptions Source #

config_parser :: String -> RunOptions Source #

lexer :: String -> [Token] Source #

cfg_lexerSettings :: LexerSettings Source #

cfg_keychars :: [Char] Source #

cfg_keywords :: [[Char]] Source #

pRunOptions :: Parser RunOptions Source #

pSpec :: Parser RunOptions Source #

pGeneral :: Parser RunOptions Source #

chooses :: (Show t, Ord t, HasAlts (OO f j)) => String -> f (j t a) -> SymbExpr t a Source #

pBool :: Parser String Source #

pStringValue :: Parser String Source #

pFunconName :: Parser String Source #

pTestOutcomes :: Parser RunOptions Source #

pBuiltinFuncons :: Parser RunOptions Source #

pInputValues :: Parser RunOptions Source #