@hackage parameterized-utils2.3.0.0
Classes and data structures for working with data-kind indexed types
Categories
License
BSD-3-Clause
Maintainer
kquick@galois.com, rscott@galois.com
Links
Versions
Installation
Tested Compilers
Dependencies (14)
- base >=4.12 && <5
- base-orphans >=0.8.2 && <0.10
- constraints >=0.10 && <0.15
- containers
- deepseq
- hashable >=1.2 && <1.6 Show all…
Dependents (17)
@hackage/crucible-syntax, @hackage/bv-sized-lens, @hackage/cryptol, @hackage/copilot-verifier, @hackage/bv-sized, @hackage/tasty-checklist, Show all…
Package Flags
unsafe-operations
(on by default)
Use unsafe operations (e.g. coercions) to improve performance
This package contains collection classes and type representations used for working with values that have a single parameter. It's intended for things like expression libraries where one wishes to leverage the Haskell type-checker to improve type-safety by encoding the object language type system into data kinds.