witness: values that witness types
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.
Modules
[Index] [Quick Jump]
- Data
- Data.PeanoNat
- Type
- Data.Type.Witness
- Data.Type.Witness.Apply
- General
- Data.Type.Witness.General.AllConstraint
- Data.Type.Witness.General.Finite
- Data.Type.Witness.General.HetConstraint
- Data.Type.Witness.General.ListElement
- Data.Type.Witness.General.Order
- Data.Type.Witness.General.Representative
- Data.Type.Witness.General.TestHetEquality
- Data.Type.Witness.General.WitnessConstraint
- Data.Type.Witness.General.WitnessValue
- Specific
- Data.Type.Witness.Specific.All
- Data.Type.Witness.Specific.ApplyStack
- Data.Type.Witness.Specific.Concat
- Data.Type.Witness.Specific.Either
- Data.Type.Witness.Specific.Empty
- Data.Type.Witness.Specific.FiniteAllFor
- Data.Type.Witness.Specific.FixedList
- List
- Data.Type.Witness.Specific.Natural
- OrderedWitnessMap
- Data.Type.Witness.Specific.Pair
- Data.Type.Witness.Specific.PeanoNat
- Data.Type.Witness.Specific.Single
- Data.Type.Witness.Specific.Some
- Data.Type.Witness.Specific.Symbol
- WitnessMap
- Data.Type.Witness
Downloads
- witness-0.6.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.2, 0.3, 0.3.0.1, 0.4, 0.5, 0.6, 0.6.1, 0.6.2 |
---|---|
Change log | changelog.md |
Dependencies | base (>=4.16 && <5), constraints (>=0.13), containers (>=0.4), countable (>=1.2) [details] |
License | BSD-2-Clause |
Copyright | (c) 2017-2022 Ashley Yakeley |
Author | Ashley Yakeley |
Maintainer | <ashley@semantic.org> |
Category | Data |
Home page | https://github.com/AshleyYakeley/witness |
Bug tracker | https://github.com/AshleyYakeley/witness/issues |
Uploaded | by AshleyYakeley at 2023-07-25T21:45:12Z |
Distributions | LTSHaskell:0.6.2, NixOS:0.6.2, Stackage:0.6.2 |
Reverse Dependencies | 3 direct, 0 indirect [details] |
Downloads | 5292 total (27 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2023-07-25 [all 1 reports] |