packages feed

hset 0.1.1 → 0.1.2

raw patch · 3 files changed

+9/−1 lines, 3 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.HSet: instance (GHC.Classes.Eq e, GHC.Classes.Eq (Data.HSet.HSet els)) => GHC.Classes.Eq (Data.HSet.HSet (e : els))
- Data.HSet: instance (GHC.Classes.Ord e, GHC.Classes.Ord (Data.HSet.HSet els)) => GHC.Classes.Ord (Data.HSet.HSet (e : els))
- Data.HSet: instance (GHC.Show.Show e, GHC.Show.Show (Data.HSet.HSet els)) => GHC.Show.Show (Data.HSet.HSet (e : els))
- Data.HSet: instance (i ~ Data.HSet.TypeLevel.Index e els, 'Data.HSet.TypeLevel.S i ~ Data.HSet.TypeLevel.Index e (e1 : els), Data.HSet.HGet els e i) => Data.HSet.HGet (e1 : els) e ('Data.HSet.TypeLevel.S i)
- Data.HSet: instance Data.HSet.HGet (e : els) e 'Data.HSet.TypeLevel.Z
- Data.HSet: instance GHC.Classes.Eq (Data.HSet.HSet '[])
- Data.HSet: instance GHC.Classes.Ord (Data.HSet.HSet '[])
- Data.HSet: instance GHC.Show.Show (Data.HSet.HSet '[])
- Data.HSet.Labeled: [unLabeled] :: Labeled -> typ
- Data.HSet.Labeled: instance forall (k :: BOX) (label :: k) typ. GHC.Classes.Eq typ => GHC.Classes.Eq (Data.HSet.Labeled.Labeled label typ)
- Data.HSet.Labeled: instance forall (k :: BOX) (label :: k) typ. GHC.Classes.Ord typ => GHC.Classes.Ord (Data.HSet.Labeled.Labeled label typ)
- Data.HSet.Labeled: instance forall (k :: BOX) (label :: k) typ. GHC.Show.Show typ => GHC.Show.Show (Data.HSet.Labeled.Labeled label typ)
+ Data.HSet: instance (Eq e, Eq (HSet els)) => Eq (HSet (e : els))
+ Data.HSet: instance (Ord e, Ord (HSet els)) => Ord (HSet (e : els))
+ Data.HSet: instance (Show e, Show (HSet els)) => Show (HSet (e : els))
+ Data.HSet: instance (i ~ Index e els, 'S i ~ Index e (e1 : els), HGet els e i) => HGet (e1 : els) e ('S i)
+ Data.HSet: instance Eq (HSet '[])
+ Data.HSet: instance HGet (e : els) e 'Z
+ Data.HSet: instance Ord (HSet '[])
+ Data.HSet: instance Show (HSet '[])
+ Data.HSet: instance Typeable HSet
+ Data.HSet.Labeled: instance Eq typ => Eq (Labeled label typ)
+ Data.HSet.Labeled: instance Ord typ => Ord (Labeled label typ)
+ Data.HSet.Labeled: instance Show typ => Show (Labeled label typ)
+ Data.HSet.Labeled: instance Typeable Labeled
+ Data.HSet.Labeled: unLabeled :: Labeled -> typ
- Data.HSet: HSNil :: HSet '[]
+ Data.HSet: HSNil :: HSet []
- Data.HSet: class (i ~ (Index e els)) => HGet els e i
+ Data.HSet: class i ~ (Index e els) => HGet els e i
- Data.HSet: haskLabeled :: (Contains els (Labeled label e), MonadReader (HSet els) m) => proxy label -> m e
+ Data.HSet: haskLabeled :: (Contains els (Labeled label e), MonadReader (HSet els) m, Applicative m) => proxy label -> m e
- Data.HSet: hgetLabeled :: (Contains els (Labeled label e)) => proxy label -> HSet els -> e
+ Data.HSet: hgetLabeled :: Contains els (Labeled label e) => proxy label -> HSet els -> e

Files

CHANGELOG.md view
@@ -1,5 +1,9 @@ # CHANGELOG +## 0.1.2+### Added+* Facepalm `Applicative` constraint+ ## 0.1.1 ### Added * DeriveDataTypeable to default-extensions
hset.cabal view
@@ -1,5 +1,5 @@ name:                hset-version:             0.1.1+version:             0.1.2 synopsis:            Primitive heterogenous read-only set license:             BSD3 license-file:        LICENSE
src/Data/HSet.hs view
@@ -104,6 +104,10 @@   in unLabeled (x :: Labeled label e)  haskLabeled :: forall proxy label e els m.+#if MIN_VERSION_base(4, 8, 0)             (Contains els (Labeled label e), MonadReader (HSet els) m)+#else+            (Contains els (Labeled label e), MonadReader (HSet els) m, Applicative m)+#endif             => proxy label -> m e haskLabeled p = hgetLabeled p <$> ask