hset 0.0.2 → 0.0.3
raw patch · 3 files changed
+15/−2 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 (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: hask :: (MonadReader (HSet els) m, Contains els e) => m e
+ 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 HGet (e : els) e 'Z
+ Data.HSet: type Contains els e = HGet els e (Index e els)
- 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
Files
- CHANGELOG.md +7/−0
- hset.cabal +3/−2
- src/Data/HSet.hs +5/−0
CHANGELOG.md view
@@ -6,3 +6,10 @@ ## 0.0.2 ### Added * Add `hask` to read from MonadReaer++## 0.0.3+### Added+* Export typefamily `Contains`+* Export `hask`+### Updated+* Make it compilable on base < 4.8
hset.cabal view
@@ -1,5 +1,5 @@ name: hset-version: 0.0.2+version: 0.0.3 synopsis: Primitive heterogenous read-only set license: BSD3 license-file: LICENSE@@ -25,7 +25,8 @@ build-depends: base >=4.6 && < 5 , mtl - default-extensions: ConstraintKinds+ default-extensions: CPP+ , ConstraintKinds , DataKinds , FlexibleContexts , FlexibleInstances
src/Data/HSet.hs view
@@ -1,10 +1,15 @@ module Data.HSet ( HSet(..) , HGet(..)+ , Contains+ , hask ) where import Control.Monad.Reader import Data.HSet.TypeLevel+#if !(MIN_VERSION_base(4, 8, 0))+import Control.Applicative+#endif -- | Heterogeneous set (list) of elements with unique types. Usefull -- with MonadReader