witness
values that witness types
https://github.com/AshleyYakeley/witness
| Version on this page: | 0.6.1 |
| LTS Haskell 24.18: | 0.7 |
| Stackage Nightly 2025-11-04: | 0.7 |
| Latest on Hackage: | 0.7 |
Maintained by <[email protected]>
This version can be pinned in stack with:
witness-0.6.1@sha256:b522cb9e4d6eea7cb6361c50ec330ecc82d69596f57dbdff1dcee2127b557adc,3690Module documentation for 0.6.1
- Data
- Data.PeanoNat
- Data.Type
- Data.Type.Witness
- Data.Type.Witness.Apply
- Data.Type.Witness.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
- Data.Type.Witness.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
- Data.Type.Witness.Specific.List
- Data.Type.Witness.Specific.Natural
- Data.Type.Witness.Specific.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
- Data.Type.Witness.Specific.WitnessMap
- Data.Type.Witness
Depends on 4 packages(full list with versions):
Used by 2 packages in nightly-2023-01-14(full list with versions):