no-role-annots: Role annotations without -XRoleAnnotations

[ bsd3, haskell, library ] [ Propose Tags ] [ Report a vulnerability ]

This package is intended to ease the transition from GHC 7.6.3- to GHC 7.8+ by providing a backward-compatible role annotation syntax. The module Language.Haskell.RoleAnnots exports backward-compatible declarations usable to assign stricter roles to declarations. Proper role annotations are preferred, but these work, too. The module Language.Haskell.RoleAnnots.Check provides a way to check that a datatype has a set of desired roles. This might be suitable for use in a testsuite. See the module documentation for details. Note that this package works only with GHC 7.4 and up, because it depends on the -XPolyKinds extension. If you need backward compatibility before 7.4, then please look at the source code and adapt the definitions to the kinds of the variables in your program.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.0, 1.1
Change log CHANGES.md
Dependencies base (>=4.5 && <5), template-haskell [details]
License BSD-3-Clause
Author Richard Eisenberg <eir@cis.upenn.edu>
Maintainer Richard Eisenberg <eir@cis.upenn.edu>
Category Haskell
Home page https://github.com/goldfirere/no-role-annots
Bug tracker https://github.com/goldfirere/no-role-annots/issues
Source repo this: git clone https://github.com/goldfirere/no-role-annots.git(tag v1.0)
Uploaded by RichardEisenberg at 2014-03-30T23:58:04Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1696 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]

Readme for no-role-annots-1.0

[back to package description]

no-role-annots

Build Status

This package is intended to ease the transition from GHC 7.6.3- to GHC 7.8+ by providing a backward-compatible role annotation syntax. The module Language.Haskell.RoleAnnots exports backward-compatible declarations usable to assign stricter roles to declarations. Proper role annotations are preferred, but these work, too.

The module Language.Haskell.RoleAnnots.Check provides a way to check that a datatype has a set of desired roles. This might be suitable for use in a testsuite.

See the module documentation for details.