Options.Applicative.Internal

newtype P a

Instances

• Functor P
• Apply P
• Applicative P
• Alt P
• Bind P
• Monad P
• MonadP P

class MonadP :: (Type -> Type) -> Constraintclass (Monad m, Alt m) <= MonadP (m :: Type -> Type)  where

Members

• enterContext :: forall a. String -> ParserInfo a -> m Unit
• exitContext :: m Unit
• getPrefs :: m ParserPrefs
• missingArgP :: forall a. ParseError -> Completer -> m a
• errorP :: forall a. ParseError -> m a
• exitP :: forall a b. IsCmdStart -> ArgPolicy -> Parser b -> Maybe a -> m a

Instances

• MonadP P
• MonadP Completion

hoistMaybe :: forall a m. MonadP m => ParseError -> Maybe a -> m a

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

runReadM :: forall a m. MonadP m => ReadM a -> String -> m a

withReadM :: forall a. (String -> String) -> ReadM a -> ReadM a

runP :: forall a. P a -> ParserPrefs -> (Tuple (Either ParseError a) (Array Context))

newtype Completion a

Instances

• Functor Completion
• Apply Completion
• Applicative Completion
• Alt Completion
• Bind Completion
• Monad Completion
• MonadP Completion

runCompletion :: forall r. Completion r -> ParserPrefs -> Maybe (Either (Tuple SomeParser ArgPolicy) Completer)

contextNames :: Array Context -> Array String

newtype ListT :: (Type -> Type) -> Type -> Typenewtype ListT m a

Instances

• (Monad m) => Functor (ListT m)
• (Monad m) => Apply (ListT m)
• (Monad m) => Applicative (ListT m)
• (Monad m) => Bind (ListT m)
• (Monad m) => Monad (ListT m)
• (Monad m) => Alt (ListT m)
• (Monad m) => Plus (ListT m)
• (Monad m) => Alternative (ListT m)
• MonadTrans ListT
• (Monad m) => MonadPlus (ListT m)

  instance listTMonadZero :: Monad m => MonadZero (ListT m)

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

runListT :: forall a m. Monad m => ListT m a -> m (List a)

newtype NondetT :: (Type -> Type) -> Type -> Typenewtype NondetT m a

Instances

• (Monad m) => Functor (NondetT m)
• (Monad m) => Apply (NondetT m)
• (Monad m) => Applicative (NondetT m)
• (Monad m) => Bind (NondetT m)
• (Monad m) => Monad (NondetT m)
• (Monad m) => MonadPlus (NondetT m)

  instance nondetTMonadZero :: Monad m => MonadZero (NondetT m)

• (Monad m) => Alt (NondetT m)
• (Monad m) => Plus (NondetT m)
• (Monad m) => Alternative (NondetT m)
• MonadTrans NondetT

cut :: forall m. Monad m => NondetT m Unit

Operator alias for Options.Applicative.Internal.nondetTAltOp (left-associative / precedence 99)

nondetTAltOp :: forall a m. Monad m => NondetT m a -> NondetT m a -> NondetT m a

disamb :: forall m a. Monad m => Boolean -> NondetT m a -> m (Maybe a)

data ParseError

Constructors

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

Instances

• Semigroup ParseError