« Changelog History


parameterized-utils v1.0.4 Release Notes

Release Date: 2018-08-29 // over 5 years ago
    • Data.Parameterized.Context
      • Add traverseAndCollect. Allows traversal of an Assignment in order from left to right, collecting the results of a visitor function monoidically.
    • Data.Parameterized.DecidableEq
      • Newly added module. The DecidableEq class represents decideable equality on a type family as a superclass of TestEquality, where the latter cannot provide evidence of non-equality.
    • Data.Parameterized.NatRepr
      • Add DecidableEq instance for NatRepr.
      • Add functions:
        • decideLeq
        • isZeroOrGT1
        • lessThanIrreflexive
        • lessThanAsymmetric
        • natRecStrong -- recursor with strong induction
        • natRecBounded -- bounded recursor
        • natFromZero
    • Data.Parameterized.Vector
      • Add construction functions: singleton, cons, snoc, generate, and generateM
      • Add functions: splitWithA (applicative splitWith).