UHC.Util.CHR.Solve.TreeTrie.Examples.Term.Main

Documentation

data RunOpt

Constructors

RunOpt_DebugTrace

include debugging trace in output

RunOpt_SucceedOnLeftoverWork

left over unresolvable (non residue) work is also a successful result

RunOpt_SucceedOnFailedSolve

failed solve is considered also a successful result, with the failed constraint as a residue

RunOpt_Verbosity Verbosity

Instances

Eq RunOpt

data Verbosity

Constructors

Verbosity_Quiet

Verbosity_Normal

Verbosity_ALot

Instances

Enum Verbosity

Eq Verbosity

Ord Verbosity

Show Verbosity

runFile :: [RunOpt] -> FilePath -> IO ()

Run file with options