@hackage / witness

values that witness types

Latest0.7

About

Metadata

  • Last updated , by AshleyYakeley
  • License BSD-2-Clause

  • Maintained by: <ashley@semantic.org>

  • Lottery factor: 1

Links

Installation

Tested Compilers

  1. 9.10.1
  2. 9.8.4

Readme

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.