All Versions
Latest Version
Avg Release Cycle
79 days
Latest Release
1040 days ago

Changelog History
Page 1

  • v2.1.1 Changes

    July 30, 2020
    • Added drop and appendEmbeddingLeft functions to the Context module.
    • Fixes/updates to haddock documentation (fixing Issue #74).
    • Allow tasty v1.3 for testing (thanks to felixonmars)
  • v2.1.0 Changes

    May 22, 2020
    • Added plusAssoc to the NatRepr module to produce + associativity evidence.
    • Changed the HashTable module to use the Basic instead of the Cuckoo implementation strategy.
    • Added explicit kind parameters to various definitions to support GHC 8.10's adoption of proposal 103. This is a modification to the type signatures which may impact backward-compatibility and require updates, especially for any uses of TypeApplications.
    • No longer verifying support for GHC 8.2 or earlier.
    • Updated the minimum cabal version to 1.10 and specify the default-language as Haskell2010.
  • v2.0.2 Changes

    February 10, 2020
    • Add the dropPrefix operation to Context which splits an Assignment.
    • Add intersectWithKeyMaybe and mergeWithKey to Map.
    • Add mapAt, mapAtM, and replace to Vector.
    • Add dependency on base-orphans to handle the TestEquality instance for Compose; needed for GHC 8.10.
    • Bump upper limit of lens dependency to allow 4.19.
  • v2.0.1 Changes

    November 06, 2019
    • Documentation updates
    • Dependency constraint updates: constraints, lens, th-abstraction, hashable, hashtables, and vector.
    • Now supports building under GHC 8.8.1.
    • Added monadic folds and more traversals:
      • lazy folds: foldlMF, foldrMF, foldlMFC, foldrMFC
      • strict folds: foldlMF', foldrMF', foldlMFC', foldrMFC'
      • forF, forF_
      • forFC, forFC_
      • lengthF
    • Added monadic folds, ascending or descending list conversions to Parameterized.Map:
      • Added monadic folds: foldlMWithKey, foldrMWithKey
      • Added ascending or descending list conversions: toAscList (equivalent to existing toList) and toDescList.
      • Added findWithDefault to lookup a key or return a default value.
      • Added traverseMaybeWithKey.
      • Fixes traverse to do an in-order rather than a pre-order traversal.
    • Added the Data.Parameterized.All module for universal quantification/parametricity over a type variable.
    • Additions to Data.Parameterized.Context:
      • Added IndexView type and viewIndex functions.
      • Added addDiff function to explicitly describe the (flipped) binary operator for the Diff instance of the Category class from Control.Category.
      • Added traverseWithIndex_
    • Added Data.Parameterized.DataKind providing the PairRepr type with associated fst and snd functions.
    • Added TypeAp to Data.Parameterized.Classes
    • Added runSTNonceGenerator to Data.Parameterized.Nonce for a global ST generator.
    • Added a Hashable instance for list Index l x types.
    • Changes in GADT TH code generator:
      • Added structuralHashWithSalt to
      • Fixed off by one bug in output
      • Fixed generation and constructor generation to use constructor type arguments, not type parameters.
    • The Some type is now an instance of FunctorF, FoldableF, and TraversableF.
    • Adjusted structuralShowsPrec precedence to match GHC derived Show instances.
    • The Data.Parameterized.Nonce.Unsafe module is now deprecated: clients should switch to Data.Parameterized.Nonce.
  • v2.0.1.0

    November 07, 2019
  • v2.0 Changes

    April 10, 2019
    • Drop support for GHC versions prior to GHC 8.2
    • Various Haddock and module updates.
    • Data.Parameterized.Classes
      • Added function: ordFCompose
      • Added OrdF instance for Compose
    • Data.Parameterized.ClassesC
      • Marked as Safe haskell via pragma
      • Added OrdC instance for Some
    • Data.Parameterized.Compose
      • Update testEqualityComposeBare to be more kind-polymorphic.
      • Marked as Safe haskell via pragma
    • Data.Parameterized.Context
      • Added diffIsAppend function to extract the contextual difference between two Contexts (as a Diff) as an IsAppend (new) data value if the left is a sub-context of the right.
    • Data.Parameterized.NatRepr
      • Change runtime representation from Int to Natural
      • Add function intValue to recover an Int from a NatRepr.
      • Add constructor function mkNatRepr to construct a NatRepr from a Natural.
      • Removed awkward backdoor for directly creating NatRepr values; the single needed internal usage is now handled internally.
    • Data.Parameterized.Peano
      • Newly added module.
      • Defines a type Peano and PeanoRepr for representing a type-level natural at runtime.
      • The runtime representation of PeanoRepr is Word64
      • Has both safe and unsafe implementations.
    • Data.Parameterized.WithRepr
      • Newly added module.
      • This module declares a class IsRepr with a single method withRepr that can be used to derive a 'KnownRepr' constraint from an explicit 'Repr' argument. Clients of this method need only create an empty instance. The default implementation suffices.
  • v1.0.8 Changes

    February 01, 2019
    • Data.Parameterized.Map
      • Fixed MapF functions filter and filterWithKey
      • Added MapF function: mapWithKey
    • Data.Parameterized.NatRepr
      • Un-deprecate withKnownNat
    • Data.Parameterized.Context
      • Updated some haddock documentation (esp. CtxEmbedding data structure).
    • Data.Parameterized.Nonce
      • Fixed newIONonceGenerator haddock documentation (IO monad, not ST monad).
      • Added countNoncesGenerated for profiling Nonce usage.
    • Data.Parameterized.TraversableF
      • Added FunctorF, FoldableF, and TraversableF instances for Compose from Data.Functor.Compose
    • Data.Parameterized.ClassesC
      • Newly added module.
      • Declares TestEqualityC and OrdC classes for working with types that have kind (k -> *) -> * for any k.
    • Data.Parameterized.Compose
      • Newly added module.
      • Orphan instance and testEqualityComposeBare function for working with Data.Functor.Compose.
    • Data.Parameterized.TestEquality
      • Newly added module.
      • Utilities for working with Data.Type.TestEquality.
  • v1.0.7 Changes

    November 17, 2018
    • Data.Parameterized.Map
      • Added MapF functions:
        • filter
        • filterWithKey
  • v1.0.6 Changes

    November 19, 2018
    • Add support for GHC 8.6.
    • Data.Parameterized.Map
      • Added functions:
        • foldlWithKey and foldlWithKey' (strict)
        • foldrWithKey and foldrWithKey' (strict)
        • mapMaybeWithKey
  • v1.0.5 Changes

    September 04, 2018
    • Data.Parameterized.Context
      • Add function: take, appendEmbedding, appendDiff
      • Diff is type role nominal in both parameters.