algebra-master
project
build.properties
18B
Boilerplate.scala
6KB
plugins.sbt
928B
.github
workflows
ci.yml
3KB
clean.yml
2KB
sbt
23KB
COPYING
1KB
laws
shared
src
test
scala
algebra
laws
LawTests.scala
10KB
SimpleHeyting.scala
2KB
FPApprox.scala
6KB
Rat.scala
3KB
SimpleDeMorgan.scala
2KB
main
scala
algebra
laws
RingLaws.scala
9KB
GroupLaws.scala
3KB
LatticePartialOrderLaws.scala
3KB
IsSerializable.scala
1KB
CheckSupport.scala
342B
DeMorganLaws.scala
2KB
Rules.scala
3KB
LatticeLaws.scala
4KB
LogicLaws.scala
3KB
OrderLaws.scala
3KB
package.scala
1KB
BaseLaws.scala
557B
js
src
main
scala
algebra
laws
platform
Platform.scala
264B
jvm
src
main
scala
algebra
laws
platform
Platform.scala
264B
core
src
test
scala
algebra
ring
RingTest.scala
266B
Instances.scala
795B
main
scala
algebra
ring
BoolRng.scala
661B
Semiring.scala
773B
Ring.scala
4KB
Rng.scala
667B
CommutativeRig.scala
496B
CommutativeRing.scala
421B
Multiplicative.scala
8KB
Field.scala
893B
BoolRing.scala
569B
Additive.scala
8KB
Rig.scala
638B
CommutativeSemiring.scala
519B
CommutativeRng.scala
458B
lattice
Bool.scala
3KB
Logic.scala
2KB
Lattice.scala
1KB
BoundedLattice.scala
1KB
JoinSemilattice.scala
998B
MeetSemilattice.scala
1000B
BoundedJoinSemilattice.scala
971B
Heyting.scala
3KB
DistributiveLattice.scala
952B
BoundedDistributiveLattice.scala
2KB
BoundedMeetSemilattice.scala
913B
DeMorgan.scala
2KB
GenBool.scala
3KB
Priority.scala
2KB
instances
long.scala
858B
byte.scala
903B
StaticMethods.scala
758B
float.scala
1KB
unit.scala
651B
short.scala
945B
double.scala
1KB
set.scala
1KB
list.scala
142B
char.scala
142B
boolean.scala
1KB
tuple.scala
79B
array.scala
2KB
string.scala
150B
map.scala
4KB
int.scala
836B
option.scala
150B
all.scala
555B
bitSet.scala
596B
bigInt.scala
737B
bigDecimal.scala
1019B
package.scala
1KB
benchmark
src
main
scala
algebra
ExampleBenchmark.scala
728B
README.md
1KB
CONTRIBUTING.md
6KB
build.sbt
10KB
version.sbt
41B
README.md
4KB
docs
docs
main
tut
typeclasses.md
644B
typeclasses
overview.md
8KB
cookbook.md
259B
index.md
2KB
faq.md
581B
cookbook
cookbook.md
306B
resources
microsite
data
menu.yml
628B
CODE_OF_CONDUCT.md
707B
.gitignore
214B
CHANGELOG.md
52B
暂无评论