wip

scratchpad/src/main/scala/com/htmlism/scratchpad/Reg.scala

@@ -0,0 +1,8 @@
+package com.htmlism.scratchpad
+
+trait Reg[A]:
+  def hello: Boolean
+
+given tuple2reg[A, B](using a: Reg[A], b: Reg[B]): Reg[(A, B)] with
+  def hello: Boolean =
+    true

scratchpad/src/main/scala/com/htmlism/scratchpad/ScratchPad.scala

@@ -17,18 +17,28 @@ object Write:
   implicit val writeLease: Lease[Write] =
     new Lease { }
 
-class Reg[A]
-
 object ScratchPad:
+  def reg[A : Reg]: PartialUsing[A] =
+    new PartialUsing[A]
+
+  class PartialUsing[A](using a: Reg[A]):
+    def use[B](f: Reg[A] => B): B =
+      f(a)
+
+  reg[Accumulator].use { a =>
+    AsmProgram(startA, "")
+      .widen[RegisterX]
+  }
+
   trait ReadWrite[A] extends Read[A] with Write[A]
 
-  val startA =
+  lazy val startA =
     ??? : StatefulRegister[Accumulator, Unknown]
 
-  val startX =
+  lazy val startX =
     ??? : StatefulRegister[RegisterX, Unknown]
 
-  val startY =
+  lazy val startY =
     ??? : StatefulRegister[RegisterY, Unknown]
 
   (AsmProgram(startA, "") : AsmProgram[Accumulator, Unknown, String])
@@ -45,19 +55,20 @@ object ScratchPad:
 class Accumulator
 
 object Accumulator extends Accumulator:
-  implicit val registerA: Reg[Accumulator] =
+  given registerA: Reg[Accumulator] with
-    new Reg
+    def hello: Boolean =
+      true
 
 class RegisterX
 
 object RegisterX:
-  implicit val registerX: Reg[RegisterX] =
+  given registerX: Reg[RegisterX] with
-    new Reg
+    def hello: Boolean =
+      true
 
 class RegisterY
 
 object RegisterY:
-  implicit val registerY: Reg[RegisterY] =
+  given registerY: Reg[RegisterY] with
-    new Reg
+    def hello: Boolean =
-
+      true
-trait StatefulRegister[A : Reg, F <: MutationStatus]

scratchpad/src/main/scala/com/htmlism/scratchpad/StatefulRegister.scala

@@ -0,0 +1,4 @@
+package com.htmlism.scratchpad
+
+
+trait StatefulRegister[A : Reg, F <: MutationStatus]