Showcase RefinedTypeOps+non-opaque types in website

Iltotore / iron

Strong type constraints for Scala

https://iltotore.github.io/iron/docs/

Apache License 2.0

430 stars 38 forks source link

Showcase RefinedTypeOps+non-opaque types in website #157

Closed Iltotore closed 1 year ago

Iltotore commented 1 year ago

Currently, the Scala compiler has trouble with RefinedTypeOps combined with opaque type (#131). The documentation should showcase the use of non-opaque type aliases with RefinedTypeOps and move the usage with opaque types in a subsection plus mention the current compiler bug.