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

constraint-tuples

Hackage Hackage Dependencies Haskell Programming Language BSD3 License Build

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.