parameterized-utils: Classes and data structures for working with data-kind indexed types

[ bsd3, data-structures, dependent-types, library ] [ Propose Tags ]

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.

Versions [RSS] [faq] 1.0.0, 1.0.1, 2.0,, 2.0.2, 2.1.0, 2.1.1,,,
Change log
Dependencies base (>=4.10 && <5), base-orphans (>=0.8.2 && <0.9), constraints (>=0.10 && <0.14), containers, deepseq, ghc-prim, hashable (>=1.2 && <1.4), hashtables (==1.2.*), indexed-traversable, lens (>=4.16 && <5.1), mtl, profunctors (==5.6.*), template-haskell, text, th-abstraction (>=0.3 && <0.5), vector (==0.12.*) [details]
License BSD-3-Clause
Copyright ©2016-2021 Galois, Inc.
Author Galois Inc.
Category Data Structures, Dependent Types
Home page
Bug tracker
Source repo head: git clone
Uploaded by KevinQuick at 2021-10-01T23:02:47Z
Distributions Arch:, NixOS:
Downloads 7908 total (143 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-10-01 [all 1 reports]


[Index] [Quick Jump]

Manual Flags

Automatic Flags

Use unsafe operations (e.g. coercions) to improve performance


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees