Test.Dahdit.Daytripper

Documentation

type Cmp m a = Maybe a -> Either GetError a -> m ()

expectCodec :: (MonadTest m, MonadIO m, Binary a) => Cmp m a -> Expect m a ByteString (Either GetError a)

expectCodecOk :: (MonadTest m, MonadIO m, Binary a, Eq a, Show a) => Expect m a ByteString (Either GetError a)

expectCodecErr :: (MonadTest m, MonadIO m, Binary a) => Expect m a ByteString (Either GetError a)

expectBytes :: MonadTest m => [Word8] -> Expect m a ByteString c -> Expect m a ByteString c

expectText :: MonadTest m => Text -> Expect m a ByteString c -> Expect m a ByteString c

expectStatic :: (MonadTest m, StaticByteSized a) => Expect m a ByteString c -> Expect m a ByteString c