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