parameterized-utils: Classes and data structures for working with data-kind indexed types
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.
Modules
[Index] [Quick Jump]
- Data
- Data.Parameterized
- Data.Parameterized.All
- Data.Parameterized.Axiom
- Data.Parameterized.BoolRepr
- Data.Parameterized.Classes
- Data.Parameterized.ClassesC
- Data.Parameterized.Compose
- Data.Parameterized.Context
- Data.Parameterized.Context.Safe
- Data.Parameterized.Context.Unsafe
- Data.Parameterized.Ctx
- Data.Parameterized.DataKind
- Data.Parameterized.DecidableEq
- Data.Parameterized.Fin
- Data.Parameterized.FinMap
- Data.Parameterized.HashTable
- Data.Parameterized.List
- Data.Parameterized.Map
- Data.Parameterized.NatRepr
- Data.Parameterized.Nonce
- Data.Parameterized.Pair
- Data.Parameterized.Peano
- Data.Parameterized.Some
- Data.Parameterized.SymbolRepr
- TH
- Data.Parameterized.TraversableF
- Data.Parameterized.TraversableFC
- Utils
- Data.Parameterized.Vector
- Data.Parameterized.WithRepr
- Data.Parameterized
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
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
- parameterized-utils-2.1.9.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
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] |
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 | 11105 total (105 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] |