Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/typelevel/algebra
Experimental project to lay out basic algebra type classes
https://github.com/typelevel/algebra
Also mention which Scala versions we support, scala.js, etc.
07b5b87be2433598f4c1db7506cb1200f937c3ce authored over 9 years ago by Erik Osheim <[email protected]>aada0832da2899976a079fec2a2f34ffd9df83d4 authored over 9 years ago by Erik Osheim <[email protected]>
798b45ce11b33d3563c28a21d01fd6b2209f86a5 authored over 9 years ago by Erik Osheim <[email protected]>
Add scala.js support
be3c286165522631bb99e65f1428916b5c2c8815 authored over 9 years ago by Erik Osheim <[email protected]>61968231a263b4c60ef7edb343e1cb6b9ca0f05c authored over 9 years ago by Alistair Johnson <[email protected]>
ef836eff8b65ad6385daf9a39896c8433cd897b3 authored over 9 years ago by Erik Osheim <[email protected]>
9a3cffaa55c4fa0fa70a3b883e5c058a16cae02d authored over 9 years ago by Erik Osheim <[email protected]>
95310dbd6a8753ac60fa3f855c90b353abbdf085 authored over 9 years ago by Erik Osheim <[email protected]>
For now, N=1.
97c1c5527d8b9142bd27e2b57b79d7a3d5abfc9c authored over 9 years ago by Erik Osheim <[email protected]>69ce2e2647d1c176f510c211ba00ac532cf575b7 authored over 9 years ago by Erik Osheim <[email protected]>
8012c3a0323dcc75a7ddafe3ecb9829938713e05 authored over 9 years ago by Erik Osheim <[email protected]>
cb08ab3398c48ca5eaf57ed157f3709422f35668 authored over 9 years ago by Erik Osheim <[email protected]>
Fix typo in README
99477b3370819419a414febf443d641efd258550 authored over 9 years ago by Erik Osheim <[email protected]>806334deb84cdd194039a628fa6f618408c15e9f authored over 9 years ago by YawarRaza7349 <[email protected]>
Stay DRY between tested types and test names.
24b6f1cd6618b2888674ceee7b6ad9785418383e authored over 9 years ago by P. Oscar Boykin <[email protected]>The solution uses implicit TypeTags to obtain type names.
Resolves #57.
dc051a089ea4e7a00cb7da3a927fa4a3ba684a5f authored over 9 years ago by Tomas Mikula <[email protected]>Eq.by eliminate new Eq instantiation
89bb6c1edf4355683d3177745e66e62e93de5de0 authored over 9 years ago by Erik Osheim <[email protected]>dd3b3c218a5e67a0abc492c36d53ce60753675d0 authored over 9 years ago by pjan vandaele <[email protected]>
178426d1eefb86f07994c7b7de153203ad947d4c authored over 9 years ago by P. Oscar Boykin <[email protected]>
a5df4374f7b19d732953d30fcdbc98df98ab59fd authored over 9 years ago by Adelbert Chang <[email protected]>
a85670773b2be195d2f59473bcc6431f4c291868 authored over 9 years ago by Adelbert Chang <[email protected]>
a04bacedcdc9d9097cee9f1dbf1d6007bfbdb0b8 authored over 9 years ago by Adelbert Chang <[email protected]>
OrderLaws s/eq/eqv
3c28db950c49098d3eaaee6f264b23b3778a1bdd authored over 9 years ago by Erik Osheim <[email protected]>be7c50500c4ec3f4f13d452bf38c6fc4d695afcd authored over 9 years ago by Adelbert Chang <[email protected]>
Bump Scala, library versions.
d06e48419b5c74b79741ca47638905079feab1b5 authored over 9 years ago by Erik Osheim <[email protected]>Topic/clean up std instances
fb896cd2d70c196896674e554690eeb530223555 authored over 9 years ago by Erik Osheim <[email protected]>6724e515990b7975e1659301b3405a3c5a2b6920 authored over 9 years ago by Erik Osheim <[email protected]>
0707bbcdf00a2ef29acfbab9fab5dd9fbe53c719 authored over 9 years ago by Erik Osheim <[email protected]>
a6d0b151242cd6f001fe908e10022add4e27f569 authored over 9 years ago by Erik Osheim <[email protected]>
5f091f67fbfa3377f5ab6103ed042ef2eeab85d7 authored over 9 years ago by Erik Osheim <[email protected]>
Fix typos in LawTests.
d4bfb57dae4523186d31e1499c96ce361a2adaae authored over 9 years ago by P. Oscar Boykin <[email protected]>8dabb4bbae436f2dbd7608ce3542e275e53fbe4b authored over 9 years ago by Tomas Mikula <[email protected]>
Band Documentation typo
bff71d3f34f8d159e14ba21cb439d95e18941acd authored over 9 years ago by Erik Osheim <[email protected]>934a32d0b1a565849739aba0bdd87fe928612999 authored over 9 years ago by pjan vandaele <[email protected]>
This commit:
1. Creates and uses: def Lattice.minMax[A: Order].
2. Add documentation to some of...
Pretty much what it sounds like.
66d083d5bb311bd320fe6d79741d232643a938e9 authored over 9 years ago by Erik Osheim <[email protected]>Fix Eq derivative method
6146bd7348a2f89ecc621d97c5bf1e172b465193 authored over 9 years ago by Erik Osheim <[email protected]>d046ed1ee97b48c77d2471de75269643d6f2753d authored over 9 years ago by pjan vandaele <[email protected]>
Publish API mappings metadata
69b2b05f20abd32a67672253ac396a02ecbdc1c0 authored over 9 years ago by Erik Osheim <[email protected]>Eq instance creation helpers
f20b3deee7a2e2a423ad1d5973b95b012fe912ce authored over 9 years ago by Tom Switzer <[email protected]>85575e4f8e10379076b5f3f1186534494a724908 authored almost 10 years ago by Cody Allen <[email protected]>
This commit also standardizes the naming for implicit instances
in map.scala.
596b2ba8f0238139ab951595d761440211b8cc5c authored almost 10 years ago by Erik Osheim <[email protected]>
I would say this still needs a bit more work, as well as
some decisions around:
1. Should a "d...
c8c17724107a62d885b8d05f336e4a1d13ad7f4e authored almost 10 years ago by Erik Osheim <[email protected]>fda7d9b31044e8785f71053314d1ef117b4cba11 authored almost 10 years ago by Travis Brown <[email protected]>
Migrate to build.sbt and add API docs site and publishing config
d7a251c6f1fbf732696b94ecb275eaf678087b8b authored almost 10 years ago by Erik Osheim <[email protected]>9d43e0dd81390c3475ef270e438d303c31925228 authored almost 10 years ago by Travis Brown <[email protected]>
b85650c27a1f8abb475de0dc17c3dead8ba6e570 authored almost 10 years ago by Erik Osheim <[email protected]>
It also introduces a util.StaticMethods object for more
involved implementations that can be sha...
Make algebra.Eq[A] compatible with scala.math.Equiv[A].
d9abf08a98bb94953ff28eba24b20a6e4df07dc8 authored almost 10 years ago by Tom Switzer <[email protected]>Fix root build.sbt set up.
25e12d612bbef770aaedfea4715761ec2924bbf2 authored almost 10 years ago by Tom Switzer <[email protected]>
These changes were ported here from the 'hash' PR (#38).
This commit adds an implicit from Eq[A]...
4b4b6e9b158149ceda5c716a516837b79ed7add6 authored almost 10 years ago by Erik Osheim <[email protected]>
This change means that subprojects will inherit the root
build.sbt settings. Since this was alwa...
Refactor laws to use bases correctly
cfa9aad14286c89725a26d58fb988d5226995344 authored almost 10 years ago by P. Oscar Boykin <[email protected]>73102e0be75f0a2dd0d2209395c70011fe34508f authored almost 10 years ago by Lars Hupel <[email protected]>
235279efb9d15755f796c2197aecca769e800624 authored almost 10 years ago by Lars Hupel <[email protected]>
Remove Boolean, Byte, and Short specialization from most things.
7bd0a35b607fb8dfeaca60aeed59d4bf1490707e authored almost 10 years ago by Tom Switzer <[email protected]>
Conflicts:
core/src/main/scala/algebra/CommutativeSemigroup.scala
core/src/main/scala/algebra/...
Remove isCommutative/hasCommutative
342479980072bebd0967129c2c05bbf645a14196 authored almost 10 years ago by Erik Osheim <[email protected]>e7195f4ac8b11026d10bc24868c6f9d4ef8c1529 authored almost 10 years ago by P. Oscar Boykin <[email protected]>
Added Band, sorted the README table
5c160572861eaae6a7f3671e60e24e109b8f369b authored almost 10 years ago by P. Oscar Boykin <[email protected]>1cf9de8f16175365126299786cb707868603656c authored almost 10 years ago by P. Oscar Boykin <[email protected]>
51055f0f94e862229bfc4c217caceec51c180ec5 authored almost 10 years ago by P. Oscar Boykin <[email protected]>
The only places where we still specialize on these types is in
Eq/PartialOrder/Order, where we s...
This commit adds a rule that tests serializability.
d60cd69cc21dfc79b31412c1c56b561034f44f29 authored almost 10 years ago by Tom Switzer <[email protected]>f911143cbbf0583935a0d4fc6801255c0e2aa745 authored almost 10 years ago by P. Oscar Boykin <[email protected]>
0e346caa748c40677bfb984d37887c6c3859e29a authored almost 10 years ago by Erik Osheim <[email protected]>
Topic/travis
b688f7d8265e9be3185774f41f02610690aae127 authored almost 10 years ago by Tom Switzer <[email protected]>
It turns out that Rat instances weren't serializable,
which was obviously causing problems for R...
7bbf16ccc262964f8008066e6cdc3f70a920c33d authored almost 10 years ago by Erik Osheim <[email protected]>
61b593f074f0e6fc21875903fa073a5d4dccf646 authored almost 10 years ago by Erik Osheim <[email protected]>
This commit adds tests to ensure lattices (and semilattices)
are all serializable. It also adds ...
It also adds the Serializable trait to all the
algebraic type classes.
Fixes #13.
c5a5151d20ef75e88efc8d4acd550b6cb1770594 authored almost 10 years ago by Erik Osheim <[email protected]>Fix algebraic properties link
59dd152e5ba41744266371d757a9d3dac6c89574 authored almost 10 years ago by P. Oscar Boykin <[email protected]>Add subprojects; first pass at adding laws and tests.
4b14d6b6a493103c89388c97a12186d6bceb7fdf authored almost 10 years ago by P. Oscar Boykin <[email protected]>
Also use only header names instead of full URLs in links to make it a
bit less brittle (helps wi...
7928a89ebdd822d4d2dc17442638b25132d3ecce authored almost 10 years ago by Erik Osheim <[email protected]>
37dc7480d412058bf60239788a0b6f01bd7cf15c authored almost 10 years ago by Erik Osheim <[email protected]>
This commit updates Semiring to require commutative +.
ee8f67e859ff27f47ae7941ad8c98253cbeacef3 authored almost 10 years ago by Tom Switzer <[email protected]>2a75f370bb794bdbaa0b53df1db8ab824b39d8f5 authored almost 10 years ago by Erik Osheim <[email protected]>
8f7a4576bce5bde75b70b7c250549a2c322199f5 authored almost 10 years ago by Erik Osheim <[email protected]>
It also improves the documentation a bit to make it clear
what is going on. It is a result of th...
2a273bb25d6c5c3ccda584187792138519c7dbcd authored almost 10 years ago by Erik Osheim <[email protected]>
This commit creates a CheckSupport object in algebra-laws,
moves the Arbitrary[Rat] instance the...
This commit adds the laws for Heyting and Boolean algebras.
c9e344665650724744665fbeddc81969426ef494 authored almost 10 years ago by Erik Osheim <[email protected]>This commit adds some new laws:
* LatticeLaws: laws for the lattice family (semilattices &c)
...
e2b199a1e3d7c80580859daa4781b493e01e0666 authored almost 10 years ago by Erik Osheim <[email protected]>
7c3c9f99265f558c47afa94c9bc18ec2249fa47d authored almost 10 years ago by Erik Osheim <[email protected]>
16df66e66486f75b92448efda0396d96d538b905 authored almost 10 years ago by P. Oscar Boykin <[email protected]>
e8f8d2600899246552b500cd0cfbef02c7bfb1f3 authored almost 10 years ago by P. Oscar Boykin <[email protected]>
Add support for lattices.
c5ebd4826d7f5eb32ab18e84a932076c3d9b4147 authored almost 10 years ago by Tom Switzer <[email protected]>f204ba8841b5b312b26b892e6691d3454babd39c authored almost 10 years ago by P. Oscar Boykin <[email protected]>
Topic/basic property tables
3d2f0247c3e347eb1849427cf2c9ca7d69ed7033 authored almost 10 years ago by Tom Switzer <[email protected]>034fa73dd006b5c8cb5ac5026c84da549573fd68 authored almost 10 years ago by Erik Osheim <[email protected]>
cb6f7ce784737b95b9bbba3952630d3628d5bacb authored almost 10 years ago by Erik Osheim <[email protected]>
d5a9814655e339b1d337f37847882701e582aa8a authored almost 10 years ago by Erik Osheim <[email protected]>
I changed the "generic multiplication" operator to make it harder
for people like me to get it m...
Oscar had pointed out that the naming convention for objects
like algebra.std.int was confusing....
4ea3d89707e6f06d1050f9e893d4c034cab42334 authored almost 10 years ago by Erik Osheim <[email protected]>