public
Last active

:kind in scala repl (work in progress)

  • Download Gist
kind.scala
Scala
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
BUILD SUCCESSFUL
Total time: 9 minutes 21 seconds
Welcome to Scala version 2.11.0-20130329-204437-40d2981c24 (OpenJDK 64-Bit Server VM, Java 1.7.0_17).
Type in expressions to have them evaluated.
Type :help for more information.
 
scala> :kind scala.Option
Option's kind is * -> *
 
scala> :k scalaz.Unapply
Unapply's kind is ((* -> *) -> *) -> * -> *
 
scala> import scalaz._
import scalaz._
 
scala> :k Monad // Finds locally imported types.
Monad's kind is (* -> *) -> *
This is a type constructor that takes type constructor(s): a higher-kinded type.
 
scala> :k Nonexisting
<console>:14: error: not found: value Nonexisting
Nonexisting
^
scala> class Foo
defined class Foo
scala> new Foo { def empty = true }
res0: Foo{def empty: Boolean} = $anon$1@786aceba
scala> :k res0
Foo{def empty: Boolean}'s kind is *

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.