constraint-tuples

Partially applicable constraint tuples

https://github.com/RyanGlScott/constraint-tuples

Version on this page:0.1.1
LTS Haskell 24.55:0.2
Stackage Nightly 2026-08-20:0.2
Latest on Hackage:0.2

See all snapshots constraint-tuples appears in

BSD-3-Clause licensed by Ryan Scott
Maintained by [email protected]
This version can be pinned in stack with:constraint-tuples-0.1.1@sha256:19539ba1a35f5da1c6c090deea2d4933dfa01a0c53674862f415ffd1ab8b9a76,2351

Module documentation for 0.1.1

Depends on 1 package(full list with versions):
base

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.

Changes

0.1.1 [2019.10.21]

  • Split generator-script out of the main .cabal file, as it is only used for development purposes.
  • Minor Haddock fixes.

0.1 [2019.10.14]

  • First version.