witness
values that witness types
https://github.com/AshleyYakeley/witness
LTS Haskell 22.33: | 0.6.2 |
Stackage Nightly 2024-09-07: | 0.6.2 |
Latest on Hackage: | 0.6.2 |
Maintained by <[email protected]>
This version can be pinned in stack with:
witness-0.6.2@sha256:4beb4195ecabeb5a26bf58c308d35f149a02dd5f86bd3b89c1cf8349f8b85f28,3613
Module documentation for 0.6.2
- 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-12-04(full list with versions):