Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ekmett/constraints issues and pull requests

#128 - Regenerate CI config, include GHC 9.10

Pull Request - State: closed - Opened by jhrcek 9 months ago

#127 - Re-export `Log2`, add `log2Nat`/`log2Pow`

Pull Request - State: closed - Opened by RyanGlScott 9 months ago

#126 - Data.Constraint.Nat Log2 functions

Issue - State: closed - Opened by phadej 10 months ago - 3 comments

#125 - Drop type-equality dependency

Pull Request - State: closed - Opened by phadej 10 months ago - 3 comments

#124 - constraints-0.13.4 cannot be built with GHC 9.10 alpha 1

Issue - State: closed - Opened by Bodigrim 11 months ago - 1 comment

#123 - Soundness of `powMonotone2`

Issue - State: open - Opened by alejandrorusso about 1 year ago - 1 comment
Labels: bug

#122 - Add `Data.Constraint.Char`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#120 - Move `axiom` to `Data.Constraint.Unsafe`, name it `unsafeAxiom`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#119 - Bump CI to ubuntu-20.04 and GHCs 9.6.1 9.4.4 9.2.7

Pull Request - State: closed - Opened by andreasabel almost 2 years ago

#118 - constraints-0.13.1 cannot be build with GHC 9.4

Issue - State: closed - Opened by Bodigrim about 2 years ago - 1 comment

#117 - Add Data.Constraints.Char for GHCs where it is available.

Issue - State: closed - Opened by phadej over 2 years ago - 3 comments

#116 - Guard `mtl`-related instances for `ErrorT`/`ListT` with appropriate CPP

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#115 - Build failures with mtl-2.3 and `transformers < 0.6`

Issue - State: closed - Opened by sjakobi almost 3 years ago - 2 comments

#114 - Use `withDict` instead of `unsafeCoerce` to implement `magic`

Issue - State: closed - Opened by RyanGlScott almost 3 years ago

#113 - Rename `forall` to `forall_`

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#111 - Remove instances for `ErrorT` and `ListT` (fixes #110)

Pull Request - State: closed - Opened by andreasabel about 3 years ago - 4 comments

#110 - Build failure with `mtl-2.3`

Issue - State: closed - Opened by andreasabel about 3 years ago - 1 comment

#109 - Update for GHC 9.2

Issue - State: closed - Opened by treeowl over 3 years ago - 2 comments

#108 - constraints-0.11 and 0.11.1 need base < 4.16 revisions

Issue - State: closed - Opened by Bodigrim over 3 years ago - 1 comment

#107 - An adjunction(?)

Issue - State: open - Opened by masaeedu over 3 years ago

#106 - Boring

Pull Request - State: closed - Opened by phadej almost 4 years ago

#105 - Regenerate haskell-ci

Pull Request - State: closed - Opened by phadej almost 4 years ago

#104 - constraints-0.10.1 needs revision

Issue - State: closed - Opened by phadej almost 4 years ago - 1 comment

#103 - Fix some Haddock markup

Pull Request - State: closed - Opened by georgefst about 4 years ago

#102 - Add implied

Pull Request - State: closed - Opened by RyanGlScott about 4 years ago

#101 - Use AppendSymbol in Data.Constraint.Symbol

Pull Request - State: closed - Opened by RyanGlScott about 4 years ago

#100 - Consider using AppendSymbol in Data.Constraint.Symbol

Issue - State: closed - Opened by RyanGlScott over 4 years ago - 3 comments

#99 - Depend on semigroups only on GHC < 8.0

Pull Request - State: closed - Opened by felixonmars over 4 years ago

#98 - Change dividesDef to Divides a b :- (Mod b a ~ 0)

Pull Request - State: closed - Opened by Bodigrim about 5 years ago - 5 comments

#97 - instance Lift (Dict cls)

Issue - State: open - Opened by Icelandjack about 5 years ago - 2 comments

#96 - Divides a b :- (Mod b a ~ 0)

