0.3.7

• Support GHC 8.0
• Added a Monoid instance for Field
• Added Data.Extensible.Record
• Added Enum and Bounded instances for Proxy :| xs
• Removed Data.Extensible.Union

0.3.6

• Added (@:>)
• Added (!-!!), nihility, squash

0.3.5

• Added Data.Extensible.Effect
• Added decEffects

0.3.4

• Added Data.Extensible.Wrapper
• Added itemAt, item, itemAssoc
• Safe Haskell
• Generalized Field

0.3.3

• Renamed sectorAt, sector, sectorAssoc to pieceAt, piece, pieceAssoc, respectively
• picked is now subsumed by piece
  • mkField yields more generalized optics
• Renamed UnionAt to EmbedAt
• Removed clause; Use piece . _Match
• Removed record; Use piece . _K0
• Added htraverseWithIndex
• Renamed ord to mkMembership
• Fixed the Show instance of :|
• Added Variant

0.3.2

• Added Associate class and combinators around it
• Data.Extensible.Record now lets values be independent from keys
  • mkField requires 1 argument
• Added Data.Extensible.Union, partially taking elevator’s functionality
• Removed old Data.Extensible.Union and Data.Extensible.League
• Removed (<?!)

0.3.1

• Removed Reifiable
• Now library yields desired dictionaries
• Added remember
• Added strike and strikeAt

0.3

• Renamed generate to htabulate
• Renamed generateA to hgenerate
• Renamed generateFor to htabulateFor
• Renamed generateForA to hgenerateFor
• Renamed htabulate to hmapWithIndex
• Added (<@=>)
• Added Comp
• Fixed badly-specialized htraverse
• Added hsequence, hdistribute, hcollect
• Added hindex

0.2.10

• Optimized sector (~2x)

0.2.9

• Renamed (<?~) to (<?!$)
• Renamed (<$?~) to (<?!~)
• Refactored Data.Extensible.Dictionary
• Supported serialization/deserialization of products using binary

0.2.8

• Improved performance considerably

0.2.7

• Added accessing
• Added decFields and decFieldsDeriving
• Renamed Position to Membership

0.2.6

• Right-associated (++)
• Added htrans
• Added recordType
• Made Eq, Ord, Show instances for Position more reasonable

0.2.5

• Added (<:)
• Re-exported Data.Extensible.Record, Data.Extensible.Union, Data.Extensible.League
• Brushed instances up
• Added subset
• Added Data.Extensible.Internal.HList and combinators

0.2.4

• Corrected the definition of Half
• Added coinclusion, wrench, retrench along with Nullable
• Added htabulate

0.2.3

• Corrected the behavior of Generate and Forall
• Made type errors more readable
• Added (*++*)
• Fixed the accidental miscall of getUnion

0.2.2

• Added recordAt
• Added ord
• Re-added K1
• Toggled INLINE pragmas

0.2.1

• Added hhead and htail
• Changed the definition of Union to use coyoneda style

0.2

• Split modules up
• Flipped Position
• Added several combinators