RefinedTypeOps

io.github.iltotore.iron.RefinedTypeOps
See theRefinedTypeOps companion trait

Attributes

Companion
trait
Source
RefinedTypeOps.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait Mirror[T]

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

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
RefinedTypeOps.scala
Supertypes
class Object
trait Matchable
class Any

Types

type Transparent[T] = T match { case IronType[a, c] => RefinedTypeOps[a, c, T] }

Alias to reduce boilerplate for transparent type aliases.

Alias to reduce boilerplate for transparent type aliases.

Type parameters

T

the new type which should be a transparent alias for an IronType

Attributes

Source
RefinedTypeOps.scala