type PlusStreamParser m t = Contextual (MonadPossible m [t]) (m (Maybe t)) |
|
runFirstPlusStreamParser :: Monad m => m (Maybe t) -> PlusStreamParser m t a -> m (Maybe a) |
|
runUniquePlusStreamParser :: Monad m => m (Maybe t) -> PlusStreamParser m t a -> m (Maybe a) |
|
runAllPlusStreamParser :: Monad m => m (Maybe t) -> PlusStreamParser m t a -> m [a] |