Haskell Constraints Utils packages

• « All Tags

Selected Tags

• Constraints
• Utils

Utils packages

Showing projects tagged as Constraints and Utils

• constraints

  9.1 5.4 Haskell

  Tools for programming with ConstraintKinds in GHC

• mios

  7.7 0.0 Haskell

  A SAT solver written in Haskell.

• constraints-emerge

  7.0 0.0 Haskell

  📤 defer instance resolution until runtime

• constraints-deriving

  5.6 0.0 Haskell

  Programmatically create new instances using core-to-core plugins

• superconstraints

  3.9 0.0 Haskell

  Access an instance's constraints

• cluss

  3.4 0.0 Haskell

  simple alternative to type classes

• exists

  3.1 0.0 Haskell

  Existential datatypes holding evidence of constraints