scalaz-core/scalaz/LiskovF

LiskovF

sealed abstract
class LiskovF[-A[_], +B[_]]
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def substCo[F[_[_]]](p: F[A]): F[B]
def substCt[F[_[_]]](p: F[B]): F[A]

Concrete methods

def apply[X](a: A[X]): B[X]