Text.Chatty.Parser.Nondeterministic

Documentation

data ForkerT m a

Constructors

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

Failed

Instances

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

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

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

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

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

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