@hackage parameterized-utils1.0.1
Classes and data structures for working with data-kind indexed types
Categories
License
BSD-3-Clause
Maintainer
jhendrix@galois.com
Links
Versions
Installation
Dependencies (12)
- base >=4.7 && <4.12
- containers
- deepseq
- ghc-prim
- hashable
- hashtables 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 to improve performance
This packages 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.