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
- 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.List.Element
- Data.Type.Witness.Specific.List.List
- Data.Type.Witness.Specific.List.Product
- Data.Type.Witness.Specific.List.Sum
- Data.Type.Witness.Specific.Natural
- OrderedWitnessMap
- Data.Type.Witness.Specific.OrderedWitnessMap.For
- Data.Type.Witness.Specific.OrderedWitnessMap.Of
- 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.Specific.WitnessMap.For
- Data.Type.Witness.Specific.WitnessMap.Of
- Data.Type.Witness
Downloads
- witness-0.7.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, 0.7 |
---|---|
Change log | changelog.md |
Dependencies | base (>=4.19 && <5), constraints (>=0.14), containers (>=0.6), countable (>=1.2) [details] |
Tested with | ghc ==9.8.4, ghc ==9.10.1 |
License | BSD-2-Clause |
Copyright | (c) 2017-2024 Ashley Yakeley |
Author | Ashley Yakeley |
Maintainer | <ashley@semantic.org> |
Category | Data |
Home page | https://github.com/AshleyYakeley/witness#readme |
Bug tracker | https://github.com/AshleyYakeley/witness/issues |
Source repo | head: git clone https://github.com/AshleyYakeley/witness |
Uploaded | by AshleyYakeley at 2024-12-16T02:14:31Z |
Distributions | LTSHaskell:0.6.2, NixOS:0.6.2, Stackage:0.7 |
Reverse Dependencies | 3 direct, 0 indirect [details] |
Downloads | 5391 total (45 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2024-12-16 [all 2 reports] |