Last active

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist

:kind in scala repl (work in progress)

View kind.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 *
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.