Changelog of @hackage/witness 0.7

[0.7] - UNRELEASED

  • listProductSequence, matchListProduct
  • sequenceComposeListType
  • mapAllFor
  • fix for GHC 9.10

[0.6.2] - 2023-07-25

  • withAllConstraint, withSomeAllConstraint
  • listTypeToListM, listTypeForList, listTypeFind
  • fixedListLength, fixedListGenerate, Eq FixedList

[0.6.1] - 2022-09-12

  • new ListLength type family and associated functions
  • new Greater type family and associated functions
  • new FixedList type indexed by PeanoNat
  • new ListElement functions
  • new OrderedWitnessMapFor and OrderedWitnessMapOf types
  • new functions:
    • someForToSome

[0.6] - 2022-05-08

  • reorganise modules
  • rename types and functions
  • additional functionality

[0.5] - 2020-09-22