Given a descriptor of type T
produced descriptor of type F[T]
.
Recogniser of type descriptors constructed by this type costructor.
Recogniser of type descriptors constructed by this type costructor. This can be used in generic code, where F is not known, but this descriptor is available.
Given a descriptor of type F[T]
extracts a descriptor of type T
.
Type string of this type constructor.
Whether the type constructor F
is an instance of Functor type class.
Descriptor of type constructor of
* -> *
kind. Type constructor is not a type, but rather a function from type to type. It contains methods which abstract relationship between typesT
,F[T]
etc.