jukebox-0.1.1: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Toolbox

Documentation

data GlobalFlags Source

Constructors

GlobalFlags 

Fields

quiet :: Bool
 

Instances

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

allFiles :: (FilePath -> IO ()) -> [FilePath] -> IO () Source

prettyFormIO :: (Symbolic a, Pretty a) => GlobalFlags -> (String -> IO ()) -> Problem a -> IO () Source

prettyPrintIO :: (Symbolic a, Pretty a) => GlobalFlags -> String -> (String -> IO ()) -> Problem a -> IO () Source