bytes 0.17.4 → 0.17.5
raw patch · 2 files changed
+13/−8 lines, 2 filesdep −voiddep ~timePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: void
Dependency ranges changed: time
API changes (from Hackage documentation)
+ Data.Bytes.Get: ($dmensure) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ByteString
+ Data.Bytes.Get: ($dmgetByteString) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ByteString
+ Data.Bytes.Get: ($dmgetBytes) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ByteString
+ Data.Bytes.Get: ($dmgetLazyByteString) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int64 -> m ByteString
+ Data.Bytes.Get: ($dmgetWord16be) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word16
+ Data.Bytes.Get: ($dmgetWord16host) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word16
+ Data.Bytes.Get: ($dmgetWord16le) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word16
+ Data.Bytes.Get: ($dmgetWord32be) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word32
+ Data.Bytes.Get: ($dmgetWord32host) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word32
+ Data.Bytes.Get: ($dmgetWord32le) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word32
+ Data.Bytes.Get: ($dmgetWord64be) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word64
+ Data.Bytes.Get: ($dmgetWord64host) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word64
+ Data.Bytes.Get: ($dmgetWord64le) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word64
+ Data.Bytes.Get: ($dmgetWord8) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word8
+ Data.Bytes.Get: ($dmgetWordhost) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word
+ Data.Bytes.Get: ($dmisEmpty) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Bool
+ Data.Bytes.Get: ($dmremaining) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n, Remaining m ~ Remaining n) => m (Remaining m)
+ Data.Bytes.Get: ($dmskip) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ()
+ Data.Bytes.Put: ($dmflush) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => m ()
+ Data.Bytes.Put: ($dmputByteString) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => ByteString -> m ()
+ Data.Bytes.Put: ($dmputLazyByteString) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => ByteString -> m ()
+ Data.Bytes.Put: ($dmputWord16be) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word16 -> m ()
+ Data.Bytes.Put: ($dmputWord16host) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word16 -> m ()
+ Data.Bytes.Put: ($dmputWord16le) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word16 -> m ()
+ Data.Bytes.Put: ($dmputWord32be) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word32 -> m ()
+ Data.Bytes.Put: ($dmputWord32host) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word32 -> m ()
+ Data.Bytes.Put: ($dmputWord32le) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word32 -> m ()
+ Data.Bytes.Put: ($dmputWord64be) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word64 -> m ()
+ Data.Bytes.Put: ($dmputWord64host) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word64 -> m ()
+ Data.Bytes.Put: ($dmputWord64le) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word64 -> m ()
+ Data.Bytes.Put: ($dmputWord8) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word8 -> m ()
+ Data.Bytes.Put: ($dmputWordhost) :: forall (t :: (Type -> Type) -> Type -> Type) (n :: Type -> Type). (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word -> m ()
+ Data.Bytes.Serial: ($dmdeserialize) :: (Serial a, MonadGet m, GSerial (Rep a), Generic a) => m a
+ Data.Bytes.Serial: ($dmdeserializeBE) :: (SerialEndian a, MonadGet m, GSerialEndian (Rep a), Generic a) => m a
+ Data.Bytes.Serial: ($dmdeserializeLE) :: (SerialEndian a, MonadGet m, GSerialEndian (Rep a), Generic a) => m a
+ Data.Bytes.Serial: ($dmdeserializeWith) :: (Serial1 f, MonadGet m, GSerial1 (Rep1 f), Generic1 f) => m a -> m (f a)
+ Data.Bytes.Serial: ($dmgdeserializeBE) :: (GSerialEndian f, MonadGet m, GSerial f) => m (f a)
+ Data.Bytes.Serial: ($dmgdeserializeLE) :: (GSerialEndian f, MonadGet m, GSerial f) => m (f a)
+ Data.Bytes.Serial: ($dmgserializeBE) :: (GSerialEndian f, MonadPut m, GSerial f) => f a -> m ()
+ Data.Bytes.Serial: ($dmgserializeLE) :: (GSerialEndian f, MonadPut m, GSerial f) => f a -> m ()
+ Data.Bytes.Serial: ($dmserialize) :: (Serial a, MonadPut m, GSerial (Rep a), Generic a) => a -> m ()
+ Data.Bytes.Serial: ($dmserializeBE) :: (SerialEndian a, MonadPut m, GSerialEndian (Rep a), Generic a) => a -> m ()
+ Data.Bytes.Serial: ($dmserializeLE) :: (SerialEndian a, MonadPut m, GSerialEndian (Rep a), Generic a) => a -> m ()
+ Data.Bytes.Serial: ($dmserializeWith) :: (Serial1 f, MonadPut m, GSerial1 (Rep1 f), Generic1 f) => (a -> m ()) -> f a -> m ()
- Data.Bytes.Get: class (forall a b. Coercible a b => Coercible (m a) (m b), Integral (Remaining m), MonadFail m, Applicative m) => MonadGet m where {
+ Data.Bytes.Get: class (forall a b. Coercible a b => Coercible m a m b, Integral Remaining m, MonadFail m, Applicative m) => MonadGet (m :: Type -> Type) where {
- Data.Bytes.Get: ensure :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ByteString
+ Data.Bytes.Get: ensure :: MonadGet m => Int -> m ByteString
- Data.Bytes.Get: getByteString :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ByteString
+ Data.Bytes.Get: getByteString :: MonadGet m => Int -> m ByteString
- Data.Bytes.Get: getBytes :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ByteString
+ Data.Bytes.Get: getBytes :: MonadGet m => Int -> m ByteString
- Data.Bytes.Get: getLazyByteString :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int64 -> m ByteString
+ Data.Bytes.Get: getLazyByteString :: MonadGet m => Int64 -> m ByteString
- Data.Bytes.Get: getWord16be :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word16
+ Data.Bytes.Get: getWord16be :: MonadGet m => m Word16
- Data.Bytes.Get: getWord16host :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word16
+ Data.Bytes.Get: getWord16host :: MonadGet m => m Word16
- Data.Bytes.Get: getWord16le :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word16
+ Data.Bytes.Get: getWord16le :: MonadGet m => m Word16
- Data.Bytes.Get: getWord32be :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word32
+ Data.Bytes.Get: getWord32be :: MonadGet m => m Word32
- Data.Bytes.Get: getWord32host :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word32
+ Data.Bytes.Get: getWord32host :: MonadGet m => m Word32
- Data.Bytes.Get: getWord32le :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word32
+ Data.Bytes.Get: getWord32le :: MonadGet m => m Word32
- Data.Bytes.Get: getWord64be :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word64
+ Data.Bytes.Get: getWord64be :: MonadGet m => m Word64
- Data.Bytes.Get: getWord64host :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word64
+ Data.Bytes.Get: getWord64host :: MonadGet m => m Word64
- Data.Bytes.Get: getWord64le :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word64
+ Data.Bytes.Get: getWord64le :: MonadGet m => m Word64
- Data.Bytes.Get: getWord8 :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word8
+ Data.Bytes.Get: getWord8 :: MonadGet m => m Word8
- Data.Bytes.Get: getWordhost :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Word
+ Data.Bytes.Get: getWordhost :: MonadGet m => m Word
- Data.Bytes.Get: isEmpty :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => m Bool
+ Data.Bytes.Get: isEmpty :: MonadGet m => m Bool
- Data.Bytes.Get: remaining :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n, Remaining m ~ Remaining n) => m (Remaining m)
+ Data.Bytes.Get: remaining :: MonadGet m => m (Remaining m)
- Data.Bytes.Get: skip :: (MonadGet m, MonadTrans t, MonadGet n, m ~ t n) => Int -> m ()
+ Data.Bytes.Get: skip :: MonadGet m => Int -> m ()
- Data.Bytes.Get: type Bytes m :: *;
+ Data.Bytes.Get: type Bytes (m :: Type -> Type);
- Data.Bytes.Get: type Remaining m :: *;
+ Data.Bytes.Get: type Remaining (m :: Type -> Type);
- Data.Bytes.Put: class (Applicative m, Monad m) => MonadPut m
+ Data.Bytes.Put: class (Applicative m, Monad m) => MonadPut (m :: Type -> Type)
- Data.Bytes.Put: flush :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => m ()
+ Data.Bytes.Put: flush :: MonadPut m => m ()
- Data.Bytes.Put: putByteString :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => ByteString -> m ()
+ Data.Bytes.Put: putByteString :: MonadPut m => ByteString -> m ()
- Data.Bytes.Put: putLazyByteString :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => ByteString -> m ()
+ Data.Bytes.Put: putLazyByteString :: MonadPut m => ByteString -> m ()
- Data.Bytes.Put: putWord16be :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word16 -> m ()
+ Data.Bytes.Put: putWord16be :: MonadPut m => Word16 -> m ()
- Data.Bytes.Put: putWord16host :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word16 -> m ()
+ Data.Bytes.Put: putWord16host :: MonadPut m => Word16 -> m ()
- Data.Bytes.Put: putWord16le :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word16 -> m ()
+ Data.Bytes.Put: putWord16le :: MonadPut m => Word16 -> m ()
- Data.Bytes.Put: putWord32be :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word32 -> m ()
+ Data.Bytes.Put: putWord32be :: MonadPut m => Word32 -> m ()
- Data.Bytes.Put: putWord32host :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word32 -> m ()
+ Data.Bytes.Put: putWord32host :: MonadPut m => Word32 -> m ()
- Data.Bytes.Put: putWord32le :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word32 -> m ()
+ Data.Bytes.Put: putWord32le :: MonadPut m => Word32 -> m ()
- Data.Bytes.Put: putWord64be :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word64 -> m ()
+ Data.Bytes.Put: putWord64be :: MonadPut m => Word64 -> m ()
- Data.Bytes.Put: putWord64host :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word64 -> m ()
+ Data.Bytes.Put: putWord64host :: MonadPut m => Word64 -> m ()
- Data.Bytes.Put: putWord64le :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word64 -> m ()
+ Data.Bytes.Put: putWord64le :: MonadPut m => Word64 -> m ()
- Data.Bytes.Put: putWord8 :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word8 -> m ()
+ Data.Bytes.Put: putWord8 :: MonadPut m => Word8 -> m ()
- Data.Bytes.Put: putWordhost :: (MonadPut m, m ~ t n, MonadTrans t, MonadPut n) => Word -> m ()
+ Data.Bytes.Put: putWordhost :: MonadPut m => Word -> m ()
- Data.Bytes.Serial: class GSerial f
+ Data.Bytes.Serial: class GSerial (f :: Type -> Type)
- Data.Bytes.Serial: class GSerial1 f
+ Data.Bytes.Serial: class GSerial1 (f :: Type -> Type)
- Data.Bytes.Serial: class GSerialEndian f
+ Data.Bytes.Serial: class GSerialEndian (f :: Type -> Type)
- Data.Bytes.Serial: class Serial1 f
+ Data.Bytes.Serial: class Serial1 (f :: Type -> Type)
- Data.Bytes.Serial: class Serial2 f
+ Data.Bytes.Serial: class Serial2 (f :: Type -> Type -> Type)
- Data.Bytes.Serial: deserialize :: (Serial a, MonadGet m, GSerial (Rep a), Generic a) => m a
+ Data.Bytes.Serial: deserialize :: (Serial a, MonadGet m) => m a
- Data.Bytes.Serial: deserializeBE :: (SerialEndian a, MonadGet m, GSerialEndian (Rep a), Generic a) => m a
+ Data.Bytes.Serial: deserializeBE :: (SerialEndian a, MonadGet m) => m a
- Data.Bytes.Serial: deserializeLE :: (SerialEndian a, MonadGet m, GSerialEndian (Rep a), Generic a) => m a
+ Data.Bytes.Serial: deserializeLE :: (SerialEndian a, MonadGet m) => m a
- Data.Bytes.Serial: deserializeWith :: (Serial1 f, MonadGet m, GSerial1 (Rep1 f), Generic1 f) => m a -> m (f a)
+ Data.Bytes.Serial: deserializeWith :: (Serial1 f, MonadGet m) => m a -> m (f a)
- Data.Bytes.Serial: gdeserializeBE :: (GSerialEndian f, MonadGet m, GSerial f) => m (f a)
+ Data.Bytes.Serial: gdeserializeBE :: (GSerialEndian f, MonadGet m) => m (f a)
- Data.Bytes.Serial: gdeserializeLE :: (GSerialEndian f, MonadGet m, GSerial f) => m (f a)
+ Data.Bytes.Serial: gdeserializeLE :: (GSerialEndian f, MonadGet m) => m (f a)
- Data.Bytes.Serial: gserializeBE :: (GSerialEndian f, MonadPut m, GSerial f) => f a -> m ()
+ Data.Bytes.Serial: gserializeBE :: (GSerialEndian f, MonadPut m) => f a -> m ()
- Data.Bytes.Serial: gserializeLE :: (GSerialEndian f, MonadPut m, GSerial f) => f a -> m ()
+ Data.Bytes.Serial: gserializeLE :: (GSerialEndian f, MonadPut m) => f a -> m ()
- Data.Bytes.Serial: restore :: forall m a. (MonadGet m, Storable a) => m a
+ Data.Bytes.Serial: restore :: (MonadGet m, Storable a) => m a
- Data.Bytes.Serial: serialize :: (Serial a, MonadPut m, GSerial (Rep a), Generic a) => a -> m ()
+ Data.Bytes.Serial: serialize :: (Serial a, MonadPut m) => a -> m ()
- Data.Bytes.Serial: serializeBE :: (SerialEndian a, MonadPut m, GSerialEndian (Rep a), Generic a) => a -> m ()
+ Data.Bytes.Serial: serializeBE :: (SerialEndian a, MonadPut m) => a -> m ()
- Data.Bytes.Serial: serializeLE :: (SerialEndian a, MonadPut m, GSerialEndian (Rep a), Generic a) => a -> m ()
+ Data.Bytes.Serial: serializeLE :: (SerialEndian a, MonadPut m) => a -> m ()
- Data.Bytes.Serial: serializeWith :: (Serial1 f, MonadPut m, GSerial1 (Rep1 f), Generic1 f) => (a -> m ()) -> f a -> m ()
+ Data.Bytes.Serial: serializeWith :: (Serial1 f, MonadPut m) => (a -> m ()) -> f a -> m ()
- Data.Bytes.Signed: type family Signed i :: *
+ Data.Bytes.Signed: type family Signed i
Files
- CHANGELOG.markdown +5/−0
- bytes.cabal +8/−8
CHANGELOG.markdown view
@@ -1,3 +1,8 @@+0.17.5 [2026.01.10]+-------------------+* Allow building with `time-1.15.*` (GHC 9.14).+* Remove unused `void` dependency.+ 0.17.4 [2024.12.04] ------------------- * Require building with GHC 8.0 or later.
bytes.cabal view
@@ -1,6 +1,6 @@ name: bytes category: Data, Serialization-version: 0.17.4+version: 0.17.5 license: BSD3 cabal-version: >= 1.10 license-file: LICENSE@@ -20,10 +20,11 @@ , GHC == 9.0.2 , GHC == 9.2.8 , GHC == 9.4.8- , GHC == 9.6.6+ , GHC == 9.6.7 , GHC == 9.8.4- , GHC == 9.10.1- , GHC == 9.12.1+ , GHC == 9.10.3+ , GHC == 9.12.2+ , GHC == 9.14.1 synopsis: Sharing code for serialization between binary and cereal description: Sharing code for serialization between binary and cereal. @@ -37,7 +38,7 @@ source-repository head type: git- location: git://github.com/ekmett/bytes.git+ location: https://github.com/ekmett/bytes.git library build-depends:@@ -49,12 +50,11 @@ containers >= 0.3 && < 1, hashable >= 1.0.1.1 && < 1.6, text >= 0.2 && < 2.2,- time >= 1.2 && < 1.13,+ time >= 1.2 && < 1.16, transformers >= 0.2 && < 0.7, transformers-compat >= 0.6.5 && < 1, unordered-containers >= 0.2 && < 0.3,- scientific >= 0.0 && < 1,- void >= 0.6 && < 1+ scientific >= 0.0 && < 1 exposed-modules: Data.Bytes.Get