haskellari/some issues and pull requests

#62 - Allow base-4.20

Pull Request - State: closed - Opened by phadej 6 months ago

#61 - Bump version, add a changelog

Pull Request - State: closed - Opened by phadej about 1 year ago

#60 - Support GHC-9.8

Pull Request - State: closed - Opened by phadej about 1 year ago

#59 - Make it compile with ghc-9.8

Issue - State: closed - Opened by erikd about 1 year ago

#58 - Support ghc-9.8

Pull Request - State: closed - Opened by erikd about 1 year ago - 1 comment

#57 - Add instances for `SNat`, `SSymbol`, and `SChar`

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 8 comments

#56 - GHC-9.6 without head.hackage

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

#55 - GEq (Product f g) instance requires more than needed.

Issue - State: open - Opened by phadej about 2 years ago

#54 - Add EqP and OrdP

Pull Request - State: closed - Opened by phadej about 2 years ago - 14 comments

#53 - Resolve #47. Add explanation between GEq and TestEquality difference.

Pull Request - State: closed - Opened by phadej about 2 years ago - 1 comment

#52 - Drop support for GHC prior 8.6

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

#51 - Allow GHC-9.4?

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

#50 - Support GHC-9.4

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

#49 - bump base upper bound to <4.18

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

#48 - Squash of stuff

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

#47 - Better docs to distinguish from TestEquality

Issue - State: closed - Opened by Ericson2314 over 2 years ago - 18 comments

#46 - Create `GCoercible` class, analogous to `GEq`

Pull Request - State: open - Opened by Ericson2314 over 2 years ago

#45 - Add instances for `(:~~:)`

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

#44 - Add instances for `:+:` and `:*:`

Pull Request - State: closed - Opened by Ericson2314 over 2 years ago - 4 comments

#43 - doesn't need semigroups

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

#42 - Make GNFData PolyKinded

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

#41 - Add GHC-9.0 job

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

#40 - Data.Some is safe too

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

#39 - GHC-9.0 code changes

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

#38 - Use GHA

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

#37 - Allow hetrogeneous equality

Pull Request - State: closed - Opened by wz1000 over 4 years ago - 1 comment

#36 - Since proposal 287 GHC is fussier about `forall`

Pull Request - State: closed - Opened by vdukhovni over 4 years ago - 3 comments

#35 - add default.nix & shell.nix

Pull Request - State: closed - Opened by sorki over 4 years ago - 1 comment

#34 - add GEq instnaces for IORef and STRef

Pull Request - State: open - Opened by sorki over 4 years ago - 7 comments

#33 - Support for `exists a b. Either a b` and `exists a. Either a Int`

Issue - State: closed - Opened by gelisam over 4 years ago - 2 comments

#32 - Documenting gread / GReadS

Issue - State: open - Opened by infinity0 over 4 years ago - 1 comment
Labels: documentation, help wanted

#31 - add extra instances for GEq and GCompare

Pull Request - State: closed - Opened by jhartzell42 over 4 years ago - 3 comments

#30 - Add newtypes for Monoid instances

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

#29 - Port "Monoid newtypes"

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

#28 - Port "Implement GRead using an existential"

Issue - State: closed - Opened by 3noch over 4 years ago - 1 comment

#27 - Port Data.Some.Lazy

Issue - State: open - Opened by 3noch over 4 years ago - 2 comments
Labels: help wanted

#26 - Add default signature for GShow

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

#25 - Guard -XDeriveDataTypeable extension with CPP

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

#24 - Fix typo in #undef

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

#23 - Allow base-4.14

Pull Request - State: closed - Opened by phadej over 4 years ago

#22 - Data.Some.Church does not export withSome

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

#21 - WIP: Add quantified constraint superclasses

Pull Request - State: open - Opened by Ericson2314 almost 5 years ago - 5 comments

#20 - Add `defaultGshowsPrec` using `showsPrec`

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

#19 - GShow is the same as Show1 from base

Issue - State: closed - Opened by Ericson2314 almost 5 years ago - 4 comments

#18 - Add `defaultGeq` using `gcompare`

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

#17 - Tag 1.0.0.3 missing

Issue - State: closed - Opened by srid almost 5 years ago - 1 comment

#16 - TestEquality

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