These are chat archives for non/algebra

23rd
Apr 2016
Kai(luo) Wang
@kailuowang
Apr 23 2016 00:19 UTC
@non so, do you want to cut the release and then I can update cats with it? Looks like there are some breaking change.
Apr 23 2016 00:28 UTC
@kailuowang there will also be some tuple instances we can remove in a couple places. i know we have something like cats.laws.discipline.eq or something
Kai(luo) Wang
@kailuowang
Apr 23 2016 00:46 UTC

noticed that in algebra.ring there is doc reference to classes in algebra.lattice, e.g. https://github.com/non/algebra/blob/master/ring/src/main/scala/algebra/ring/BoolRng.scala#L9-L10
this prevents doc gen from being able to create link since the depenency is the other way around (lattice -> ring) , here is the error

[error] /projects/algebra/ring/src/main/scala/algebra/ring/BoolRng.scala:4: Could not find any member to link for "algebra.lattice.GenBool".
[error] /**
[error] ^

Is there any way to fix this other than removing the auto link?

Apr 23 2016 00:50 UTC
@kailuowang yeah i ran into that too when trying to bump ScalaCheck
you can see a few places where i ahd to modify the scaladoc https://github.com/non/algebra/pull/144/files
Kai(luo) Wang
@kailuowang
Apr 23 2016 00:52 UTC
non/algebra#149 created
Kai(luo) Wang
@kailuowang
Apr 23 2016 01:18 UTC
Thanks @non for merging the doc ref fix PR. @adelbertc I removed the Eq instance for Tuple2 and Tuple3 in cats, everything builds. I am ready to submit the PR to cats as soon as algebra releases.
Erik Osheim
@non
Apr 23 2016 01:52 UTC
@kailuowang thanks for the PR. i'll ping you here once release is out
i'm on a train with bad internet so it might not be until late tonight or tomorrow morning
for an arbitrary equivalence relation $R$ on a set $X$, you can construct another equivalence relation by taking exponentials of $X^{n}$ where the equivalence relation is defined position-wise right
like $R^{2}((a, b), (c, d))$ if $R(a, c)$ and $R(b, d)$