hset

Primitive list with elements of unique types. https://bitbucket.org/s9gf4ult/hset

LTS Haskell 8.20:2.2.0
Stackage Nightly 2017-06-23:2.2.0
Latest on Hackage:2.2.0
BSD3 licensed by s9gf4ult

Changes

TODO

  • HDiff typeclass to authomatically calculate difference between two hsets
  • Use Data.Map TypeRep Dynamic as internal representation of hset to increase access speed to arbitrary fields
  • Add lens support

CHANGELOG

2.2.0

Removed

  • Module Data.HSet.TypeLevel removed

Changed

  • added dependency on type-fun
  • code rewritten with use of type-fun instead of TypeLevel
  • type class SubHSet simplified for constraint solver happiness

Added

  • AllHGettable typefamily for convenience

2.1.0

Changed

  • hgetTagged moved to module Data.HSet.Get
  • fixed fundep of HModify

Added

  • functions to work with tagged types in Data.HSet.Modify
  • type families to work with type lists, like Union Replace TagElem

2.0.0

Changed

  • HGetable renamed to HGettable because of popular grammar nazi demand.
  • Monolithic module Data.HSet is splitted to submodules
  • HSet is now lazy on it's tail because it must be ... I suppose.

Added

  • NFData instance for HSet
  • HRemove typeclass to remove specific element from HSet by index
  • HUnion typeclass to merge two subsets
  • HModify typeclass to modify value and type of arbitrary element of HSet

Deleted

  • mtl dependency dropped in favor of using lens combinators for MonadReader and MonadState

1.1.0

Added

  • SubHSet typeclass and instances to, yes, get arbitrary subhsets of arbitrary hset.
  • More type level fun for future stuff.

1.0.1

Changed

  • Grammar nazi fixed horrible bugs

1.0.0

Changed

  • type family Contains renamed to HGetable to not clash names with lens

0.1.2

Added

  • Facepalm Applicative constraint

0.1.1

Added

  • DeriveDataTypeable to default-extensions

0.1.0

Added

  • Labeled: newtype wrapper with anonymous type parameter of any kind. Usefull if you want just put several same-typed things to hset
  • Instances of Show, Eq, Ord for HSet
  • Tests added

Updated

  • TypeLevel is polykinded now
  • base restricted up to >= 4.7
  • HSet is strict now
  • Docs improved

0.0.3

Added

  • Export typefamily Contains
  • Export hask

Updated

  • Make it compilable on base < 4.8

0.0.2

Added

  • Add hask to read from MonadReaer

0.0.1

The first compilable and working version

Depends on:
comments powered byDisqus