@hackage / parameterized-utils

Classes and data structures for working with data-kind indexed types

Latest2.3.0.0

About

Metadata

  • Last updated , by aschwerdfeger_galois
  • License BSD-3-Clause
  • Categories Data Structures

  • Maintained by: kquick@galois.com, rscott@galois.com

  • Lottery factor: 5

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.1
  4. 9.6.1
  5. 9.4.5
  6. 9.2.2
  7. 9.0.2
  8. 8.10.7
  9. 8.8.4
  10. 8.6.5

Package Flags

Use the -f option with cabal commands to enable flags

    unsafe-operations (on by default)

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

Readme

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.