Module

Options.Applicative.Internal

Package
purescript-optparse
Repository
purescript-contrib/purescript-optparse

#MonadP Source

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

Members

Instances

#hoistMaybe Source

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

#hoistEither Source

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

#runReadM Source

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

#withReadM Source

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

#runP Source

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

#ListT Source

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

Instances

#takeListT Source

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

#runListT Source

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

#NondetT Source

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

Instances

#cut Source

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

#(<!>) Source

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

#nondetTAltOp Source

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

#disamb Source

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

Re-exports from Options.Applicative.Types