Options.Applicative.Internal

Documentation

data P a

Instances

Monad P

Functor P

MonadPlus P

Applicative P

Alternative P

MonadP P

data Context where

Constructors

Context :: [String] -> ParserInfo a -> Context

NullContext :: Context

Instances

Monoid Context

class (Alternative m, MonadPlus m) => MonadP m where

Methods

setContext :: Maybe String -> ParserInfo a -> m ()

setParser :: Maybe String -> Parser a -> m ()

getPrefs :: m ParserPrefs

missingArgP :: ParseError -> Completer -> m a

tryP :: m a -> m (Either ParseError a)

errorP :: ParseError -> m a

exitP :: Parser b -> Maybe a -> m a

Instances

MonadP Completion

MonadP P

data ParseError

Constructors

ErrorMsg String

InfoMsg String

ShowHelpText

Instances

Show ParseError

Error ParseError

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

hoistMaybe :: MonadPlus m => Maybe a -> m a

hoistEither :: MonadP m => Either ParseError a -> m a

runP :: P a -> ParserPrefs -> (Either ParseError a, Context)

data Completion a

Instances

Monad Completion

Functor Completion

MonadPlus Completion

Applicative Completion

Alternative Completion

MonadP Completion

runCompletion :: Completion r -> ParserPrefs -> Maybe (Either SomeParser Completer)

data SomeParser where

Constructors

SomeParser :: Parser a -> SomeParser

data ComplError

Constructors

ComplParseError String

ComplExit

Instances

Error ComplError

data ListT m a

Instances

MonadTrans ListT

Monad m => Monad (ListT m)

Monad m => Functor (ListT m)

Monad m => MonadPlus (ListT m)

Monad m => Applicative (ListT m)

Monad m => Alternative (ListT m)

takeListT :: Monad m => Int -> ListT m a -> ListT m a

runListT :: Monad m => ListT m a -> m [a]

data NondetT m a

Instances

MonadTrans NondetT

Monad m => Monad (NondetT m)

Monad m => Functor (NondetT m)

Monad m => MonadPlus (NondetT m)

Monad m => Applicative (NondetT m)

Monad m => Alternative (NondetT m)

cut :: Monad m => NondetT m ()

(<!>) :: Monad m => NondetT m a -> NondetT m a -> NondetT m a

disamb :: Monad m => Bool -> NondetT m a -> m (Maybe a)