Issue - State: closed - Opened by Bodigrim about 5 years ago - 3 comments

#95 - #86 Relax dividesTimes

Pull Request - State: closed - Opened by Bodigrim about 5 years ago

#94 - Add Haddock for Unicode alias

Pull Request - State: closed - Opened by ag-eitilt over 5 years ago - 2 comments

#93 - Use quantified constraints for GHC 8.6

Pull Request - State: open - Opened by treeowl over 5 years ago - 1 comment

#92 - Depend on type-equality to use (:~~:) on GHC 8.0

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago

#91 - Make UnsatisfiedConstraint a newtype

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago

#90 - Update for QuantifiedConstraints

Issue - State: open - Opened by treeowl over 5 years ago

#89 - Support semigroups-0.19

Pull Request - State: closed - Opened by fumieval almost 6 years ago - 1 comment

#88 - Complete definitions of Min and Max

Pull Request - State: closed - Opened by Bodigrim almost 6 years ago

#87 - Class instances

Issue - State: closed - Opened by coot almost 6 years ago - 4 comments

#86 - divideTimes' constraint is too tight

Issue - State: closed - Opened by basile-henry about 6 years ago

#85 - Fix timesDiv and dividesDef mistakes

Pull Request - State: closed - Opened by basile-henry about 6 years ago - 1 comment

#84 - Expose ComposeC

Pull Request - State: open - Opened by Ericson2314 about 6 years ago - 7 comments

#83 - Expose ComposeC

Issue - State: open - Opened by Ericson2314 about 6 years ago

#82 - Add minusNat and minusZero

Pull Request - State: closed - Opened by Bodigrim over 6 years ago

#81 - Add `HasDict` class and overload `withDict` and `(\\)`

Pull Request - State: closed - Opened by aaronvargo over 6 years ago - 5 comments

#80 - dividesDef and timesDiv appear to have unsafe typos

Issue - State: closed - Opened by awpr over 6 years ago

#79 - Allow building with bundled version of binary on GHC-7.8.4

Pull Request - State: closed - Opened by phadej over 6 years ago - 4 comments

#78 - Renerate .travis.yml

Pull Request - State: closed - Opened by phadej over 6 years ago - 1 comment

#77 - Add some Deferrable extras

Pull Request - State: open - Opened by treeowl almost 7 years ago

#75 - Add axioms about plus and minus

Pull Request - State: closed - Opened by glittershark almost 7 years ago

#74 - Fix broken link

Pull Request - State: closed - Opened by snowleopard almost 7 years ago

#73 - human-facing documentation?

Issue - State: open - Opened by AntC2 about 7 years ago

#72 - Add build-tool-depends

Pull Request - State: closed - Opened by phadej about 7 years ago

#71 - Export `no` (a method of Bottom)

Pull Request - State: closed - Opened by Hogeyama about 7 years ago - 1 comment

#70 - Reexport Div/Mod from GHC.TypeLits (introduced in GHC 8.4)

Pull Request - State: closed - Opened by RyanGlScott about 7 years ago

#69 - Semigroup-Monoid-Proposal

Issue - State: closed - Opened by ggreif about 7 years ago - 2 comments

#68 - (:-) a closed category?

Issue - State: open - Opened by Zemyla over 7 years ago - 3 comments

#67 - Add (:=>) instances for (Show Int) & (Read Int)

Pull Request - State: closed - Opened by crdueck over 7 years ago

#66 - Add an `Exists` type

Issue - State: open - Opened by harpocrates over 7 years ago - 3 comments

#65 - Adapt to the Semigroup-Monoid Proposal

Pull Request - State: closed - Opened by RyanGlScott over 7 years ago

#64 - Add NFData instances for Dict and (:-)

Pull Request - State: closed - Opened by fumieval over 7 years ago

#63 - New axioms

Issue - State: open - Opened by SkorikGG over 7 years ago - 2 comments

#62 - Polymorphic operator \\

Issue - State: closed - Opened by SkorikGG over 7 years ago - 3 comments

