The parameterized-utils package

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

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.

Properties

Versions 1.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 BSD3
Author Galois Inc.
Maintainer jhendrix@galois.com
Category Data Structures, Dependent Types
Source repository head: git clone https://github.com/GaloisInc/parameterized-utils
Uploaded Tue Dec 19 22:30:39 UTC 2017 by RobertDockins
Distributions NixOS:1.0.0
Downloads 112 total (88 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-12-20 [all 3 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
unsafe-operations

Use unsafe operations to improve performance

EnabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees