Text.Chatty.Parser.Carrier

Provides a nondeterministic MonadParser instance.

Documentation

data CarrierT m a

Constructors

Carry

Fields

carry :: String -> m (a, String)

Instances

(MonadPlus m, Foldable m) => Alternative (CarrierT m)

(MonadPlus m, Foldable m) => Monad (CarrierT m)

(MonadPlus m, Foldable m) => Functor (CarrierT m)

(MonadPlus m, Foldable m) => MonadPlus (CarrierT m)

(MonadPlus m, Foldable m) => Applicative (CarrierT m)

(MonadPlus m, Foldable m) => ChScanner (CarrierT m)

(MonadPlus m, Foldable m) => ChParser (CarrierT m)

(MonadPlus m, Foldable m) => Monoid (CarrierT m a)

runCarrierT :: (MonadPlus m, Foldable m) => String -> CarrierT m a -> m a

Run a CarrierT with its full input string.

embedCarrierT :: (MonadPlus n, Foldable n, ChScanner m) => CarrierT n a -> m (n a)

Embed the CarrierT into a running MonadScanner instance.