io.github.iltotore.iron.RefinedTypeOps.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
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
Members list
The base type of the mirrored type without any constraint.
The constraint of the mirrored type.
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
-
Source
-
RefinedTypeOps.scala
Alias for BaseType :| ConstraintType