Used by 1 package in nightly-2022-05-20(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] - 2022-05-08

  • reorganise modules
  • rename types and functions
  • additional functionality

[0.5] - 2020-09-22