TypeParam

zio.blocks.typeid.TypeParam
See theTypeParam companion class
object TypeParam

Attributes

Companion
class
Source
TypeParam.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
TypeParam.type

Members list

Type members

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def bounded(name: String, index: Int, upper: TypeRepr): TypeParam

Creates a type parameter with an upper bound.

Creates a type parameter with an upper bound.

Attributes

Source
TypeParam.scala
def contravariant(name: String, index: Int): TypeParam

Creates a contravariant type parameter.

Creates a contravariant type parameter.

Attributes

Source
TypeParam.scala
def covariant(name: String, index: Int): TypeParam

Creates a covariant type parameter.

Creates a covariant type parameter.

Attributes

Source
TypeParam.scala
def higherKinded(name: String, index: Int, arity: Int = ...): TypeParam

Creates a higher-kinded type parameter (F[_]).

Creates a higher-kinded type parameter (F[_]).

Attributes

Source
TypeParam.scala