witness
values that witness types
https://github.com/AshleyYakeley/witness
Version on this page: | 0.5 |
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.5@sha256:b114c2646fecceab5ebb3c3e2e6ccb2f7cdca7a27fedac6146d8055a0ee9be60,2890
Module documentation for 0.5
- Control
- Control.Category
- Data
- Data.Nat
- Data.Type
- Data.Witness
- Data.Witness.All
- Data.Witness.Any
- Data.Witness.ApplyStack
- Data.Witness.BigNat
- Data.Witness.Concat
- Data.Witness.Cons
- Data.Witness.Constraint
- Data.Witness.Either
- Data.Witness.Finite
- Data.Witness.HList
- Data.Witness.Kind
- Data.Witness.List
- Data.Witness.ListElement
- Data.Witness.Nat
- Data.Witness.Representative
- Data.Witness.Single
- Data.Witness.Submap
- Data.Witness.Symbol
- Data.Witness.WitnessDict
- Data.Witness.WitnessFDict
- Data.Witness.WitnessValue
Depends on 5 packages(full list with versions):