parameterized-utils: Classes and data structures for working with data-kind indexed types
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.
Modules
[Index]
- Data
- Data.Parameterized
- Data.Parameterized.Classes
- Data.Parameterized.Context
- Data.Parameterized.Ctx
- Data.Parameterized.HashTable
- Data.Parameterized.List
- Data.Parameterized.Map
- Data.Parameterized.NatRepr
- Data.Parameterized.Nonce
- Data.Parameterized.Pair
- Data.Parameterized.Some
- Data.Parameterized.SymbolRepr
- TH
- Data.Parameterized.TraversableF
- Data.Parameterized.TraversableFC
- Utils
- Data.Parameterized
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| unsafe-operations | Use unsafe operations to improve performance | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- parameterized-utils-1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No 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, 2.1.10.0, 2.1.11.0, 2.2.0.0 |
|---|---|
| Dependencies | base (>=4.7 && <4.11), containers, deepseq, ghc-prim, hashable, hashtables, lens, mtl, template-haskell, text, th-abstraction (>=0.1 && <0.3), vector [details] |
| License | BSD-3-Clause |
| Author | Galois Inc. |
| Maintainer | jhendrix@galois.com |
| Uploaded | by RobertDockins at 2017-12-19T22:30:39Z |
| Category | Data Structures, Dependent Types |
| Source repo | head: git clone https://github.com/GaloisInc/parameterized-utils |
| Distributions | Arch:2.1.11.0, Fedora:2.1.10.0, LTSHaskell:2.1.11.0, NixOS:2.1.11.0, Stackage:2.1.11.0 |
| Reverse Dependencies | 16 direct, 10 indirect [details] |
| Downloads | 12062 total (67 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2017-12-20 [all 3 reports] |