trait
Kinds extends AnyRef
Type Members
-
case class
KindErrors(arity: List[(Symbol, Symbol)], variance: List[(Symbol, Symbol)], strictness: List[(Symbol, Symbol)]) extends Product with Serializable
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (Kinds, B)
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
checkKindBounds0(tparams: List[Symbol], targs: List[Type], pre: Type, owner: Symbol, explainErrors: Boolean): List[(Type, Symbol, KindErrors)]
-
def
clone(): AnyRef
-
def
ensuring(cond: (Kinds) ⇒ Boolean, msg: ⇒ Any): Kinds
-
def
ensuring(cond: (Kinds) ⇒ Boolean): Kinds
-
def
ensuring(cond: Boolean, msg: ⇒ Any): Kinds
-
def
ensuring(cond: Boolean): Kinds
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
kindsConform(tparams: List[Symbol], targs: List[Type], pre: Type, owner: Symbol): Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
self: Any
-
val
self: Any
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (Kinds, B)
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringfmt from
Kinds to StringFormat
Inherited by implicit conversion any2stringadd from
Kinds to StringAdd
Inherited by implicit conversion any2ArrowAssoc from
Kinds to ArrowAssoc[Kinds]
Inherited by implicit conversion any2Ensuring from
Kinds to Ensuring[Kinds]