#61 - Fix #55

Pull Request - State: closed - Opened by RyanGlScott over 7 years ago

#60 - Deriving KnownNat and KnownSymbol without magic

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 3 comments

#59 - Deriving KnownNat and KnownSymbol without magic

Pull Request - State: closed - Opened by SkorikGG almost 8 years ago - 2 comments

#58 - Reordering of the type variables

Pull Request - State: closed - Opened by SkorikGG almost 8 years ago - 1 comment

#57 - Deferrable with default values

Issue - State: open - Opened by Icelandjack almost 8 years ago - 1 comment

#56 - Redundant axioms and unnatural type declarations

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 3 comments

#55 - "Deferred type error" in runtime

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 13 comments

#54 - Generalise kind of ForallT

Issue - State: open - Opened by Icelandjack almost 8 years ago - 4 comments

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

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 2 comments

#52 - Copy-Paste error in the maxCommutes

Issue - State: closed - Opened by SkorikGG almost 8 years ago - 1 comment

#51 - Fix maxCommutes.

Pull Request - State: closed - Opened by tsahyt almost 8 years ago

#50 - Getting seg fault while trying to use appendSymbol

Issue - State: closed - Opened by mageshb almost 8 years ago - 3 comments

#49 - Add more Class and :=>

Pull Request - State: closed - Opened by treeowl almost 8 years ago

#48 - Update Class and :-> for AMP

Issue - State: closed - Opened by treeowl almost 8 years ago

#47 - Combining constraints

Issue - State: open - Opened by Icelandjack almost 8 years ago - 6 comments

#46 - Implication constraints

Issue - State: open - Opened by Icelandjack almost 8 years ago - 3 comments

#45 - Fix magic functions in Nat and Symbol

Pull Request - State: closed - Opened by Lysxia about 8 years ago - 1 comment

#44 - The undefined breaks the constraints system. This is a bug or a feature?

Issue - State: closed - Opened by SkorikGG about 8 years ago - 4 comments

#43 - Build Failure on GHC Head

Issue - State: closed - Opened by nek0 over 8 years ago - 6 comments

#42 - Fix a tiny typo in docs

Pull Request - State: closed - Opened by relrod over 8 years ago

#41 - Common name for ‘Sub Dict’

Issue - State: closed - Opened by Icelandjack over 8 years ago - 8 comments

#40 - `Deferrable (a ~~ b)` instance?

Issue - State: closed - Opened by Icelandjack over 8 years ago - 10 comments

#39 - Add defer_ and deferEither_ that do not require proxy arguments.

Pull Request - State: closed - Opened by Icelandjack over 8 years ago

#38 - Add tools for working with `KnownNat`

Issue - State: closed - Opened by ekmett over 8 years ago - 1 comment

#36 - Fix compilation with GHC 8.1

Pull Request - State: closed - Opened by thomie over 8 years ago - 5 comments

#35 - License mismatch between Cabal and LICENSE file

Issue - State: closed - Opened by peti over 8 years ago - 11 comments

#33 - Add template haskell function to generate Dicts.

Pull Request - State: closed - Opened by nc6 over 8 years ago - 2 comments

#32 - Fix typo.

Pull Request - State: closed - Opened by stephen-smith over 8 years ago - 1 comment

#30 - Swap first arguments of ‘defer’ to match ‘deferEither’

Pull Request - State: closed - Opened by Icelandjack almost 9 years ago - 1 comment

#29 - Show type representation of a, b when Deferrable (a ~ b) fails

Issue - State: closed - Opened by Icelandjack almost 9 years ago - 3 comments

#28 - Deferrable () instance

Pull Request - State: closed - Opened by Icelandjack almost 9 years ago

#26 - Can we be very generic?

Issue - State: open - Opened by treeowl almost 9 years ago - 2 comments

#21 - adding CHANGELOG to cabal file for Hackage viewing

Pull Request - State: closed - Opened by mstksg about 9 years ago - 1 comment