io.github.iltotore.iron.RefinedTypeOps$package$.RefinedTypeOps$.Mirror
Typelevel access to a "new type"'s informations. It is similar to scala.deriving.Mirror.
Attributes
- T
the new type (usually a type alias).
- Graph
- Supertypes
class Object
trait Matchable
class Any
Members list
Concise view
Type members
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. Also equivalent to IronType if the type alias of the mirrored new type is transparent.
Alias for T. Also equivalent to IronType if the type alias of the mirrored new type is transparent.
type Temperature = Double :| Positive
object Temperature extends RefinedTypeOps[Temperature]
//FinalType =:= IronType
opaque type Temperature = Double :| Positive
object Temperature extends RefinedTypeOps[Temperature]
//FinalType =/= IronType
Attributes
Alias for BaseType :| ConstraintType
Alias for BaseType :| ConstraintType
Attributes