@hackage constraint-tuples0.1

Partially applicable constraint tuples

  • Installation

  • Tested Compilers

  • Dependencies (1)

  • Dependents (0)

    • Package Flags

      generator-script
       (off by default)

      Build the script which generates the source code for this library.

This library provides classes that emulate the behavior of GHC's constraint tuple syntax. Unlike GHC's built-in constraint tuples, the classes in this library can be partially applied.

This library exposes two different modules that are semantically identical, but compile to slightly different Core:

  • 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.