BSD-2-Clause licensed by Ashley Yakeley
Maintained by <[email protected]>
This version can be pinned in stack with:witness-0.6.1@sha256:b522cb9e4d6eea7cb6361c50ec330ecc82d69596f57dbdff1dcee2127b557adc,3690
Used by 2 packages in nightly-2023-06-08(full list with versions):

A witness is a value that witnesses some sort of constraint on some list of type variables. This library provides support for a wide variety of witness types. It also provides classes for representatives, which are values that represent types.

Changes

[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