Safe Haskell	Safe-Inferred
Language	Haskell2010

Funcons.RunOptions

Synopsis

type GeneralOptions = Map Name String
type BuiltinFunconsOptions = Map Name Funcons
type TestOptions = Map Name [Funcons]
type InputValues = Map Name [Values]
data RunOptions = RunOptions {
- mfuncon_term :: Maybe Funcons
- general_opts :: GeneralOptions
- builtin_funcons :: BuiltinFunconsOptions
- expected_outcomes :: TestOptions
- given_inputs :: InputValues
}
data SourceOfND
- = NDRuleSelection
- | NDPatternMatching
- | NDInterleaving
- | NDValueOperations
defaultSources :: [a]
defaultRunOptions :: RunOptions
optionsOverride :: RunOptions -> RunOptions -> RunOptions
funcon_term :: RunOptions -> Funcons
bool_opt_default :: Bool -> Name -> Map Name String -> Bool
bool_opt :: Name -> Map Name String -> Bool
do_refocus :: RunOptions -> Bool
turn_off_refocus :: RunOptions -> RunOptions
turn_on_refocus :: RunOptions -> RunOptions
max_restarts :: RunOptions -> Maybe Int
random_seed :: RunOptions -> Int
do_abrupt_terminate :: RunOptions -> Bool
pp_full_environments :: RunOptions -> Bool
show_result :: RunOptions -> Bool
show_counts :: RunOptions -> Bool
get_nd_sources :: RunOptions -> [SourceOfND]
show_mutable :: RunOptions -> [Name]
hide_output :: RunOptions -> [Name]
hide_input :: RunOptions -> [Name]
hide_control :: RunOptions -> [Name]
interactive_mode :: RunOptions -> Bool
pp_string_outputs :: RunOptions -> Bool
string_inputs :: RunOptions -> Bool
show_tests :: RunOptions -> Bool
show_output_only :: RunOptions -> Bool
auto_config :: RunOptions -> Bool
csv_output :: RunOptions -> Bool
csv_output_with_keys :: RunOptions -> Bool
inputValues :: RunOptions -> InputValues
booleanOptions :: [[Char]]
booleanOptions_ :: [[Char]]
stringOptions :: [[Char]]
stringOptions_ :: [[Char]]
allOptions :: [[Char]]
allOptions_ :: [[Char]]
run_options :: [String] -> IO (RunOptions, [String])
parseAndApplyConfig :: FilePath -> String -> RunOptions -> RunOptions
config_parser :: String -> RunOptions
lexer :: String -> [Token]
cfg_lexerSettings :: LexerSettings
cfg_keychars :: [Char]
cfg_keywords :: [[Char]]
pRunOptions :: Parser RunOptions
pSpec :: Parser RunOptions
pGeneral :: Parser RunOptions
chooses :: (Show t, Ord t, HasAlts (OO f j)) => String -> f (j t a) -> SymbExpr t a
pBool :: Parser String
pStringValue :: Parser String
pFunconName :: Parser String
pTestOutcomes :: Parser RunOptions
pBuiltinFuncons :: Parser RunOptions
pInputValues :: Parser RunOptions

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 #

Constructors

RunOptions
Fields mfuncon_term :: Maybe Funcons general_opts :: GeneralOptions builtin_funcons :: BuiltinFunconsOptions expected_outcomes :: TestOptions given_inputs :: InputValues

data SourceOfND Source #

Several sources of nondeterminism exists, i.e. locations where a choice between a sequence of valid alternatives are made. These options turn on pseudo-random selection of an alternative, based on a seed provide (configuration option `--seed INT`) If random selection is not turned on for a particular location, the first alternative in the sequence is chosen

Constructors

NDRuleSelection
NDPatternMatching	Several rules of a funcon may "overlap"
NDInterleaving	ambiguity when multiple sequence variables occur in a pattern
NDValueOperations	strict parameters in a funcon signature induce congruence rules that can be considered in different orders

Instances

Instances details

Enum SourceOfND Source #	value operations may produce several valid results
Instance details Defined in Funcons.RunOptions Methods succ :: SourceOfND -> SourceOfND # pred :: SourceOfND -> SourceOfND # toEnum :: Int -> SourceOfND # fromEnum :: SourceOfND -> Int # enumFrom :: SourceOfND -> [SourceOfND] # enumFromThen :: SourceOfND -> SourceOfND -> [SourceOfND] # enumFromTo :: SourceOfND -> SourceOfND -> [SourceOfND] # enumFromThenTo :: SourceOfND -> SourceOfND -> SourceOfND -> [SourceOfND] #
Show SourceOfND Source #
Instance details Defined in Funcons.RunOptions Methods showsPrec :: Int -> SourceOfND -> ShowS # show :: SourceOfND -> String # showList :: [SourceOfND] -> ShowS #
Eq SourceOfND Source #
Instance details Defined in Funcons.RunOptions Methods (==) :: SourceOfND -> SourceOfND -> Bool # (/=) :: SourceOfND -> SourceOfND -> Bool #
Ord SourceOfND Source #
Instance details Defined in Funcons.RunOptions Methods compare :: SourceOfND -> SourceOfND -> Ordering # (<) :: SourceOfND -> SourceOfND -> Bool # (<=) :: SourceOfND -> SourceOfND -> Bool # (>) :: SourceOfND -> SourceOfND -> Bool # (>=) :: SourceOfND -> SourceOfND -> Bool # max :: SourceOfND -> SourceOfND -> SourceOfND # min :: SourceOfND -> SourceOfND -> SourceOfND #