jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Toolbox

Documentation

data GlobalFlags Source #

Constructors

GlobalFlags 

Fields

Instances
Show GlobalFlags Source # 
Instance details

Defined in Jukebox.Toolbox

data TSTPFlags Source #

Constructors

TSTPFlags 

Fields

Instances
Show TSTPFlags Source # 
Instance details

Defined in Jukebox.Toolbox

quietly :: GlobalFlags -> IO () -> IO () Source #

(=>>=) :: 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 #

forAllFiles :: [FilePath] -> (FilePath -> IO ()) -> IO () Source #

prettyPrintIO :: (a -> String) -> (String -> IO ()) -> a -> IO () Source #

type Solver = (IO () -> IO ()) -> Problem Clause -> IO Answer Source #