parameterized-utils v1.0.8 Release Notes

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