docs: Add basic imports in first example

Iltotore · Jul 12, 2021 · c1722d8 · c1722d8
1 parent 853c297
commit c1722d8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -24,6 +24,9 @@ This syntactic sugar allows the user to create more readable constraints.
 Example of a constraint alias:
 
 ```scala
+//This is mainly implicit functions/instances but if you prefer without star import, you can specify them.
+import iron.*, constraint.*, numeric.constraint.{given, Greater}
+
 type >[A, B] = A ==> Greater[B]
 
 def log(x: Double > 0d): Refined[Double] = x.map(Math.log)