Jukebox.Options

Documentation

data Annotated d p a

Constructors

Annotated

Fields

• descr :: d
• parser :: p a

Instances

Functor p => Functor (Annotated d p)

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)

Methods

pure :: a -> Annotated d p a

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

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

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

(Monoid d, Monoid (p a)) => Monoid (Annotated d p a)

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

data SeqParser a

Constructors

SeqParser

Fields

• args :: Int
• consume :: [String] -> Either Error a

Instances

Functor SeqParser

Methods

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

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

Applicative SeqParser

Methods

pure :: a -> SeqParser a

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

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

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

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

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

argFile :: ArgParser FilePath

argFiles :: ArgParser [FilePath]

argName :: ArgParser String

argNums :: ArgParser [Int]

argOption :: [String] -> ArgParser String

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

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

type OptionParser = Annotated [Flag] ParParser

data Flag

Constructors

Flag

Fields

• flagName :: String
• flagGroup :: String
• flagHelp :: [String]
• flagArgs :: String

Instances

Eq Flag

Methods

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

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

Show Flag

Methods

showsPrec :: Int -> Flag -> ShowS

show :: Flag -> String

showList :: [Flag] -> ShowS

data ParParser a

Constructors

ParParser

Fields

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

Instances

Functor ParParser

Methods

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

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

Applicative ParParser

Methods

pure :: a -> ParParser a

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

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

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

data ParseResult a

Constructors

Yes Int (ParParser a)

No (ParParser a)

Error Error

Instances

Functor ParseResult

Methods

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

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

Applicative ParseResult

Methods

pure :: a -> ParseResult a

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

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

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

data Error

Constructors

Mistake String

Usage ExitCode [String]

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

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

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

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

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

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

filenames :: OptionParser [String]

io :: IO a -> OptionParser a

inGroup :: String -> OptionParser a -> OptionParser a

version :: String -> OptionParser a -> OptionParser a

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

printError :: String -> String -> IO a

help :: String -> String -> OptionParser a -> OptionParser a

usageText :: String -> String -> [String]

helpText :: String -> String -> OptionParser a -> [String]

justify :: String -> [String] -> [String]

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

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