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

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

The constraint of the mirrored type.

The constraint of the mirrored type.

Attributes

Alias for T.

Alias for T.

Attributes

Alias for BaseType :| ConstraintType

Alias for BaseType :| ConstraintType

Attributes

Value members

Abstract methods

Refined instance of T.

Refined instance of T.

Attributes

In this article

Generated with