Skip to content

Pull requests: goldfirere/singletons

New pull request New
Clear current search query, filters, and sorts
2 Open 222 Closed
2 Open 222 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

make it buildable on ghc 7.7.20131217
#3 by nushio3 was merged Jan 9, 2014 Loading…
2
typo
#4 by ggreif was merged Jan 9, 2014 Loading…
1
Fix sing dec, trailing whitespace cleanup, .gitignore
#5 by jstolarek was merged Jan 11, 2014 Loading…
Changed to export SSym and SNat
#91 by konn was closed Aug 15, 2014 Loading…
2
Relaxed version dependency for mtl
#92 by konn was closed Aug 30, 2014 Loading…
3
Use Data.Void from base
#125 by int-index was merged Sep 15, 2015 Loading…
1
1
Bump lower bound for base, to avoid trying to build 2.x with 7.8.x.
#129 by romanb was merged Oct 12, 2015 Loading…
1
Depend on base >=4.8.0.0 && <5
#133 by k0001 was closed Apr 26, 2016 Loading…
2
WIP: build on GHC 8
#142 by christiaanb was closed Apr 26, 2016 Loading…
10
Remove KProxy
#148 by int-index was merged Jun 13, 2016 Loading…
10
Explicit forall in withSomeSing
#154 by int-index was merged Jul 1, 2016 Loading…
1
1
Remove lingering references to KProxy
#158 by RyanGlScott was merged Aug 30, 2016 Loading…
6
Auto-generate infix declarations
#159 by int-index was merged Oct 15, 2016 Loading…
1
7
Minor documentation update - fix broken link
#164 by imalsogreg was merged Oct 16, 2016 Loading…
1
Fix #167
#168 by RyanGlScott was merged Nov 2, 2016 Loading…
1
1
Remove Proxy in KindOf
#169 by int-index was merged Dec 5, 2016 Loading…
6
Promoted classes without Proxy
#170 by int-index was closed Dec 6, 2016 Loading…
3
Promoted classes without Proxy
#171 by int-index was merged Dec 9, 2016 Loading…
2
7
Export NonEmpty in Data.Singletons.Prelude
#174 by RyanGlScott was closed Dec 12, 2016 Loading…
3
Combine clauses of record-selector function declarations
#181 by RyanGlScott was closed Apr 9, 2017 Loading…
9
WIP: GHC 8.2 revamp
#182 by RyanGlScott was closed May 31, 2017 Loading…
18
Banish some more Proxies
#185 by RyanGlScott was merged Jun 1, 2017 Loading…
3
Fix haddock failures for TH splices
#186 by christiaanb was merged Jun 1, 2017 Loading…
1
Fix #187
#188 by RyanGlScott was merged Jun 2, 2017 Loading…
4
Promote wildcard patterns to wildcard types
#189 by RyanGlScott was merged Jun 3, 2017 Loading…
2
ProTip! Follow long discussions with comments:>50.