ekmett/constraints

View on GitHub

Tools for programming with ConstraintKinds in GHC

Stars: 77
Forks: 34
Open beginner issues: 0
Indexed issues: 17

Dominant language: Haskell
License: No license data
Last GitHub push: Jan 26, 2026
Latest indexed: Sep 15, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

17 open issues indexed

`Foldable1 Product` Open

Difficulty 5/5 Over a week Newbie friendliness 38/100

ekmett/constraints#132 · Opened Sep 12, 2026
Soundness of `powMonotone2` Open

bug

Difficulty 5/5 Over a week Newbie friendliness 30/100

ekmett/constraints#123 · 1 comment · Opened Feb 4, 2024
An adjunction(?) Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ekmett/constraints#107 · Opened May 22, 2021
instance Lift (Dict cls) Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#97 · 2 comments · Opened Dec 13, 2019
Update for QuantifiedConstraints Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#90 · Opened Jul 6, 2019
Expose ComposeC Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

ekmett/constraints#83 · 1 reaction · Opened Jan 29, 2019
Add 'deferDict :: Deferrable cls => Either String (Dict cls)' method Open

Difficulty 4/5 3-5 days Newbie friendliness 42/100

ekmett/constraints#76 · Opened May 6, 2018
human-facing documentation? Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

ekmett/constraints#73 · 1 reaction · Opened Feb 3, 2018
(:-) a closed category? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#68 · 3 comments · Opened Nov 15, 2017
Add an `Exists` type Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#66 · 3 comments · Opened Sep 15, 2017
New axioms Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#63 · 2 comments · Opened Jun 4, 2017
Deferrable with default values Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

ekmett/constraints#57 · 1 comment · 1 reaction · Opened May 20, 2017
Generalise kind of ForallT Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

ekmett/constraints#54 · 4 comments · Opened May 4, 2017
Combining constraints Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#47 · 6 comments · 1 reaction · Opened Mar 1, 2017
Implication constraints Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ekmett/constraints#46 · 3 comments · Opened Feb 23, 2017
Forall behavior has changed since 0.6 Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

ekmett/constraints#31 · 3 comments · Opened May 17, 2016
Can we be very generic? Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

ekmett/constraints#26 · 2 comments · Opened Mar 15, 2016

ekmett/constraints

Get new issues in your inbox