jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell98

Jukebox.Options

Documentation

data Annotated d p a Source #

Constructors

Annotated 

Fields

Instances
Functor p => Functor (Annotated d p) Source # 
Instance details

Defined in Jukebox.Options

Methods

fmap :: (a -> b) -> Annotated d p a -> Annotated d p b #

(<$) :: a -> Annotated d p b -> Annotated d p a #

(Monoid d, Applicative p) => Applicative (Annotated d p) Source # 
Instance details

Defined in Jukebox.Options

Methods

pure :: a -> Annotated d p a #

(<*>) :: Annotated d p (a -> b) -> Annotated d p a -> Annotated d p b #

liftA2 :: (a -> b -> c) -> Annotated d p a -> Annotated d p b -> Annotated d p c #

(*>) :: Annotated d p a -> Annotated d p b -> Annotated d p b #

(<*) :: Annotated d p a -> Annotated d p b -> Annotated d p a #

(Semigroup d, Semigroup (p a)) => Semigroup (Annotated d p a) Source # 
Instance details

Defined in Jukebox.Options

Methods

(<>) :: Annotated d p a -> Annotated d p a -> Annotated d p a #

sconcat :: NonEmpty (Annotated d p a) -> Annotated d p a #

stimes :: Integral b => b -> Annotated d p a -> Annotated d p a #

(Semigroup d, Monoid d, Semigroup (p a), Monoid (p a)) => Monoid (Annotated d p a) Source # 
Instance details

Defined in Jukebox.Options

Methods

mempty :: Annotated d p a #

mappend :: Annotated d p a -> Annotated d p a -> Annotated d p a #

mconcat :: [Annotated d p a] -> Annotated d p a #

type ArgParser = Annotated [String] SeqParser Source #

data SeqParser a Source #

Constructors

SeqParser 

Fields

Instances
Functor SeqParser Source # 
Instance details

Defined in Jukebox.Options

Methods

fmap :: (a -> b) -> SeqParser a -> SeqParser b #

(<$) :: a -> SeqParser b -> SeqParser a #

Applicative SeqParser Source # 
Instance details

Defined in Jukebox.Options

Methods

pure :: a -> SeqParser a #

(<*>) :: SeqParser (a -> b) -> SeqParser a -> SeqParser b #

liftA2 :: (a -> b -> c) -> SeqParser a -> SeqParser b -> SeqParser c #

(*>) :: SeqParser a -> SeqParser b -> SeqParser b #

(<*) :: SeqParser a -> SeqParser b -> SeqParser a #

arg :: String -> String -> (String -> Maybe a) -> ArgParser a Source #

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

argFile :: ArgParser FilePath Source #

argFiles :: ArgParser [FilePath] Source #

argName :: ArgParser String Source #

argNums :: ArgParser [Int] Source #

argOption :: [(String, a)] -> ArgParser a Source #

argList :: [String] -> ArgParser [String] Source #

argOptionWith :: String -> String -> String -> [String] -> (String -> Maybe a) -> ArgParser a Source #

argUsage :: ExitCode -> [String] -> ArgParser a Source #

type OptionParser = Annotated [Flag] ParParser Source #

data Flag Source #

Constructors

Flag 

Fields

Instances
Eq Flag Source # 
Instance details

Defined in Jukebox.Options

Methods

(==) :: Flag -> Flag -> Bool #

(/=) :: Flag -> Flag -> Bool #

Show Flag Source # 
Instance details

Defined in Jukebox.Options

Methods

showsPrec :: Int -> Flag -> ShowS #

show :: Flag -> String #

showList :: [Flag] -> ShowS #

data FlagMode Source #

Constructors

NormalMode 
ExpertMode 
HiddenMode 
Instances
Eq FlagMode Source # 
Instance details

Defined in Jukebox.Options

Methods

(==) :: FlagMode -> FlagMode -> Bool #

(/=) :: FlagMode -> FlagMode -> Bool #

Show FlagMode Source # 
Instance details

Defined in Jukebox.Options

Methods

showsPrec :: Int -> FlagMode -> ShowS #

show :: FlagMode -> String #

showList :: [FlagMode] -> ShowS #

flagExpert :: Flag -> Bool Source #

data ParParser a Source #

Constructors

ParParser 

Fields

Instances
Functor ParParser Source # 
Instance details

Defined in Jukebox.Options

Methods

fmap :: (a -> b) -> ParParser a -> ParParser b #

(<$) :: a -> ParParser b -> ParParser a #

Applicative ParParser Source # 
Instance details

Defined in Jukebox.Options

Methods

pure :: a -> ParParser a #

(<*>) :: ParParser (a -> b) -> ParParser a -> ParParser b #

liftA2 :: (a -> b -> c) -> ParParser a -> ParParser b -> ParParser c #

(*>) :: ParParser a -> ParParser b -> ParParser b #

(<*) :: ParParser a -> ParParser b -> ParParser a #

data ParseResult a Source #

Constructors

Yes Int (ParParser a) 
No (ParParser a) 
Error Error 
Instances
Functor ParseResult Source # 
Instance details

Defined in Jukebox.Options

Methods

fmap :: (a -> b) -> ParseResult a -> ParseResult b #

(<$) :: a -> ParseResult b -> ParseResult a #

Applicative ParseResult Source # 
Instance details

Defined in Jukebox.Options

Methods

pure :: a -> ParseResult a #

(<*>) :: ParseResult (a -> b) -> ParseResult a -> ParseResult b #

liftA2 :: (a -> b -> c) -> ParseResult a -> ParseResult b -> ParseResult c #

(*>) :: ParseResult a -> ParseResult b -> ParseResult b #

(<*) :: ParseResult a -> ParseResult b -> ParseResult a #

data Error Source #

Constructors

Mistake String 
Usage ExitCode [String] 

runPar :: ParParser a -> [String] -> Either Error (IO a) Source #

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

primFlag :: String -> [String] -> (String -> Bool) -> (a -> a -> Either Error a) -> a -> ArgParser (String -> a) -> OptionParser a Source #

flag :: String -> [String] -> a -> ArgParser a -> OptionParser a Source #

manyFlags :: String -> [String] -> ArgParser a -> OptionParser [a] Source #

bool :: String -> [String] -> Bool -> OptionParser Bool Source #

filenames :: OptionParser [String] Source #

io :: IO a -> OptionParser a Source #

inGroup :: String -> OptionParser a -> OptionParser a Source #

expert :: OptionParser a -> OptionParser a Source #

hidden :: OptionParser a -> OptionParser a Source #

version :: String -> OptionParser a -> OptionParser a Source #

printHelp :: ExitCode -> [String] -> IO a Source #

printError :: String -> String -> IO a Source #

help :: String -> String -> OptionParser a -> OptionParser a Source #

usageText :: String -> String -> [String] Source #

helpText :: Bool -> String -> String -> OptionParser a -> [String] Source #

justify :: String -> [String] -> [String] Source #

parseCommandLine :: String -> OptionParser a -> IO a Source #

parseCommandLineWithExtraArgs :: [String] -> String -> OptionParser a -> IO a Source #

parseCommandLineWithArgs :: String -> [String] -> String -> OptionParser a -> IO a Source #