Kind

zio.blocks.typeid.Kind
See theKind companion object
sealed trait Kind

Represents the "kind" of a type - the type of a type.

In Scala's type system:

  • Proper types like Int, String have kind * (Type)
  • Type constructors like List, Option have kind * -> *
  • Higher-kinded types like Monad have kind (* -> *) -> *

This is essential for correctly representing higher-kinded types and ensuring kind-correctness in type expressions.

Attributes

Companion
object
Source
Kind.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Arrow
object Type

Members list

Value members

Concrete methods

def arity: Int

Returns the arity of this kind (0 for proper types, n for type constructors).

Returns the arity of this kind (0 for proper types, n for type constructors).

Attributes

Source
Kind.scala
def isProperType: Boolean

Returns true if this is a proper type (kind *).

Returns true if this is a proper type (kind *).

Attributes

Source
Kind.scala