scalaz-core/scalaz/LiskovInstances

LiskovInstances

sealed abstract
class LiskovInstances
class Object
trait Matchable
class Any
object Liskov

Implicits

Implicits

implicit
def isa[A, B >: A]: Liskov[A, B]

Lift Scala's subtyping relationship

Lift Scala's subtyping relationship

implicit
val liskov: Category[<~<]

Subtyping forms a category

Subtyping forms a category