constraint-tuples: Partially applicable constraint tuples
This library provides classes and type aliases that emulate the behavior of GHC's constraint tuple syntax. Unlike GHC's built-in constraint tuples, the types in this library can be partially applied.
This library exposes four different modules that provide essentially the same API with slight differences in their implementation:
Data.Tuple.Constraint: A
CTupleN
class compiles to a dictionary data type withN
fields.Data.Tuple.Constraint.ClassNewtype: A
CTupleN
class compiles to a newtype around the corresponding built-in constraint tuple type withN
arguments.Data.Tuple.Constraint.TypeFamily
: ACTupleN
type alias is a constraint tuple type constructor withN
arguments obtained by way of a type family. This will compile to a built-in constraint tuple, but casted with a type family axiom.Data.Tuple.Constraint.TypeSynonym
: ACTupleN
type alias is a constraint tuple type constructor withN
arguments obtained by way of a type synonym. This will compile directly to a built-in constraint tuple, but because this requires use of GHC features only present on 8.0 or later, this module does not export anything on earlier versions of GHC.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- constraint-tuples-0.1.2.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] | 0.1, 0.1.1, 0.1.2, 0.2 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.6 && <5) [details] |
License | BSD-3-Clause |
Copyright | (C) 2018-2019 Ryan Scott |
Author | Ryan Scott |
Maintainer | ryan.gl.scott@gmail.com |
Category | Data |
Home page | https://github.com/RyanGlScott/constraint-tuples |
Bug tracker | https://github.com/RyanGlScott/constraint-tuples/issues |
Source repo | head: git clone https://github.com/RyanGlScott/constraint-tuples |
Uploaded | by ryanglscott at 2019-11-24T14:40:41Z |
Distributions | LTSHaskell:0.1.2, NixOS:0.1.2, Stackage:0.2 |
Downloads | 1603 total (15 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2019-11-24 [all 1 reports] |