0.4
- Added
Data.Extensible.Struct
- Changed the representation of
(:*)
to use SmallArray
- Removed
(<:*)
. hhead
, htail
, huncons
, (*++*)
, htrans
- New functions:
hfoldrWithIndex
, hrepeat
, hrepeatFor
, haccumMap
,
haccum
, hpartition
, henumerate
, hlength
, hcount
- Added various derived instances for
Field
- Added
liftField
, liftField2
- Added
Wrapper
instances for Maybe
and []
- Added
>:
as a synonym for :>
Data.Extensible.Effect
- Refined the API
- Added
Data.Extensible.Effect.Default
- Added
Data.Extensible.Tangle
- Added
record
- Type inference aids
0.3.7.1
pieceAt
for (:*)
is now index-preserving
- Removed
sector
, sectorAt
, picked
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
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