cats-docs/cats.evidence/IsInstances

IsInstances

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

Implicits

Implicits

implicit val leibniz: Category[Is]

The category instance on Leibniz categories.

The category instance on Leibniz categories.