scalaz-core/scalaz/LiskovF

LiskovF

object LiskovF
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type <~~<[-A[_], +B[_]] = LiskovF[A, B]
type >~~>[+A[_], -B[_]] = LiskovF[B, A]

Implicits

Implicits

implicit
def refl[A[_]]: LiskovF[A, A]