Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ekmett/eq issues and pull requests
#20 - Add `apply` to `Data.Eq.Type.Hetero`
Pull Request -
State: closed - Opened by RyanGlScott about 3 years ago
#19 - Implement `apply` in `Data.Eq.Type.Hetero`
Issue -
State: closed - Opened by RyanGlScott about 3 years ago
- 1 comment
Labels: enhancement
#18 - Use type-equality shim, drop pre GHC-7 support
Pull Request -
State: closed - Opened by phadej about 3 years ago
- 2 comments
#17 - Add apply
Pull Request -
State: closed - Opened by phadej about 3 years ago
#16 - Generalize `lower{,2,3}`
Pull Request -
State: closed - Opened by RyanGlScott about 3 years ago
#15 - Generalize `lower` et al.
Issue -
State: closed - Opened by RyanGlScott about 3 years ago
#14 - Make lower{2,3} poly-kinded
Pull Request -
State: closed - Opened by RyanGlScott over 6 years ago
#13 - Add a heterogeneous version of (:=)
Pull Request -
State: closed - Opened by RyanGlScott over 6 years ago
- 1 comment
#12 - Add TestEquality and TestCoercion instances for (:=)
Pull Request -
State: closed - Opened by RyanGlScott almost 7 years ago
#11 - Make := a newtype
Pull Request -
State: closed - Opened by RyanGlScott over 7 years ago
- 1 comment
#10 - Lower fixes
Pull Request -
State: closed - Opened by phadej about 8 years ago
#9 - Add equivalence with :~:
Pull Request -
State: closed - Opened by phadej about 8 years ago
#7 - Fix typo. s/substite/substitute
Pull Request -
State: closed - Opened by jbgi over 8 years ago
#6 - Build failure with GHC 7.6.3
Issue -
State: closed - Opened by snoyberg over 10 years ago
- 5 comments
#5 - Kind polymorphic :=
Pull Request -
State: closed - Opened by bens over 10 years ago
- 2 comments
#4 - Make := kind polymorphic
Issue -
State: closed - Opened by bens over 10 years ago
- 2 comments
#3 - Disable TypeFamilies for GHC >= 7.6 (issue 2)
Pull Request -
State: closed - Opened by np over 11 years ago
- 1 comment
#2 - Build failure with GHC 7.6.2
Issue -
State: closed - Opened by snoyberg over 11 years ago
- 3 comments
#1 - How to make lower available.
Issue -
State: closed - Opened by sjoerdvisscher over 12 years ago
- 2 comments