parameterized-utils
Version 2.1.9.0 revision 1 uploaded by ryanglscott.
Package meta
- Synopsis
- Classes and data structures for working with data-kind indexed types
- Description
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.
- Author
- Galois Inc.
- Bug reports
- https://github.com/GaloisInc/parameterized-utils/issues
- Category
- Data Structures, Dependent Types
- Copyright
- ©2016-2022 Galois, Inc.
- Homepage
- https://github.com/GaloisInc/parameterized-utils
- Maintainer
- kquick@galois.com, rscott@galois.com
- Package URL
- n/a
- Stability
- stable