diff --git a/docs/_docs/reference/newtypes.md b/docs/_docs/reference/newtypes.md index 47b201b0..300fc6c7 100644 --- a/docs/_docs/reference/newtypes.md +++ b/docs/_docs/reference/newtypes.md @@ -177,7 +177,7 @@ opaque type Temperature = Double :| Positive object Temperature extends RefinedTypeOps[Double, Positive, Temperature] opaque type Moisture = Double :| Positive -object Temperature extends RefinedTypeOps[Double, Positive, Moisture] +object Moisture extends RefinedTypeOps[Double, Positive, Moisture] ``` ```scala @@ -321,4 +321,4 @@ The types provided by [[RefinedTypeOps.Mirror|io.github.iltotore.iron.RefinedTyp - `BaseType`: the base (unrefined) type of the mirrored type. - `ConstraintType`: the constraint type of the mirrored new type. - `IronType`: an alias for `BaseType :| ConstraintType` -- `FinalType`: the underlying type of the mirrored new type. Equivalent to its `IronType` if the alias is not opaque. \ No newline at end of file +- `FinalType`: the underlying type of the mirrored new type. Equivalent to its `IronType` if the alias is not opaque.