zio.blocks.typeid.Kind
See theKind companion trait
object Kind
Attributes
- Companion
- trait
- Source
- Kind.scala
- Graph
-
- Supertypes
- Self type
-
Kind.type
Members list
Type members
Classlikes
A type constructor or higher-kinded type. Kind: k1 -> k2 -> ... -> kn -> result
A type constructor or higher-kinded type. Kind: k1 -> k2 -> ... -> kn -> result
Examples:
Listhas kind* -> *= Arrow(List(Type), Type)Maphas kind* -> * -> *= Arrow(List(Type, Type), Type)Functorhas kind(* -> *) -> *= Arrow(List(Arrow(List(Type), Type)), Type)
Attributes
- Source
- Kind.scala
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Kindclass Objecttrait Matchableclass AnyShow all
A proper type: Int, String, List[Int]. Kind: *
A proper type: Int, String, List[Int]. Kind: *
Attributes
- Source
- Kind.scala
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Kindclass Objecttrait Matchableclass AnyShow all
- Self type
-
Type.type
Inherited and Abstract types
The names of the product elements.
The name of the type.
Value members
Concrete methods
Creates a simple n-ary type constructor kind. All parameters have kind * and result is *.
Creates a simple n-ary type constructor kind. All parameters have kind * and result is *.
Attributes
- Source
- Kind.scala
Concrete fields
Kind (* -> *) -> * - higher-kinded unary (Functor, Monad, etc.)
Kind * - proper type
Kind * -> * - unary type constructor (List, Option, etc.)
Kind * -> * -> * - binary type constructor (Map, Either, etc.)
In this article