issues
search
typelevel
/
algebra
Experimental project to lay out basic algebra type classes
https://typelevel.org/algebra/
Other
378
stars
69
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make sure commutativity of CommutativeRing is tested.
#103
TomasMikula
closed
8 years ago
1
Let Ring and CommutativeRing companions extend RingFunctions.
#102
TomasMikula
closed
8 years ago
11
Add DistributiveLattice, update Readme
#101
johnynek
closed
8 years ago
8
is lattice a distributive lattice?
#100
johnynek
closed
8 years ago
3
Remove platform-specific rint implementation.
#99
non
closed
8 years ago
3
Add BoolRing type class
#98
TomasMikula
closed
8 years ago
7
Fix bug in .asCommutativeRing, and ensure it is correct.
#97
non
closed
8 years ago
2
Fix band specialization
#96
johnynek
closed
8 years ago
6
re-enable mima after 0.4.0 is published.
#95
johnynek
closed
5 years ago
1
Remove asCommutativeRing from Heyting
#94
johnynek
closed
8 years ago
4
Add distributive lattice
#93
johnynek
closed
8 years ago
2
Test Heyting algebra laws.
#92
TomasMikula
closed
8 years ago
0
Override repeatedCombineN and combineAllOption for Unit algebra
#91
ceedubs
closed
8 years ago
2
Band is specialized on too much
#90
johnynek
closed
8 years ago
2
Heyting#asCommutativeRing broken
#89
TomasMikula
closed
8 years ago
24
Add Mima for core
#88
johnynek
closed
8 years ago
1
Add Unit instances
#87
ceedubs
closed
8 years ago
8
Add EqK, SemigroupK, and MonoidK?
#86
ceedubs
closed
7 years ago
10
Add tests for EuclideanRings
#85
johnynek
closed
7 years ago
1
Semigroup/Monoid.combineN: Express partiality with values not exceptions
#84
jbgi
opened
8 years ago
6
Efficient combineAll methods for boilerplate code gen
#83
adelbertc
opened
8 years ago
0
Code gen for tuple instances
#82
adelbertc
closed
8 years ago
7
Type class instances for tuples
#81
adelbertc
closed
8 years ago
2
Typo fixes in comments
#80
pleira
closed
8 years ago
4
Set instances
#79
fsvehla
closed
8 years ago
4
Symbolic infix operators
#78
TomasMikula
opened
8 years ago
13
Update the README to 0.3.1.
#77
non
closed
9 years ago
2
Add macros to released artifacts
#76
ghost
closed
9 years ago
1
Update the README for 0.3.0.
#75
non
closed
9 years ago
0
Remove platform specific rint()
#74
ghost
closed
8 years ago
0
Add scala.js support
#73
ghost
closed
9 years ago
12
Should improve the workflow when releasing to Sonatype.
#72
non
closed
9 years ago
5
For now, N=1.
#71
non
closed
9 years ago
4
Added fromAll to Eq,Order,PartialOrder (#69)
#70
FrankRaiser
closed
8 years ago
16
Add byAll and fromAll to Eq/PartialOrder/Order
#69
non
opened
9 years ago
3
Add a Mima test for core
#68
johnynek
closed
5 years ago
4
submit Priority to scala.util.Priority?
#67
johnynek
opened
9 years ago
5
Fix typo in README
#66
YawarRaza7349
closed
9 years ago
3
Stay DRY between tested types and test names.
#65
TomasMikula
closed
9 years ago
7
Add AdjoinedUnit to create a Ring from a Rng
#64
johnynek
opened
9 years ago
0
Eq.by eliminate new Eq instantiation
#63
pjan
closed
9 years ago
2
PartialOrder instance for Set
#62
adelbertc
closed
9 years ago
7
PartialOrder instance for Set
#61
adelbertc
closed
9 years ago
1
OrderLaws s/eq/eqv
#60
adelbertc
closed
9 years ago
2
instances for vector
#59
non
opened
9 years ago
2
Automatic style-checking and/or scalariform rewriting
#58
non
opened
9 years ago
1
Use macros to remove duplicate between tests and names
#57
non
closed
9 years ago
0
Q: Do votes on PRs from general public count?
#56
TomasMikula
opened
9 years ago
5
Fix typos in LawTests.
#55
TomasMikula
closed
9 years ago
2
use simlacrum everywhere possible
#54
pjan
closed
5 years ago
9
Previous
Next