Text.Parsing.Parser.Expect

success :: forall b m a. Monad m => Traversable m => a -> ParserT a m b -> Effect Unit

Asserts that the result of running a parser p with input x was successful.

failure :: forall b m a. Monad m => Traversable m => a -> ParserT a m b -> Effect Unit

Asserts that the result of running a parser p with input x was unsuccessful.

output :: forall b m a. Monad m => Traversable m => Eq b => b -> a -> ParserT a m b -> Effect Unit

Asserts that the result of running a parser p with input x is w.