blob: 586b2710e161c339d2759fd030ca7a03196f7548 (
plain) (
tree)
|
|
Type in expressions to have them evaluated.
Type :help for more information.
scala> :kind scala.Option
scala.Option's kind is F[+A]
scala> :k (Int, Int) => Int
scala.Function2's kind is F[-A1,-A2,+A3]
scala> :k -v Either
scala.util.Either's kind is F[+A1,+A2]
* -(+)-> * -(+)-> *
This is a type constructor: a 1st-order-kinded type.
scala> :k -v scala.collection.generic.ImmutableSortedMapFactory
scala.collection.generic.ImmutableSortedMapFactory's kind is X[CC[A,B] <: scala.collection.immutable.SortedMap[A,B] with scala.collection.SortedMapLike[A,B,CC[A,B]]]
(* -> * -> *(scala.collection.immutable.SortedMap[A,B] with scala.collection.SortedMapLike[A,B,CC[A,B]])) -> *
This is a type constructor that takes type constructor(s): a higher-kinded type.
scala> :k new { def empty = false }
AnyRef{def empty: Boolean}'s kind is A
scala> :k Nonexisting
<console>:8: error: not found: value Nonexisting
Nonexisting
^
scala> :quit
|