Sir Wabbit

Newtype typeclass?

3

https://pursuit.purescript.org/packages/purescript-newtype/2.0.0/docs/Data.Newtype

https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Forall.scala#L22 https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Forall.scala#L22 It is not sound: ```scala type Void Void) => Void final case class Return[A](tag: AnyRef, a: A) extends Throwable { override def fillInStackTrace(): Throwable = this } def...

Swagger Json does not include /cut endpoint

1

For some reason `/swagger.json` does not include `/chainweb/0.0/mainnet01/cut/` endpoint. Node version: 1.2

Scroogle (Hoogle) for Scala

1

This should actually be relatively straightforward. https://github.com/ndmitchell/hoogle/tree/hoogle4 https://github.com/scalameta/scalameta/blob/master/semanticdb/semanticdb3/semanticdb3.md

Make mixins component a little bit smarter

1

Consider this case: ```scala implicit def contravariant1[F[_]: Contravariant, G[_]: Functor]: Contravariant[[x] F[G[x]]] implicit def contravariant2[F[_]: Functor, G[_]: Contravariant]: Contravariant[[x] F[G[x]]] implicit def divisible1[F[_]: Divisible, G[_]: Applicative]: Divisible[[x] F[G[x]]] implicit def...

Optimize Option[A] as A | Null

1

As discussed with @odomontois on Telegram, in _non-polymorphic context_, `Option[A]` can be replaced with `A | Null` (primitives would have to be replaced with their Java counterparts in Scala2). Consider...

https://github.com/scalaz/scalaz/pull/1861#pullrequestreview-127842669

Sufficiency checker complains about a valid instance.

3

```scala import scalaz.meta.minimal trait InvariantFunctor[F[_]] { def imap[A, B](ma: F[A])(f: A => B)(g: B => A): F[B] } trait Functor[F[_]] extends InvariantFunctor[F] { def map[A, B](ma: F[A])(f: A => B):...

Singleton improvements

4

Convince Scalac that all instances of a typeclass or a proposition have the same singleton type. Could be crucial for associated types... ~~Convince Scalac that `val x = ...; val...