data LiftedListParser m t a |
|
type OrListParser m = LiftedListParser (OrMonad m) |
|
type PlusListParser m = LiftedListParser (PlusMonad m) |
|
doOrListParser :: Monad m => [t] -> OrListParser m t a -> m (Maybe ([t], a)) |
|
runOrListParser :: Monad m => [t] -> OrListParser m t a -> m (Maybe a) |
|
doUniquePlusListParser :: Monad m => [t] -> PlusListParser m t a -> m (Maybe ([t], a)) |
|
runUniquePlusListParser :: Monad m => [t] -> PlusListParser m t a -> m (Maybe a) |