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

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

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.

Flags

Automatic Flags
NameDescriptionDefault
unsafe-operations

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

Enabled

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

Downloads

Versions [RSS] 1.0.0, 1.0.1, 2.0, 2.0.1.0, 2.0.2, 2.1.0, 2.1.1, 2.1.2.0, 2.1.3.0, 2.1.4.0, 2.1.5.0, 2.1.6.0, 2.1.7.0, 2.1.8.0, 2.1.9.0
Change log Changelog.md
Dependencies base (>=4.10 && <5), base-orphans (>=0.8.2 && <0.10), constraints (>=0.10 && <0.15), containers, deepseq, ghc-prim, hashable (>=1.2 && <1.6), hashtables (>=1.2 && <1.4), indexed-traversable, lens (>=4.16 && <5.4), mtl, profunctors (>=5.6 && <5.7), template-haskell, text, th-abstraction (>=0.4.2 && <0.8), vector (>=0.12 && <0.14) [details]
Tested with ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.2, ghc ==9.4.5, ghc ==9.6.1, ghc ==9.8.1, ghc ==9.10.1
License BSD-3-Clause
Copyright ©2016-2022 Galois, Inc.
Author Galois Inc.
Maintainer kquick@galois.com, rscott@galois.com
Category Data Structures, Dependent Types
Home page https://github.com/GaloisInc/parameterized-utils
Bug tracker https://github.com/GaloisInc/parameterized-utils/issues
Source repo head: git clone https://github.com/GaloisInc/parameterized-utils
Uploaded by ryanglscott at 2024-09-19T14:50:24Z
Distributions Arch:2.1.9.0, LTSHaskell:2.1.9.0, NixOS:2.1.8.0, Stackage:2.1.9.0
Reverse Dependencies 13 direct, 9 indirect [details]
Downloads 11222 total (146 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]