Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data GlobalFlags Source #
Instances
Show GlobalFlags Source # | |
Defined in Jukebox.Toolbox showsPrec :: Int -> GlobalFlags -> ShowS # show :: GlobalFlags -> String # showList :: [GlobalFlags] -> ShowS # |
(=>>=) :: OptionParser (a -> IO b) -> OptionParser (b -> IO c) -> OptionParser (a -> IO c) infixl 1 Source #
(=>>) :: OptionParser (IO a) -> OptionParser (IO b) -> OptionParser (IO b) infixl 1 Source #
forAllFilesBox :: OptionParser ((FilePath -> IO ()) -> IO ()) Source #
readTPTPFileBox :: OptionParser (FilePath -> IO String) Source #
readProblemBox :: OptionParser (FilePath -> IO (Problem Form)) Source #
printProblemBox :: OptionParser (Problem Form -> IO ()) Source #
printProblemSMTBox :: OptionParser (Problem Form -> IO ()) Source #
printClausesBox :: OptionParser (Problem Clause -> IO ()) Source #
writeFileBox :: OptionParser (String -> IO ()) Source #
clausifyBox :: OptionParser (Problem Form -> IO CNF) Source #
oneConjectureBox :: OptionParser (CNF -> IO (Problem Clause)) Source #
toFormulasBox :: OptionParser (Problem Clause -> IO (Problem Form)) Source #
forAllConjecturesBox :: OptionParser (Solver -> CNF -> IO ()) Source #
analyseMonotonicityBox :: OptionParser (Problem Clause -> IO (Set Type)) Source #
showMonotonicityBox :: OptionParser (Problem Clause -> IO String) Source #
guessModelBox :: OptionParser (Problem Form -> IO (Problem Form)) Source #