Ecosyste.ms: Issues

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

GitHub / obsidiansystems/dependent-sum issues and pull requests

#81 - Fix for ghc-9.10

Pull Request - State: closed - Opened by expipiplus1 5 months ago - 1 comment

#80 - Allow some 1.0.6

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

#79 - GHC 9.6

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

#78 - Release dependent-sum-template 0.2.0.0

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

#77 - GHC >=9.4 support

Issue - State: open - Opened by luc-tielen almost 2 years ago

#76 - Update some to 1.0.5

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

#75 - Bump constraints-extras

Pull Request - State: closed - Opened by alexfmpe about 2 years ago

#74 - ghc 9.4

Pull Request - State: closed - Opened by ali-abrar about 2 years ago

#73 - bump constraints-extras

Pull Request - State: closed - Opened by cgibbard over 2 years ago

#72 - deriveGEq fails to generate GEq instance for some combinations of versions

Issue - State: open - Opened by newhoggy over 2 years ago - 1 comment

#71 - New Hackage release supporting some-1.0.4

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

#70 - Test higher-arity type constructors

Pull Request - State: closed - Opened by alexfmpe almost 3 years ago - 5 comments

#69 - dependent-sum-template: Narrow dependency to just `some`

Pull Request - State: closed - Opened by Ericson2314 about 3 years ago

#68 - Factor out `GComparing` Monad

Pull Request - State: closed - Opened by Ericson2314 about 3 years ago

#67 - dependent-sum-template: add lowerbound for th-abstraction

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

#66 - New Hackage release supporting some-1.0.3

Issue - State: closed - Opened by jchia about 3 years ago - 4 comments

#65 - New release with ghc 9 compat

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

#64 - Ensure 9.0 fix doesn't cause regression

Pull Request - State: closed - Opened by Ericson2314 over 3 years ago

#63 - Add github actions

Pull Request - State: closed - Opened by Ericson2314 over 3 years ago

#62 - Package needs a LICENSE

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

#60 - Prefer canonical return definition

Pull Request - State: closed - Opened by fendor over 3 years ago

#59 - Add compatibility for GHC 9.0.1 and GHC 9.2

Pull Request - State: closed - Opened by fendor over 3 years ago - 2 comments

#58 - Allow some 1.0.3

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

#57 - Add support for GHC-9.0.1

Pull Request - State: closed - Opened by anka-213 almost 4 years ago - 2 comments

#56 - Bump some bound

Pull Request - State: closed - Opened by ollef almost 4 years ago - 3 comments

#55 - Bump some bound

Issue - State: closed - Opened by maralorn about 4 years ago

#54 - `deriveGEq` for multiindex GADTs?

Issue - State: open - Opened by srid over 4 years ago

#53 - Modernize TH

Pull Request - State: closed - Opened by 3noch almost 5 years ago - 4 comments

#52 - Relax some

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

#51 - Relax dependent-sum some dependency.

Issue - State: closed - Opened by phadej almost 5 years ago - 2 comments

#50 - Add Hackage badge to README

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

#49 - dependent-sum 0.7.0.0

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

#48 - 0.6.2.2 should have been a major release

Issue - State: closed - Opened by int-e almost 5 years ago - 3 comments

#47 - dependent-sum 0.6.2.2 / dependent-sem-template 0.1.0.2

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

#46 - Release/0.1.0.1

Pull Request - State: closed - Opened by 3noch almost 5 years ago - 4 comments

#45 - update .cabal files

Pull Request - State: closed - Opened by int-e almost 5 years ago

#44 - GHC 8.8 CI + fixes

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

#43 - Include GHC 8.8 in Travis CI matrix

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

#42 - Clarified DSum haddocks, add pointer to `deriveArgDict`

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

#40 - Fix build with ghc 8.8.1.

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

#39 - Re-use Some from some

Pull Request - State: closed - Opened by phadej over 5 years ago - 3 comments

#38 - Remove one unsafeCoerce

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

#37 - Add Monoid newtypes

Pull Request - State: closed - Opened by treeowl over 5 years ago - 3 comments

#36 - Revert "Make Some more faithfully imitate a datatype"

Pull Request - State: closed - Opened by ali-abrar over 5 years ago - 2 comments

#35 - Lazy some

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

#34 - Strictness tweak

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

#33 - Re-add legacy eqTagged and compareTagged; Fix legacy OrdTag synonym

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

