Test.Looksee.Trip

Documentation

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

cmpEq :: (MonadTest m, Eq e, Show e, Eq a, Show a) => Cmp e m a

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

expectParse :: MonadTest m => (a -> Text) -> Parser e a -> Cmp e m a -> ExpectP e m a

expectParsePretty :: (MonadTest m, Pretty a) => Parser e a -> Cmp e m a -> ExpectP e m a

expectParseT :: MonadTest m => (a -> Text) -> ParserT e m a -> Cmp e m a -> ExpectP e m a

expectParseTPretty :: (MonadTest m, Pretty a) => ParserT e m a -> Cmp e m a -> ExpectP e m a

expectRendered :: MonadTest m => Text -> ExpectP e m a -> ExpectP e m a