Documentation

type Cmp e m a = Maybe a -> Either (Err e) a -> m () Source #

cmpEq :: (MonadExpect m, Eq e, Show e, Eq a, Show a) => Cmp e m a Source #

type ExpectP e m a = Expect m a Text (Either (Err e) a) Source #

expectParse :: MonadExpect m => (a -> Text) -> Parser e a -> Cmp e m a -> ExpectP e m a Source #

expectParsePretty :: (MonadExpect m, Pretty a) => Parser e a -> Cmp e m a -> ExpectP e m a Source #

expectParseT :: MonadExpect m => (a -> Text) -> ParserT e m a -> Cmp e m a -> ExpectP e m a Source #

expectParseTPretty :: (MonadExpect m, Pretty a) => ParserT e m a -> Cmp e m a -> ExpectP e m a Source #

expectRendered :: MonadExpect m => Text -> ExpectP e m a -> ExpectP e m a Source #