| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Codec.Testing
Contents
- class ParseResult f where
- roundTrip :: ParseResult f => ConcreteCodec c f a -> a -> Either String a
- roundTripStorable :: Storable a => a -> IO a
Testing
class ParseResult f where
Instances
| ParseResult Maybe | |
| ParseResult Result | |
| ParseResult (Either String) |
roundTrip :: ParseResult f => ConcreteCodec c f a -> a -> Either String a
Round-trip a value through a ConcreteCodec to an `Either String a`.
roundTripStorable :: Storable a => a -> IO a
Round-trip a value through its Storable instance.