All Versions
15
Latest Version
Avg Release Cycle
79 days
Latest Release
1359 days ago

Changelog History
Page 2

  • v1.0.4 Changes

    August 29, 2018
    • 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).

  • v1.0.3 Changes

    August 24, 2018
    • Move lemmaMul from Vector to NatRepr.
    • Add stricter role annotations:
      • NatRepr is nominal.
      • Vector is nominal in the first parameter and representational in the second.
    • Data.Parameterized.NatRepr
      • Provide a backdoor for directly creating NatRepr values. Use carefully.
    • Data.Parameterized.Vector
      • Add Show and Eq instances
      • Add functions: joinWithM, reverse

  • v1.0.2 Changes

    August 23, 2018
    • Allow function passed to traverseF_, traverseFC_, and forMFC_ to return a value instead of null (()).
    • Data.Parameterized.Vector
      • Newly added module. A fixed-size vector of typed elements.
    • Data.Parameterized.Utils.Endian
      • Newly added module. Used in Vector.

  • v1.0.1 Changes

    August 13, 2018

    Baseline for changelog tracking.

  • v1.0.0

    December 19, 2017