further simplications...

jnicoulaud-ledger · Nov 4, 2023 · 3e53e20 · 3e53e20
1 parent d221891
commit 3e53e20
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/modules/api/src/main/scala/types.scala b/modules/api/src/main/scala/types.scala
@@ -4,8 +4,7 @@ import sttp.tapir.Codec.PlainCodec
 import sttp.tapir.DecodeResult
 import sttp.tapir.codec.iron.TapirCodecIron
 
-type VersionConstraints = GreaterEqual[0]
-opaque type Version = Int :| VersionConstraints
+opaque type Version = Int :| GreaterEqual[0]
 
-object Version extends RefinedTypeOps[Int, VersionConstraints, Version] with TapirCodecIron:
+object Version extends RefinedTypeOps[Int, GreaterEqual[0], Version] with TapirCodecIron:
   given PlainCodec[Version] = summon[PlainCodec[Int]].mapDecode(s => DecodeResult.fromEitherString(s.toString, either(s)))(_.value)