Safe Haskell	Safe
Language	Haskell98

Options.Applicative.Internal

Documentation

data P a Source #

Instances

Monad P Source #
Methods (>>=) :: P a -> (a -> P b) -> P b # (>>) :: P a -> P b -> P b # return :: a -> P a # fail :: String -> P a #
Functor P Source #
Methods fmap :: (a -> b) -> P a -> P b # (<$) :: a -> P b -> P a #
Applicative P Source #
Methods pure :: a -> P a # (<>) :: P (a -> b) -> P a -> P b # liftA2 :: (a -> b -> c) -> P a -> P b -> P c # (>) :: P a -> P b -> P b # (<*) :: P a -> P b -> P a #
Alternative P Source #
Methods empty :: P a # (<\|>) :: P a -> P a -> P a # some :: P a -> P [a] # many :: P a -> P [a] #
MonadPlus P Source #
Methods mzero :: P a # mplus :: P a -> P a -> P a #
MonadP P Source #
Methods enterContext :: String -> ParserInfo a -> P () Source # exitContext :: P () Source # getPrefs :: P ParserPrefs Source # missingArgP :: ParseError -> Completer -> P a Source # tryP :: P a -> P (Either ParseError a) Source # errorP :: ParseError -> P a Source # exitP :: IsCmdStart -> ArgPolicy -> Parser b -> Maybe a -> P a Source #

Minimal complete definition

Methods

Instances

MonadP Completion Source #
Methods enterContext :: String -> ParserInfo a -> Completion () Source # exitContext :: Completion () Source # getPrefs :: Completion ParserPrefs Source # missingArgP :: ParseError -> Completer -> Completion a Source # tryP :: Completion a -> Completion (Either ParseError a) Source # errorP :: ParseError -> Completion a Source # exitP :: IsCmdStart -> ArgPolicy -> Parser b -> Maybe a -> Completion a Source #
MonadP P Source #
Methods enterContext :: String -> ParserInfo a -> P () Source # exitContext :: P () Source # getPrefs :: P ParserPrefs Source # missingArgP :: ParseError -> Completer -> P a Source # tryP :: P a -> P (Either ParseError a) Source # errorP :: ParseError -> P a Source # exitP :: IsCmdStart -> ArgPolicy -> Parser b -> Maybe a -> P a Source #

Constructors

ErrorMsg String
InfoMsg String
ShowHelpText
UnknownError
MissingError IsCmdStart SomeParser
ExpectsArgError String
UnexpectedError String SomeParser

Instances

Semigroup ParseError Source #
Methods (<>) :: ParseError -> ParseError -> ParseError # sconcat :: NonEmpty ParseError -> ParseError # stimes :: Integral b => b -> ParseError -> ParseError #
Monoid ParseError Source #
Methods mempty :: ParseError # mappend :: ParseError -> ParseError -> ParseError # mconcat :: [ParseError] -> ParseError #

uncons :: [a] -> Maybe (a, [a]) Source #

Instances

Monad Completion Source #
Methods (>>=) :: Completion a -> (a -> Completion b) -> Completion b # (>>) :: Completion a -> Completion b -> Completion b # return :: a -> Completion a # fail :: String -> Completion a #
Functor Completion Source #
Methods fmap :: (a -> b) -> Completion a -> Completion b # (<$) :: a -> Completion b -> Completion a #
Applicative Completion Source #
Methods pure :: a -> Completion a # (<>) :: Completion (a -> b) -> Completion a -> Completion b # liftA2 :: (a -> b -> c) -> Completion a -> Completion b -> Completion c # (>) :: Completion a -> Completion b -> Completion b # (<*) :: Completion a -> Completion b -> Completion a #
Alternative Completion Source #
Methods empty :: Completion a # (<\|>) :: Completion a -> Completion a -> Completion a # some :: Completion a -> Completion [a] # many :: Completion a -> Completion [a] #
MonadPlus Completion Source #
Methods mzero :: Completion a # mplus :: Completion a -> Completion a -> Completion a #
MonadP Completion Source #
Methods enterContext :: String -> ParserInfo a -> Completion () Source # exitContext :: Completion () Source # getPrefs :: Completion ParserPrefs Source # missingArgP :: ParseError -> Completer -> Completion a Source # tryP :: Completion a -> Completion (Either ParseError a) Source # errorP :: ParseError -> Completion a Source # exitP :: IsCmdStart -> ArgPolicy -> Parser b -> Maybe a -> Completion a Source #

Instances

MonadTrans ListT Source #
Methods lift :: Monad m => m a -> ListT m a #
Monad m => Monad (ListT m) Source #
Methods (>>=) :: ListT m a -> (a -> ListT m b) -> ListT m b # (>>) :: ListT m a -> ListT m b -> ListT m b # return :: a -> ListT m a # fail :: String -> ListT m a #
Monad m => Functor (ListT m) Source #
Methods fmap :: (a -> b) -> ListT m a -> ListT m b # (<$) :: a -> ListT m b -> ListT m a #
Monad m => Applicative (ListT m) Source #
Methods pure :: a -> ListT m a # (<>) :: ListT m (a -> b) -> ListT m a -> ListT m b # liftA2 :: (a -> b -> c) -> ListT m a -> ListT m b -> ListT m c # (>) :: ListT m a -> ListT m b -> ListT m b # (<*) :: ListT m a -> ListT m b -> ListT m a #
Monad m => Alternative (ListT m) Source #
Methods empty :: ListT m a # (<\|>) :: ListT m a -> ListT m a -> ListT m a # some :: ListT m a -> ListT m [a] # many :: ListT m a -> ListT m [a] #
Monad m => MonadPlus (ListT m) Source #
Methods mzero :: ListT m a # mplus :: ListT m a -> ListT m a -> ListT m a #

Instances

MonadTrans NondetT Source #
Methods lift :: Monad m => m a -> NondetT m a #
Monad m => Monad (NondetT m) Source #
Methods (>>=) :: NondetT m a -> (a -> NondetT m b) -> NondetT m b # (>>) :: NondetT m a -> NondetT m b -> NondetT m b # return :: a -> NondetT m a # fail :: String -> NondetT m a #
Monad m => Functor (NondetT m) Source #
Methods fmap :: (a -> b) -> NondetT m a -> NondetT m b # (<$) :: a -> NondetT m b -> NondetT m a #
Monad m => Applicative (NondetT m) Source #
Methods pure :: a -> NondetT m a # (<>) :: NondetT m (a -> b) -> NondetT m a -> NondetT m b # liftA2 :: (a -> b -> c) -> NondetT m a -> NondetT m b -> NondetT m c # (>) :: NondetT m a -> NondetT m b -> NondetT m b # (<*) :: NondetT m a -> NondetT m b -> NondetT m a #
Monad m => Alternative (NondetT m) Source #
Methods empty :: NondetT m a # (<\|>) :: NondetT m a -> NondetT m a -> NondetT m a # some :: NondetT m a -> NondetT m [a] # many :: NondetT m a -> NondetT m [a] #
Monad m => MonadPlus (NondetT m) Source #
Methods mzero :: NondetT m a # mplus :: NondetT m a -> NondetT m a -> NondetT m a #