docs: Make "New type with no constraint" section clearer

rparree · Jul 7, 2023 · 1d33377 · 1d33377
1 parent 544d0e4
commit 1d33377
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/docs/_docs/reference/newtypes.md b/docs/_docs/reference/newtypes.md
@@ -101,7 +101,11 @@ constraint. [[Pure|io.github.iltotore.iron.constraint.any.Pure]] is an alias for
 [[True|io.github.iltotore.iron.constraint.any.True]], a constraint that is always satisfied.
 
 ```scala
-type FirstName = String :| Pure
+opaque type FirstName = String :| Pure
+object FirstName extends RefinedTypeOps[FirstName]
+```
+```scala
+val firstName = FirstName("whatever")
 ```
 
 ## Inheriting base type