witness
values that witness types
https://github.com/AshleyYakeley/witness
Version on this page: | 0.6 |
LTS Haskell 22.26: | 0.6.2 |
Stackage Nightly 2024-06-16: | 0.6.2 |
Latest on Hackage: | 0.6.2 |
Maintained by <[email protected]>
This version can be pinned in stack with:
witness-0.6@sha256:62d4c841d71fc4856a3221a945f9053b6bfaf8d1e6414dc834afb657222ff050,3513
Module documentation for 0.6
- 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.List
- Data.Type.Witness.Specific.Natural
- 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 3 packages(full list with versions):
Used by 1 package in nightly-2022-07-21(full list with versions):