Text.Chatty.Parser.Nondeterministic

Provides a nondeterministic ChParser instance.

Documentation

data ForkerT m a

A nondeterministic parsing monad. Works by keeping multiple forks until they fail. May return multiple solutions. First parameter should be an instance of MonadPlus and Foldable.

Constructors

Result (m a) (Char -> ForkerT m a)

Failed

Instances

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

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

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

feedForkerT1 :: (MonadPlus m, Foldable m) => Char -> ForkerT m a -> ForkerT m a

Feed the ForkerT with a single input character.

feedForkerT :: (MonadPlus m, Foldable m) => String -> ForkerT m a -> ForkerT m a

Feed the ForkerT with some input string.

embedForkerT :: (MonadPlus n, Foldable n, ChScanner m) => ForkerT n a -> m (n a)

Embed the ForkerT into a running MonadScanner instance.