Cats core/cats.evidence/IsInstances

IsInstances

sealed abstract class IsInstances
class Object
trait Matchable
class Any
object Is

Implicits

Implicits

implicit val leibniz: Category[[A, B] =>> Is[A, B]]

The category instance on Leibniz categories.

The category instance on Leibniz categories.