Selected Tags

Click on a tag to remove it

Constraints packages

Showing projects tagged as Utils and Constraints

  • constraints

    9.2 2.6 Haskell
    Tools for programming with ConstraintKinds in GHC
  • mios

    7.6 0.0 Haskell
    A SAT solver written in Haskell.
  • constraints-emerge

    7.0 0.0 Haskell
    📤 defer instance resolution until runtime
  • constraints-deriving

    5.5 0.0 Haskell
    Programmatically create new instances using core-to-core plugins
  • cluss

    4.0 0.0 Haskell
    simple alternative to type classes
  • superconstraints

    3.8 0.0 Haskell
    Access an instance's constraints
  • exists

    2.9 0.0 Haskell
    Existential datatypes holding evidence of constraints