witness
values that witness types
https://github.com/AshleyYakeley/witness
Version on this page: | 0.4 |
LTS Haskell 22.26: | 0.6.2 |
Stackage Nightly 2024-06-22: | 0.6.2 |
Latest on Hackage: | 0.6.2 |
This version can be pinned in stack with:
witness-0.4@sha256:1fb17e6257589e8c3f3c5dc839d09ab312a576ca5d3d75d1ba69f8783257acac,1827
Module documentation for 0.4
- Control
- Control.Category
- Control.Category.Tensor
- Control.Category
- Data
- Data.Nat
- Data.Witness
- Data.Witness.Any
- Data.Witness.List
- Data.Witness.ListElement
- Data.Witness.Nat
- Data.Witness.Representative
- Data.Witness.WitnessDict
- Data.Witness.WitnessFDict
Depends on 4 packages(full list with versions):
Used by 1 package in nightly-2017-05-10(full list with versions):