Generated with

Iron/io.github.iltotore.iron/RefinedType/Mirror

Mirror

io.github.iltotore.iron.RefinedType.Mirror

trait Mirror[T]

Typelevel access to a "new type"'s informations. It is similar to scala.deriving.Mirror.

Type parameters

T: the new type (usually a type alias).

Attributes

Source: RefinedType.scala
Graph
Supertypes: class Object

trait Matchable

class Any

Members list

Type members

Types

The base type of the mirrored type without any constraint.

The base type of the mirrored type without any constraint.

Attributes

Source: RefinedType.scala

The constraint of the mirrored type.

The constraint of the mirrored type.

Attributes

Source: RefinedType.scala

Alias for T.

Alias for T.

Attributes

Source: RefinedType.scala

Alias for BaseType :| ConstraintType

Alias for BaseType :| ConstraintType

Attributes

Source: RefinedType.scala

Value members

Abstract methods

RefinedType instance of T.

RefinedType instance of T.

Attributes

Source: RefinedType.scala

In this article

Generated with