Popularity
2.8
Growing
Activity
3.3
-
1
4
0

Monthly Downloads: 20
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Data    
Latest version: v0.1.2

constraint-tuples alternatives and similar packages

Based on the "Data" category.
Alternatively, view constraint-tuples alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of constraint-tuples or a related project?

Add another 'Data' Package

README

constraint-tuples

Hackage Hackage Dependencies Haskell Programming Language BSD3 License Build

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 with N fields.
  • Data.Tuple.Constraint.ClassNewtype: A CTupleN class compiles to a newtype around the corresponding built-in constraint tuple type with N arguments.
  • Data.Tuple.Constraint.TypeFamily: A CTupleN type alias is a constraint tuple type constructor with N 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: A CTupleN type alias is a constraint tuple type constructor with N 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.


*Note that all licence references and agreements mentioned in the constraint-tuples README section above are relevant to that project's source code only.