#32 - Make Some more faithfully imitate a datatype

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

#31 - Make GEq = TestEquality (or not?)

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

#30 - Make dependent-sum depend on universe-base

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

#29 - Offer the ability to enumerate tags

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

#28 - Update for new constraints-extras (0.3)

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

#27 - Improve 0.5.1.0 ChangeLog entry

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

#26 - Explicit kind signature

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

#25 - Small fixes & improvements

Pull Request - State: closed - Opened by phadej almost 6 years ago - 2 comments

#24 - Replace Some GADT with a newtype and deprecate This in favor of Some

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

#23 - Get rid of *Tag classes by using Has from constraint extras -- includes #27

Pull Request - State: closed - Opened by Ericson2314 about 6 years ago - 2 comments

#22 - Deprecate (:=) --- includes on #21

Pull Request - State: closed - Opened by Ericson2314 about 6 years ago

#21 - Merge dependent-sum and dependent-sum-template repos

Pull Request - State: closed - Opened by Ericson2314 about 6 years ago

#20 - Add ifdef for GHC >= 7.08

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

#19 - Fix typo

Pull Request - State: closed - Opened by alexfmpe over 6 years ago - 2 comments

#18 - Release latest version on Hackage

Issue - State: closed - Opened by vrom911 over 6 years ago - 2 comments

#17 - Add GEq, GCompare, and GShow for TypeRep

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

#16 - Building with GHCJS (based on GHC 8.0.2) fails

Issue - State: closed - Opened by k0001 about 8 years ago - 1 comment

#16 - Building with GHCJS (based on GHC 8.0.2) fails

Issue - State: closed - Opened by k0001 about 8 years ago - 1 comment

#15 - default implementation for GShow

Pull Request - State: closed - Opened by mstksg over 8 years ago - 3 comments

#14 - Fix documentation (=>) to (:=>)

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

#13 - Implement GRead using an existential

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

#12 - Remove impredicative types

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

#12 - Remove impredicative types

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

#11 - Add support for GHC 8

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

#11 - Add support for GHC 8

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

#10 - Fix type checking in GHC8

Pull Request - State: closed - Opened by ian-mi almost 9 years ago - 2 comments

#10 - Fix type checking in GHC8

Pull Request - State: closed - Opened by ian-mi almost 9 years ago - 2 comments

#9 - GHC 8 build failure: type checker not happy

Issue - State: closed - Opened by deepfire almost 9 years ago - 2 comments

#9 - GHC 8 build failure: type checker not happy

Issue - State: closed - Opened by deepfire almost 9 years ago - 2 comments

#8 - Update example to demonstrate use of the DSum with two type parameters.

Pull Request - State: closed - Opened by lambdaknight about 9 years ago

#8 - Update example to demonstrate use of the DSum with two type parameters.

Pull Request - State: closed - Opened by lambdaknight about 9 years ago

#7 - Hackage documentation example out of date

Issue - State: closed - Opened by roboguy13 over 9 years ago

#7 - Hackage documentation example out of date

Issue - State: closed - Opened by roboguy13 over 9 years ago

#6 - Adding a two argument dependent sum?

Issue - State: closed - Opened by roboguy13 over 9 years ago - 3 comments

#6 - Adding a two argument dependent sum?

Issue - State: closed - Opened by roboguy13 over 9 years ago - 3 comments

#5 - Remove duplicate haddock markup

Pull Request - State: closed - Opened by TomMD over 10 years ago

#5 - Remove duplicate haddock markup

Pull Request - State: closed - Opened by TomMD over 10 years ago

#3 - GEq/GCompare and Kind Polymorphism

Issue - State: closed - Opened by plaidfinch over 10 years ago - 1 comment

#3 - GEq/GCompare and Kind Polymorphism

Issue - State: closed - Opened by plaidfinch over 10 years ago - 1 comment

#2 - Ambiguous occurrence `Refl' with base-4.7

Issue - State: closed - Opened by leonbaum about 11 years ago - 9 comments

#2 - Ambiguous occurrence `Refl' with base-4.7

Issue - State: closed - Opened by leonbaum about 11 years ago - 9 comments

#1 - Description too short

Issue - State: closed - Opened by nomeata over 11 years ago - 2 comments

#1 - Description too short

Issue - State: closed - Opened by nomeata over 11 years ago - 2 comments