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
withString :: (Symbolic a, Pretty a) => String -> (Problem Form -> IO (Problem a)) -> String -> IO String Source
encodeString :: String -> IO String 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
prettyPrintBox :: (Symbolic a, Pretty a) => OptionParser (Problem a -> IO ()) Source
prettyFormIO :: (Symbolic a, Pretty a) => GlobalFlags -> (String -> IO ()) -> Problem a -> IO () Source
prettyClauseBox :: OptionParser (Problem Clause -> IO ()) Source
prettyPrintIO :: (Symbolic a, Pretty a) => GlobalFlags -> String -> (String -> IO ()) -> Problem a -> IO () Source
writeFileBox :: OptionParser (String -> IO ()) Source
guessModelBox :: OptionParser (Problem Form -> IO (Problem Form)) Source
allObligsBox :: OptionParser ((Problem Clause -> IO Answer) -> Closed Obligs -> IO ()) Source
printInferredBox :: OptionParser ((Problem Clause, Type -> Type) -> IO (Problem Clause)) Source
equinoxBox :: OptionParser (Problem Clause -> IO Answer) Source