Tomas Mikula
Tomas Mikula
``` scala val x = 1/0 // linter:ignore DivideByZero,YodaConditions ``` should cause a warning about `YodaConditions` not present on the line.
``` scala val x = 1/0 // linter:ignore DivideByZeor ``` should issue a warning about unrecognized check (notice the typo).
The meaning of "Instances" differs between `MonadInstances` and `DisjunctionInstances`: - `MonadInstances`: instances of *the* `Monad` typeclass for *various* data types; - `DisjunctionInstances`: instances of *various* typeclasses for *the* `Disjunction` data...
This amounts to overriding the `Apply#unfoldrOpt` method ```scala def unfoldrOpt[S, A, B](seed: S)(f: S => Maybe[(F[A], S)])(implicit R: Reducer[A, B]): Maybe[F[B]] ``` so that it terminates as soon the result...
I'm just checking out this library and have two questions (that go against each other): 1. Are duplicate properties avoided? For example, `monad.all` inherits `apply.all` both via `bind.all` and `applicative.all`....
The [development process](https://github.com/non/algebra#development-process) doesn't say that only +1s from people with merge access count. Does it mean that votes from anyone count?
Hi, is there a plan to add symbolic infix operators [as in Cats](http://typelevel.org/blog/2015/08/07/symbolic-operators.html)?
To contain the respective DSLs, library utilities, implementations. Analogous to the `scaletto` subpackage.
It will be weaker than the current `CoreDSL`.