ekmett/constraints

Issues

• Add Data.Constraints.Char for GHCs where it is available.

  #117 opened 9 months ago by phadej
  3

• Use `withDict` instead of `unsafeCoerce` to implement `magic`

  #114 opened 9 months ago by RyanGlScott
  0

• The `forall` function triggers `-Wforall-identifier` on GHC 9.4

  #112 opened 2 years ago by RyanGlScott
  0

• New axioms

  #63 opened 7 years ago by SkorikGG
  1

• constraints-0.13.1 cannot be build with GHC 9.4

  #118 opened a year ago by Bodigrim
  1

• Build failures with mtl-2.3 and `transformers < 0.6`

  #115 opened 2 years ago by sjakobi
  2

• Build failure with `mtl-2.3`

  #110 opened 2 years ago by andreasabel
  1

• Update for GHC 9.2

  #109 opened 3 years ago by treeowl
  2

• constraints-0.11 and 0.11.1 need base < 4.16 revisions

  #108 opened 3 years ago by Bodigrim
  1

• An adjunction(?)

  #107 opened 3 years ago by masaeedu
  0

• Add an `Exists` type

  #66 opened 7 years ago by harpocrates
  3

• constraints-0.10.1 needs revision

  #104 opened 3 years ago by phadej
  1

• Common name for ‘Sub Dict’

  #41 opened 4 years ago by Icelandjack
  8

• Consider using AppendSymbol in Data.Constraint.Symbol

  #100 opened 4 years ago by RyanGlScott
  3

• Polymorphic operator \\

  #62 opened 4 years ago by SkorikGG
  3

• Combining constraints

  #47 opened 7 years ago by Icelandjack
  6

• instance Lift (Dict cls)

  #97 opened 4 years ago by Icelandjack
  2

• Divides a b :- (Mod b a ~ 0)

  #96 opened 4 years ago by Bodigrim
  3

• divideTimes' constraint is too tight

  #86 opened 4 years ago by basile-henry
  0

• Implication constraints

  #46 opened 7 years ago by Icelandjack
  3

• Update for QuantifiedConstraints

  #90 opened 5 years ago by treeowl
  0

• Class instances

  #87 opened 5 years ago by coot
  4

• dividesDef and timesDiv appear to have unsafe typos

  #80 opened 5 years ago by awpr
  0

• Expose ComposeC

  #83 opened 5 years ago by Ericson2314
  0

• Add 'deferDict :: Deferrable cls => Either String (Dict cls)' method

  #76 opened 6 years ago by Icelandjack
  0

• (:-) a closed category?

  #68 opened 7 years ago by Zemyla
  3

• human-facing documentation?

  #73 opened 6 years ago by AntC2
  0

• Semigroup-Monoid-Proposal

  #69 opened 6 years ago by ggreif
  2

• Compile-time calculation for type family Min ,Max, (++), Take etc.

  #53 opened 7 years ago by SkorikGG
  2

• Deriving KnownNat and KnownSymbol without magic

  #60 opened 7 years ago by SkorikGG
  3

• Deferrable with default values

  #57 opened 7 years ago by Icelandjack
  1

• "Deferred type error" in runtime

  #55 opened 7 years ago by SkorikGG
  13

• Redundant axioms and unnatural type declarations

  #56 opened 7 years ago by SkorikGG
  3

• Generalise kind of ForallT

  #54 opened 7 years ago by Icelandjack
  4

• Copy-Paste error in the maxCommutes

  #52 opened 7 years ago by SkorikGG
  1

• The undefined breaks the constraints system. This is a bug or a feature?

  #44 opened 7 years ago by SkorikGG
  4

• Getting seg fault while trying to use appendSymbol

  #50 opened 7 years ago by mageshb
  3

• Update Class and :-> for AMP

  #48 opened 7 years ago by treeowl
  0

• Build Failure on GHC Head

  #43 opened 7 years ago by nek0
  6

• Can we be very generic?

  #26 opened 8 years ago by treeowl
  2

• `Deferrable (a ~~ b)` instance?

  #40 opened 8 years ago by Icelandjack
  10

• License mismatch between Cabal and LICENSE file

  #35 opened 8 years ago by peti
  11

• Add tools for working with `KnownNat`

  #38 opened 8 years ago by ekmett
  1

• Forall interface

  #18 opened 8 years ago by treeowl
  9

• constraints-core

  #19 opened 8 years ago by andrewthad
  2

• Show type representation of a, b when Deferrable (a ~ b) fails

  #29 opened 8 years ago by Icelandjack
  3

• Changelog does not appear on Hackage

  #15 opened 8 years ago by treeowl
  2

• Not in scope: type constructor or class ‘Prim.Any’ (GHC HEAD)

  #27 opened 8 years ago by conal
  3

• Forall behavior has changed since 0.6

  #31 opened 8 years ago by maoe
  3

• Define ForallF in terms of Forall?

  #23 opened 8 years ago by treeowl
  2