« Changelog History


parameterized-utils v1.0.3 Release Notes

Release Date: 2018-08-24 // over 5 years ago
    • 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