Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
(=>>=) :: 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 #
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 #
forAllConjecturesBox :: OptionParser (Solver -> CNF -> IO ()) Source #
annotateMonotonicityBox :: OptionParser (Problem Clause -> IO (Problem Clause)) Source #
showMonotonicityBox :: OptionParser (Problem Clause -> IO String) Source #
guessModelBox :: OptionParser (Problem Form -> IO (Problem Form)) Source #