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
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