object
Liskov
extends AnyRef
Type Members
-
type
<~<
[-A, +B]
= Liskov[A, B]
-
type
>~>
[+B, -A]
= Liskov[A, B]
Value Members
-
def
!=
(arg0: AnyRef): Boolean
-
def
!=
(arg0: Any): Boolean
-
def
##
(): Int
-
def
==
(arg0: AnyRef): Boolean
-
def
==
(arg0: Any): Boolean
-
implicit def
LiskovCategory
: Category[$less$tilde$less]
-
def
asInstanceOf
[T0]
: T0
-
def
clone
(): AnyRef
-
def
co
[T[+_], A, A2]
(a: $less$tilde$less[A, A2]): $less$tilde$less[T[A], T[A2]]
-
def
co1_2
[T[+_, _], Z, A, B]
(a: $less$tilde$less[A, Z]): $less$tilde$less[T[A, B], T[Z, B]]
-
def
co1_3
[T[+_, _, _], Z, A, B, C]
(a: $less$tilde$less[A, Z]): $less$tilde$less[T[A, B, C], T[Z, B, C]]
-
def
co1_4
[T[+_, _, _, _], Z, A, B, C, D]
(a: $less$tilde$less[A, Z]): $less$tilde$less[T[A, B, C, D], T[Z, B, C, D]]
-
def
co2_2
[T[_, +_], Z, A, B]
(a: $less$tilde$less[B, Z]): $less$tilde$less[T[A, B], T[A, Z]]
-
def
co2_3
[T[_, +_, _], Z, A, B, C]
(a: $less$tilde$less[B, Z]): $less$tilde$less[T[A, B, C], T[A, Z, C]]
-
def
co2_4
[T[_, +_, _, _], Z, A, B, C, D]
(a: $less$tilde$less[B, Z]): $less$tilde$less[T[A, B, C, D], T[A, Z, C, D]]
-
def
co3_3
[T[_, _, +_], Z, A, B, C]
(a: $less$tilde$less[C, Z]): $less$tilde$less[T[A, B, C], T[A, B, Z]]
-
def
co3_4
[T[_, _, +_, _], Z, A, B, C, D]
(a: $less$tilde$less[C, Z]): $less$tilde$less[T[A, B, C, D], T[A, B, Z, D]]
-
def
co4_4
[T[_, _, _, +_], Z, A, B, C, D]
(a: $less$tilde$less[D, Z]): $less$tilde$less[T[A, B, C, D], T[A, B, C, Z]]
-
def
contra
[T[-_], A, A2]
(a: $less$tilde$less[A, A2]): $less$tilde$less[T[A2], T[A]]
-
def
contra1_2
[T[-_, _], Z, A, B]
(a: $less$tilde$less[A, Z]): $less$tilde$less[T[Z, B], T[A, B]]
-
def
contra1_3
[T[-_, _, _], Z, A, B, C]
(a: $less$tilde$less[A, Z]): $less$tilde$less[T[Z, B, C], T[A, B, C]]
-
def
contra1_4
[T[-_, _, _, _], Z, A, B, C, D]
(a: $less$tilde$less[A, Z]): $less$tilde$less[T[Z, B, C, D], T[A, B, C, D]]
-
def
contra2_2
[T[_, -_], Z, A, B]
(a: $less$tilde$less[B, Z]): $less$tilde$less[T[A, Z], T[A, B]]
-
def
contra2_3
[T[_, -_, _], Z, A, B, C]
(a: $less$tilde$less[B, Z]): $less$tilde$less[T[A, Z, C], T[A, B, C]]
-
def
contra2_4
[T[_, -_, _, _], Z, A, B, C, D]
(a: $less$tilde$less[B, Z]): $less$tilde$less[T[A, Z, C, D], T[A, B, C, D]]
-
def
contra3_3
[T[_, _, -_], Z, A, B, C]
(a: $less$tilde$less[C, Z]): $less$tilde$less[T[A, B, Z], T[A, B, C]]
-
def
contra3_4
[T[_, _, -_, _], Z, A, B, C, D]
(a: $less$tilde$less[C, Z]): $less$tilde$less[T[A, B, Z, D], T[A, B, C, D]]
-
def
contra4_4
[T[_, _, _, -_], Z, A, B, C, D]
(a: $less$tilde$less[D, Z]): $less$tilde$less[T[A, B, C, Z], T[A, B, C, D]]
-
def
eq
(arg0: AnyRef): Boolean
-
def
equals
(arg0: Any): Boolean
-
def
finalize
(): Unit
-
def
force
[A, B]
: $less$tilde$less[A, B]
-
def
getClass
(): java.lang.Class[_]
-
def
hashCode
(): Int
-
def
isInstanceOf
[T0]
: Boolean
-
implicit def
isa
[A, B >: A]
: $less$tilde$less[A, B]
-
def
lift2
[T[+_, +_], A, A2, B, B2]
(a: $less$tilde$less[A, A2], b: $less$tilde$less[B, B2]): $less$tilde$less[T[A, B], T[A2, B2]]
-
def
lift3
[T[+_, +_, +_], A, A2, B, B2, C, C2]
(a: $less$tilde$less[A, A2], b: $less$tilde$less[B, B2], c: $less$tilde$less[C, C2]): $less$tilde$less[T[A, B, C], T[A2, B2, C2]]
-
def
lift4
[T[+_, +_, +_, +_], A, A2, B, B2, C, C2, D, D2]
(a: $less$tilde$less[A, A2], b: $less$tilde$less[B, B2], c: $less$tilde$less[C, C2], d: $less$tilde$less[D, D2]): $less$tilde$less[T[A, B, C, D], T[A2, B2, C2, D2]]
-
def
liftF1
[F[-_, +_], A, A2, R, R2]
(a: $less$tilde$less[A, A2], r: $less$tilde$less[R, R2]): $less$tilde$less[F[A2, R], F[A, R2]]
-
def
liftF2
[F[-_, -_, +_], A, A2, B, B2, R, R2]
(a: $less$tilde$less[A, A2], b: $less$tilde$less[B, B2], r: $less$tilde$less[R, R2]): $less$tilde$less[F[A2, B2, R], F[A, B, R2]]
-
def
liftF3
[F[-_, -_, -_, +_], A, A2, B, B2, C, C2, R, R2]
(a: $less$tilde$less[A, A2], b: $less$tilde$less[B, B2], c: $less$tilde$less[C, C2], r: $less$tilde$less[R, R2]): $less$tilde$less[F[A2, B2, C2, R], F[A, B, C, R2]]
-
def
liftF4
[F[-_, -_, -_, -_, +_], A, A2, B, B2, C, C2, D, D2, R, R2]
(a: $less$tilde$less[A, A2], b: $less$tilde$less[B, B2], c: $less$tilde$less[C, C2], d: $less$tilde$less[D, D2], r: $less$tilde$less[R, R2]): $less$tilde$less[F[A2, B2, C2, D2, R], F[A, B, C, D, R2]]
-
def
ne
(arg0: AnyRef): Boolean
-
def
notify
(): Unit
-
def
notifyAll
(): Unit
-
implicit def
refl
[A]
: $less$tilde$less[A, A]
-
def
synchronized
[T0]
(arg0: ⇒ T0): T0
-
def
toString
(): String
-
def
trans
[A, B, C]
(f: $less$tilde$less[B, C], g: $less$tilde$less[A, B]): $less$tilde$less[A, C]
-
def
unco
[F[+_], Z, A]
(a: $less$tilde$less[F[A], F[Z]])(implicit arg0: Injective[F]): $less$tilde$less[A, Z]
-
def
unco2_1
[F[+_, _], Z, A, B]
(a: $less$tilde$less[F[A, B], F[Z, B]])(implicit arg0: Injective2[F]): $less$tilde$less[A, Z]
-
def
unco2_2
[F[_, +_], Z, A, B]
(a: $less$tilde$less[F[A, B], F[A, Z]])(implicit arg0: Injective2[F]): $less$tilde$less[B, Z]
-
def
uncontra
[F[-_], Z, A]
(a: $less$tilde$less[F[A], F[Z]])(implicit arg0: Injective[F]): $less$tilde$less[Z, A]
-
def
uncontra2_1
[F[-_, _], Z, A, B]
(a: $less$tilde$less[F[A, B], F[Z, B]])(implicit arg0: Injective2[F]): $less$tilde$less[Z, A]
-
def
uncontra2_2
[F[_, -_], Z, A, B]
(a: $less$tilde$less[F[A, B], F[A, Z]])(implicit arg0: Injective2[F]): $less$tilde$less[Z, B]
-
def
wait
(): Unit
-
def
wait
(arg0: Long, arg1: Int): Unit
-
def
wait
(arg0: Long): Unit
-
implicit def
witness
[A, B]
(lt: $less$tilde$less[A, B]): (A) ⇒ B
Inherited from AnyRef
Inherited from Any