Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
(=>>=) :: (Monad m, Applicative f) => f (a -> m b) -> f (b -> m c) -> f (a -> m c) infixl 1 Source #
(=>>) :: (Monad m, Applicative f) => f (m a) -> f (m b) -> f (m b) infixl 1 Source #
greetingBox :: Tool -> OptionParser (IO ()) Source #
greetingBoxIO :: Tool -> GlobalFlags -> IO () Source #
allFilesBox :: OptionParser ((FilePath -> IO ()) -> IO ()) Source #
parseProblemBox :: OptionParser (FilePath -> IO (Problem Form)) Source #
parseProblemIO :: GlobalFlags -> [FilePath] -> FilePath -> IO (Problem Form) Source #
clausifyBox :: OptionParser (Problem Form -> IO CNF) Source #
clausifyIO :: GlobalFlags -> ClausifyFlags -> Problem Form -> IO CNF Source #
oneConjectureBox :: OptionParser (CNF -> IO (Problem Clause)) Source #
toFofIO :: GlobalFlags -> (Problem Form -> IO CNF) -> Scheme -> Problem Form -> IO (Problem Form) Source #
monotonicityBox :: OptionParser (Problem Clause -> IO String) Source #
monotonicity :: GlobalFlags -> Problem Clause -> IO String Source #
annotateMonotonicityBox :: OptionParser (Problem Clause -> IO (Problem Clause)) Source #
prettyPrintProblemBox :: OptionParser (Problem Form -> IO ()) Source #
prettyPrintProblemSMTBox :: OptionParser (Problem Form -> IO ()) Source #
prettyPrintClausesBox :: OptionParser (Problem Clause -> IO ()) Source #
prettyPrintIO :: (a -> String) -> GlobalFlags -> (String -> IO ()) -> a -> IO () Source #
writeFileBox :: OptionParser (String -> IO ()) Source #
guessModelBox :: OptionParser (Problem Form -> IO (Problem Form)) Source #
allObligsBox :: OptionParser ((Problem Clause -> IO Answer) -> CNF -> IO ()) Source #