constrained resources wip

Author: Oron Port

lib/src/main/scala/dfhdl/platforms/resources/Button.scala

@@ -1,11 +1,12 @@
 package dfhdl.platforms.resources
 import dfhdl.Encoded
+import dfhdl.hw.constraints.*
 
 enum Button extends Encoded.Toggle:
   case Released, Pressed
 
 object Button:
   final case class Resource(
       activeState: Button = Button.Pressed,
-      level: IOLevel = IOLevel.LVCMOS33
+      ioc: io = io(standard = io.Standard.LVCMOS33)
   )(using RCtx) extends ToggleIO

lib/src/main/scala/dfhdl/platforms/resources/IO.scala

@@ -1,6 +1,10 @@
 package dfhdl.platforms.resources
 import dfhdl.platforms.resources.Resource.CanConnect
+import dfhdl.hw.constraints.*
 
 trait IO extends Resource
 object IO:
   given [T <: IO, R <: IO]: CanConnect[T, R] = new CanConnect[T, R] {}
+
+trait HasIOConstraints extends IO:
+  val ioc: io

lib/src/main/scala/dfhdl/platforms/resources/IOLevel.scala

@@ -1,10 +1,11 @@
 package dfhdl.platforms.resources
 import dfhdl.Encoded
+import dfhdl.hw.constraints.*
 
 enum Led extends Encoded.Toggle:
   case Off, On
 object Led:
   final case class Resource(
       activeState: Led = Led.Off,
-      level: IOLevel = IOLevel.LVCMOS33
+      ioc: io = io(standard = io.Standard.LVCMOS33)
   )(using RCtx) extends ToggleIO

lib/src/main/scala/dfhdl/platforms/resources/Led.scala

@@ -1,4 +1,8 @@
 package dfhdl.platforms.resources
 import dfhdl.core.ClkCfg.Rate
+import dfhdl.hw.constraints.*
 
-final case class Oscillator(rate: Rate, level: IOLevel)(using RCtx) extends HasIOLevel
+final case class Oscillator(
+    rate: Rate,
+    ioc: io = io(standard = io.Standard.LVCMOS33)
+)(using RCtx) extends HasIOConstraints

lib/src/main/scala/dfhdl/platforms/resources/Oscillator.scala

@@ -1,3 +1,6 @@
 package dfhdl.platforms.resources
+import dfhdl.hw.constraints.*
 
-final case class Sig(level: IOLevel = IOLevel.LVCMOS33)(using RCtx) extends HasIOLevel
+final case class Sig(
+    ioc: io = io(standard = io.Standard.LVCMOS33)
+)(using RCtx) extends HasIOConstraints

lib/src/main/scala/dfhdl/platforms/resources/Sig.scala

@@ -1,12 +1,13 @@
 package dfhdl.platforms.resources
 import dfhdl.Encoded
+import dfhdl.hw.constraints.*
 
 enum SwitchUD extends Encoded.Toggle:
   case Down, Up
 object SwitchUD:
   final case class Resource(
       activeState: SwitchUD = SwitchUD.Up,
-      level: IOLevel = IOLevel.LVCMOS33
+      ioc: io = io(standard = io.Standard.LVCMOS33)
   )(using RCtx)
       extends ToggleIO
 
@@ -15,7 +16,7 @@ enum SwitchRL extends Encoded.Toggle:
 object SwitchRL:
   final case class Resource(
       activeState: SwitchRL = SwitchRL.Right,
-      level: IOLevel = IOLevel.LVCMOS33
+      ioc: io = io(standard = io.Standard.LVCMOS33)
   )(using RCtx)
       extends ToggleIO
 
@@ -24,7 +25,7 @@ enum SwitchNS extends Encoded.Toggle:
 object SwitchNS:
   final case class Resource(
       activeState: SwitchNS = SwitchNS.North,
-      level: IOLevel = IOLevel.LVCMOS33
+      ioc: io = io(standard = io.Standard.LVCMOS33)
   )(using RCtx)
       extends ToggleIO
 
@@ -33,6 +34,6 @@ enum SwitchEW extends Encoded.Toggle:
 object SwitchEW:
   final case class Resource(
       activeState: SwitchEW = SwitchEW.East,
-      level: IOLevel = IOLevel.LVCMOS33
+      ioc: io = io(standard = io.Standard.LVCMOS33)
   )(using RCtx)
       extends ToggleIO

lib/src/main/scala/dfhdl/platforms/resources/Switches.scala

@@ -1,5 +1,5 @@
 package dfhdl.platforms.resources
 import dfhdl.Encoded.Toggle
 
-trait ToggleIO[T <: Toggle] extends HasIOLevel:
+trait ToggleIO[T <: Toggle] extends HasIOConstraints:
   val activeState: T