Moduleoptparse-applicative-0.18.1.0Haskell98

Options.Applicative.Internal

newtypenewtype P a

Instances6Monad, Functor, Applicative, Alternative, MonadPlus, MonadP

Monad PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Functor PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Applicative PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Alternative PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
MonadPlus PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
MonadP PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal

classclass (Alternative m, MonadPlus m) => MonadP (m :: Type -> Type) where

Instances2MonadP

MonadP CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
MonadP PDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal

datadata ParseError

Instances2Semigroup, Monoid

Semigroup ParseErrorDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Types
Monoid ParseErrorDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Types

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

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

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

valuerunReadM :: MonadP m => ReadM a -> String -> m a

valuewithReadM :: (String -> String) -> ReadM a -> ReadM a

valuerunP :: P a -> ParserPrefs -> (Either ParseError a, [Context])

newtypenewtype Completion a

Instances6Monad, Functor, Applicative, Alternative, MonadPlus, MonadP

Monad CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Functor CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Applicative CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Alternative CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
MonadPlus CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
MonadP CompletionDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal

valuerunCompletion

valuecontextNames :: [Context] -> [String]

newtypenewtype ListT (m :: Type -> Type) a

Instances6MonadTrans, Monad, Functor, Applicative, Alternative, MonadPlus

MonadTrans ListTDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Monad (ListT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Functor (ListT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Applicative (ListT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Alternative (ListT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => MonadPlus (ListT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal

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

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

valuehoistList :: Alternative m => [a] -> m a

newtypenewtype NondetT (m :: Type -> Type) a

Instances6MonadTrans, Monad, Functor, Applicative, Alternative, MonadPlus

MonadTrans NondetTDefined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Monad (NondetT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Functor (NondetT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Applicative (NondetT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => Alternative (NondetT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal
Monad m => MonadPlus (NondetT m)Defined in optparse-applicative-0.18.1.0 · Options.Applicative.Internal

valuecut :: Monad m => NondetT m ()

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

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