extensible 0.9.1 → 0.9.2
raw patch · 5 files changed
+11/−5 lines, 5 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.Extensible.Bits: instance forall v k r (h :: v -> GHC.Types.Type) (x :: Type.Membership.Internal.Assoc k v). (GHC.Bits.Bits r, Data.Extensible.Bits.FromBits r (h (Type.Membership.TargetOf x))) => Data.Extensible.Bits.FromBits r (Data.Extensible.Field.Field h x)
+ Data.Extensible.Bits: instance forall v k r (h :: v -> GHC.Types.Type) (x :: Type.Membership.Internal.Assoc k v). (GHC.Bits.Bits r, GHC.TypeNats.KnownNat (Data.Extensible.Bits.BitWidth (h (Type.Membership.TargetOf x))), Data.Extensible.Bits.FromBits r (h (Type.Membership.TargetOf x))) => Data.Extensible.Bits.FromBits r (Data.Extensible.Field.Field h x)
Files
- CHANGELOG.md +5/−0
- extensible.cabal +2/−2
- src/Data/Extensible/Bits.hs +1/−1
- src/Data/Extensible/Dictionary.hs +1/−1
- src/Data/Extensible/Field.hs +2/−1
CHANGELOG.md view
@@ -1,3 +1,8 @@+0.9.2+------------------------------------------------++* Supported GHC 9.10 ([#40](https://github.com/fumieval/extensible/pull/40) by [@miguel-negrao](https://github.com/miguel-negrao))+ 0.9.1 ------------------------------------------------
extensible.cabal view
@@ -1,6 +1,6 @@ cabal-version: 2.4 name: extensible-version: 0.9.1+version: 0.9.2 synopsis: Extensible, efficient, optics-friendly data types and effects homepage: https://github.com/fumieval/extensible bug-reports: http://github.com/fumieval/extensible/issues@@ -16,7 +16,7 @@ category: Data, Records build-type: Simple stability: experimental-Tested-With: GHC == 8.10.7, GHC == 9.0.1, GHC == 9.2.1+Tested-With: GHC == 8.10.7, GHC == 9.0.1, GHC == 9.2.1, GHC == 9.10.1 extra-source-files: examples/*.hs
src/Data/Extensible/Bits.hs view
@@ -138,7 +138,7 @@ fromBits = Const . fromBits toBits = toBits . getConst -instance (Bits r, FromBits r (h (TargetOf x))) => FromBits r (Field h x) where+instance (Bits r, KnownNat (BitWidth (h (TargetOf x))), FromBits r (h (TargetOf x))) => FromBits r (Field h x) where type BitWidth (Field h x) = BitWidth (h (TargetOf x)) fromBits = Field . fromBits toBits = toBits . getField
src/Data/Extensible/Dictionary.hs view
@@ -3,7 +3,7 @@ {-# LANGUAGE TypeFamilies, ScopedTypeVariables #-} {-# LANGUAGE UndecidableInstances, MultiParamTypeClasses #-} {-# LANGUAGE UndecidableSuperClasses #-}-{-# LANGUAGE TypeInType #-}+{-# LANGUAGE PolyKinds #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE InstanceSigs #-} {-# OPTIONS_GHC -fno-warn-orphans #-}
src/Data/Extensible/Field.hs view
@@ -4,7 +4,8 @@ {-# LANGUAGE ScopedTypeVariables, TypeFamilies #-} {-# LANGUAGE CPP #-} {-# LANGUAGE TemplateHaskell #-}-{-# LANGUAGE UndecidableSuperClasses, TypeInType #-}+{-# LANGUAGE UndecidableSuperClasses #-}+{-# LANGUAGE PolyKinds #-} ----------------------------------------------------------------------------- -- | -- Module : Data.Extensible.Field