issues
search
haskellari
/
some
Existential type.
BSD 3-Clause "New" or "Revised" License
36
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
GCompare could more explicitly document its laws
#63
jberryman
opened
2 months ago
0
Allow base-4.20
#62
phadej
closed
3 months ago
0
Bump version, add a changelog
#61
phadej
closed
10 months ago
0
Support GHC-9.8
#60
phadej
closed
11 months ago
0
Make it compile with ghc-9.8
#59
erikd
closed
11 months ago
0
Support ghc-9.8
#58
erikd
closed
11 months ago
1
Add instances for `SNat`, `SSymbol`, and `SChar`
#57
RyanGlScott
closed
10 months ago
8
GHC-9.6 without head.hackage
#56
phadej
closed
1 year ago
0
GEq (Product f g) instance requires more than needed.
#55
phadej
opened
1 year ago
0
Add EqP and OrdP
#54
phadej
closed
1 year ago
14
Resolve #47. Add explanation between GEq and TestEquality difference.
#53
phadej
closed
1 year ago
1
Drop support for GHC prior 8.6
#52
phadej
closed
1 year ago
0
Allow GHC-9.4?
#51
ulysses4ever
closed
2 years ago
2
Support GHC-9.4
#50
phadej
closed
2 years ago
0
bump base upper bound to <4.18
#49
mitchellwrosen
closed
2 years ago
0
Squash of stuff
#48
phadej
closed
2 years ago
0
Better docs to distinguish from TestEquality
#47
Ericson2314
closed
1 year ago
18
Create `GCoercible` class, analogous to `GEq`
#46
Ericson2314
opened
2 years ago
0
Add instances for `(:~~:)`
#45
Ericson2314
closed
2 years ago
3
Add instances for `:+:` and `:*:`
#44
Ericson2314
closed
2 years ago
4
doesn't need semigroups
#43
ocramz
closed
2 years ago
1
Make GNFData PolyKinded
#42
phadej
closed
3 years ago
0
Add GHC-9.0 job
#41
phadej
closed
3 years ago
0
Data.Some is safe too
#40
phadej
closed
3 years ago
0
GHC-9.0 code changes
#39
phadej
closed
3 years ago
0
Use GHA
#38
phadej
closed
3 years ago
0
Allow hetrogeneous equality
#37
wz1000
closed
4 years ago
1
Since proposal 287 GHC is fussier about `forall`
#36
vdukhovni
closed
3 years ago
3
add default.nix & shell.nix
#35
sorki
closed
4 years ago
1
add GEq instnaces for IORef and STRef
#34
sorki
opened
4 years ago
7
Support for `exists a b. Either a b` and `exists a. Either a Int`
#33
gelisam
closed
1 year ago
2
Documenting gread / GReadS
#32
infinity0
opened
4 years ago
1
add extra instances for GEq and GCompare
#31
jhartzell42
closed
2 years ago
3
Add newtypes for Monoid instances
#30
treeowl
closed
4 years ago
6
Port "Monoid newtypes"
#29
3noch
closed
4 years ago
2
Port "Implement GRead using an existential"
#28
3noch
closed
4 years ago
1
Port Data.Some.Lazy
#27
3noch
opened
4 years ago
2
Add default signature for GShow
#26
3noch
closed
4 years ago
2
Guard -XDeriveDataTypeable extension with CPP
#25
3noch
closed
4 years ago
4
Fix typo in #undef
#24
3noch
closed
4 years ago
2
Allow base-4.14
#23
phadej
closed
4 years ago
0
Data.Some.Church does not export withSome
#22
3noch
closed
4 years ago
2
WIP: Add quantified constraint superclasses
#21
Ericson2314
opened
4 years ago
5
Add `defaultGshowsPrec` using `showsPrec`
#20
Ericson2314
closed
2 years ago
5
GShow is the same as Show1 from base
#19
Ericson2314
closed
4 years ago
4
Add `defaultGeq` using `gcompare`
#18
Ericson2314
closed
2 years ago
6
Tag 1.0.0.3 missing
#17
srid
closed
4 years ago
1
TestEquality
#16
jonascarpay
closed
4 years ago
2
Fix Data.Dependent.Sum URL in haddocks
#15
jonascarpay
closed
4 years ago
1
Add withSomeM
#14
phadej
closed
4 years ago
0
Next