jukebox-0.2.3: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell98

Jukebox.Options

Documentation

data Annotated d p a Source

Constructors

Annotated 

Fields

descr :: d
 
parser :: p a
 

Instances

argNum :: (Read a, Num a) => ArgParser a Source

data ParParser a Source

Constructors

ParParser 

Fields

val :: IO a
 
peek :: [String] -> ParseResult a
 

awaitP :: (String -> Bool) -> a -> (String -> [String] -> ParseResult a) -> ParParser a Source

await :: String -> a -> ([String] -> ParseResult a) -> ParParser a Source

data Flag Source

Constructors

Flag