Ecosyste.ms: Issues

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

GitHub / dorchard/type-level-sets issues and pull requests

#35 - Add type families TSet, Insert, TUnion, Intersection, Difference

Pull Request - State: closed - Opened by ddssff over 2 years ago - 1 comment

#35 - Add type families TSet, Insert, TUnion, Intersection, Difference

Pull Request - State: closed - Opened by ddssff over 2 years ago - 1 comment

#34 - Remove non-lazy If from Filter implementation

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

#33 - Add functional dependency to IsMember for better type inference

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

#32 - Add CI, rejig typeclasses on Sets

Pull Request - State: closed - Opened by raehik about 3 years ago - 1 comment

#32 - Add CI, rejig typeclasses on Sets

Pull Request - State: closed - Opened by raehik about 3 years ago - 1 comment

#31 - Build error on GHC 9.2.1

Issue - State: closed - Opened by bruno-cadorette about 3 years ago - 3 comments

#30 - Fix tests

Pull Request - State: closed - Opened by jmorag about 3 years ago - 1 comment

#29 - Add kind signature in SetProperties

Pull Request - State: closed - Opened by jmorag about 3 years ago - 1 comment

#28 - Export Sortable class from Data.Type.Map

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

#28 - Export Sortable class from Data.Type.Map

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

#27 - Export Data.Type.Map.Sortable

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

#27 - Export Data.Type.Map.Sortable

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

#26 - Map: lookp return value type inference and multiple identical keys

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

#25 - Need some guidance / documentation

Issue - State: open - Opened by ddssff almost 5 years ago - 2 comments

#25 - Need some guidance / documentation

Issue - State: open - Opened by ddssff almost 5 years ago - 2 comments

#24 - Added instance of Ord to Set.

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

#24 - Added instance of Ord to Set.

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

#23 - Stable sort

Pull Request - State: closed - Opened by ghost about 5 years ago - 1 comment

#23 - Stable sort

Pull Request - State: closed - Opened by ghost about 5 years ago - 1 comment

#22 - Added lookp to Data.Type.Set

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

#22 - Added lookp to Data.Type.Set

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

#21 - Type level Sum/Variant

Issue - State: open - Opened by xal-0 over 5 years ago

#21 - Type level Sum/Variant

Issue - State: open - Opened by xal-0 over 5 years ago

#20 - Prevent bad build plans on older GHCs by expressing dependence on TypeInType

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

#20 - Prevent bad build plans on older GHCs by expressing dependence on TypeInType

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

#19 - Update to compatibility with 8.4 type changes

Pull Request - State: closed - Opened by ivanbakel over 6 years ago - 3 comments

#19 - Update to compatibility with 8.4 type changes

Pull Request - State: closed - Opened by ivanbakel over 6 years ago - 3 comments

#18 - Support for GHC 8.4 (kind polymorphism)

Issue - State: closed - Opened by vizziv over 6 years ago - 1 comment

#18 - Support for GHC 8.4 (kind polymorphism)

Issue - State: closed - Opened by vizziv over 6 years ago - 1 comment

#17 - Compilation performance

Issue - State: open - Opened by etorreborre over 6 years ago - 20 comments

#17 - Compilation performance

Issue - State: open - Opened by etorreborre over 6 years ago - 20 comments

#16 - Alphabetical sort for `Cmp` instance

Issue - State: open - Opened by etorreborre over 6 years ago

#16 - Alphabetical sort for `Cmp` instance

Issue - State: open - Opened by etorreborre over 6 years ago

#15 - Add `Data.Type.Functor.Map`

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

#15 - Add `Data.Type.Functor.Map`

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

#14 - How to simplify signatures?

Issue - State: open - Opened by ivanperez-keera almost 7 years ago - 4 comments

#14 - How to simplify signatures?

Issue - State: open - Opened by ivanperez-keera almost 7 years ago - 4 comments

#13 - Multisets

Issue - State: open - Opened by ivanperez-keera almost 7 years ago

#13 - Multisets

Issue - State: open - Opened by ivanperez-keera almost 7 years ago

#12 - Simplified Eq instance and added Ord instance for Map

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

#12 - Simplified Eq instance and added Ord instance for Map

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

#11 - Why does the Eq instance of Map involve comparing the key?

Issue - State: open - Opened by jchia almost 7 years ago - 2 comments

#11 - Why does the Eq instance of Map involve comparing the key?

Issue - State: open - Opened by jchia almost 7 years ago - 2 comments

#10 - NotMember?

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

#10 - NotMember?

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

#9 - Custom compile-time errors

Issue - State: closed - Opened by agocorona about 7 years ago - 3 comments

#9 - Custom compile-time errors

Issue - State: closed - Opened by agocorona about 7 years ago - 3 comments

#8 - How to eliminate elements in the set?

Issue - State: closed - Opened by agocorona about 7 years ago - 16 comments

#8 - How to eliminate elements in the set?

Issue - State: closed - Opened by agocorona about 7 years ago - 16 comments

#7 - Add `Data.Type.Functor.Map`

Pull Request - State: closed - Opened by bch29 over 7 years ago - 1 comment

#7 - Add `Data.Type.Functor.Map`

Pull Request - State: closed - Opened by bch29 over 7 years ago - 1 comment

#6 - Eq and Show instances

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

#6 - Eq and Show instances

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

#5 - set order comparison

Issue - State: open - Opened by joeyh almost 9 years ago - 1 comment

#5 - set order comparison

Issue - State: open - Opened by joeyh almost 9 years ago - 1 comment

#4 - Missing the ability to do submaps.

Issue - State: closed - Opened by dorchard about 9 years ago

#4 - Missing the ability to do submaps.

Issue - State: closed - Opened by dorchard about 9 years ago

#3 - Add Delete operation to delete element from Set

Pull Request - State: closed - Opened by k-bx over 9 years ago - 1 comment

#3 - Add Delete operation to delete element from Set

Pull Request - State: closed - Opened by k-bx over 9 years ago - 1 comment

#2 - missing Subset instance

Pull Request - State: closed - Opened by notogawa about 10 years ago - 1 comment

#2 - missing Subset instance

Pull Request - State: closed - Opened by notogawa about 10 years ago - 1 comment

#1 - Incorrect version constraint in dependencies for base

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

#1 - Incorrect version constraint in dependencies for base

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