« Changelog History


parameterized-utils v2.0 Release Notes

Release Date: 2019-04-10 // about 5 years ago
    • 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.