extensible

Extensible, efficient, optics-friendly data types and effects

https://github.com/fumieval/extensible

Version on this page:0.4.7
LTS Haskell 23.28:0.9.2
Stackage Nightly 2024-12-09:0.9.2
Latest on Hackage:0.9.2

See all snapshots extensible appears in

BSD-3-Clause licensed by Fumiaki Kinoshita
Maintained by Fumiaki Kinoshita
This version can be pinned in stack with:extensible-0.4.7@sha256:48aaa510f10a9abe6d1cb7faf0471c8e86bf3f35e87bec91f220c9a309d4dc8e,2613

Module documentation for 0.4.7

extensible

Build Status Hackage

This package provides extensible poly-kinded records, variants and effects.

Several tutorials can be found at School of Haskell.

Bug reports and contributions are welcome!

Changes

0.4.7

  • Made various optimisations to improve the compilation time
  • Added trivial instances for FromBits
  • Generalised the API of Data.Extensible.GetOpt

0.4.6

  • New module Data.Extensible.GetOpt
  • Added fromBitProd
  • Added Hashable instances for :*, :|, BitProd, Membership, and various wrappers
  • Added an Unbox instance for :*
  • Added hfoldlWithIndex and hfoldlWithIndexFor

0.4.5

  • Added nothingEff
  • Added happend
  • Added Arbitrary instances for :*, :|, and wrappers
  • Added Data.Extensible.Bits

0.4.4

  • Added contEff and runContEff
  • Added castEff
  • Added evalStateEff
  • Added Semigroup and Monoid instances for Match, Comp, Prod
  • Added evalStateDef, execStateDef, and execWriterDef
  • Added mkFieldAs
  • Added a Bounded instance for :*

0.4.3

  • Added WrappedPointer
  • Added NFData and Generic instances for Comp
  • Added a Semigroup instance for h :* xs and Membership xs x
  • Added Prod
  • Added peelEff0
  • Changed the IsLabel instance so that a function is always inferred as an optic
  • Data.Extensible.Class now exports compareMembership
  • Renamed runMembership to leadership

0.4.2

  • Made newFrom strict
  • pieceAt for (:*) is now strict
  • Added (<!)
  • Added peelEff1, peelAction0, execStateEff, execWriterEff
  • Added atomic operations for Struct
  • Added constrained variants of folds

0.4.1

  • Added hforce
  • Added an NFData instance for (:*) and :|
  • Added a rule to fuse a chain of product updates
  • Added a Monoid instance for TangleT
  • Added (@==)
  • #foo can now be overloaded as FieldOptic "foo"

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

  • 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