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