codec-0.1.1: First-class record construction and bidirectional serialization

Safe HaskellNone
LanguageHaskell2010

Data.Codec.Testing

Contents

Synopsis

Testing

roundTrip :: ParseResult f => ConcreteCodec c f a -> a -> Either String a Source

Round-trip a value through a ConcreteCodec to an `Either String a`.

roundTripStorable :: Storable a => a -> IO a Source

Round-trip a value through its Storable instance.