arainko · Feb 24, 2024 · Jan 6, 2024 · Jan 16, 2024 · Jan 16, 2024 · Jan 16, 2024
diff --git a/build.sbt b/build.sbt
@@ -41,7 +41,8 @@ lazy val ducktape =
     .enablePlugins(TypelevelMimaPlugin)
     .in(file("ducktape"))
     .settings(
-      scalacOptions ++= List("-Xcheck-macros", "-deprecation", "-Werror", "-Wunused:all"),
+      scalacOptions ++= List("-deprecation", "-Wunused:all"),
+      Test / scalacOptions --= List("-deprecation"),
       libraryDependencies += "org.scalameta" %%% "munit" % "1.0.0-M10" % Test
     )
     .dependsOn(tooling)

diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/AppliedBuilder.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/AppliedBuilder.scala
@@ -1,8 +1,22 @@
 package io.github.arainko.ducktape
 
-import io.github.arainko.ducktape.internal.Transformations
+import io.github.arainko.ducktape.internal.{ FallibleTransformations, TotalTransformations }
 
-final class AppliedBuilder[Source, Dest](value: Source) {
+final class AppliedBuilder[Source, Dest] private[ducktape] (value: Source) {
   inline def transform(inline config: Field[Source, Dest] | Case[Source, Dest]*): Dest =
-    Transformations.between[Source, Dest](value, "transformation", config*)
+    TotalTransformations.between[Source, Dest](value, "transformation", config*)
+
+  def fallible[F[+x], M <: Mode[F]](using M): AppliedBuilder.Fallible[F, M, Source, Dest] =
+    AppliedBuilder.Fallible[F, M, Source, Dest](value)
+}
+
+object AppliedBuilder {
+
+  final class Fallible[F[+x], M <: Mode[F], Source, Dest] private[ducktape] (source: Source)(using F: M) {
+
+    inline def transform(
+      inline config: Field.Fallible[F, Source, Dest] | Case.Fallible[F, Source, Dest]*
+    ): F[Dest] =
+      FallibleTransformations.between[F, Source, Dest](source, F, "transformation", config*)
+  }
 }
diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/AppliedViaBuilder.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/AppliedViaBuilder.scala
@@ -1,10 +1,13 @@
 package io.github.arainko.ducktape
 
-import io.github.arainko.ducktape.internal.Transformations
+import io.github.arainko.ducktape.internal.{ FallibleTransformations, TotalTransformations }
 
 final class AppliedViaBuilder[Source, Dest, Func, Args <: FunctionArguments] private (value: Source, function: Func) {
   inline def transform(inline config: Field[Source, Args] | Case[Source, Args]*): Dest =
-    Transformations.via[Source, Dest, Func, Args](value, function, "transformation", config*)
+    TotalTransformations.via[Source, Dest, Func, Args](value, function, "transformation", config*)
+
+  def fallible[F[+x], M <: Mode[F]](using M): AppliedViaBuilder.Fallible[F, M, Source, Dest, Func, Args] =
+    AppliedViaBuilder.Fallible[F, M, Source, Dest, Func, Args](value, function)
 }
 
 object AppliedViaBuilder {
@@ -16,4 +19,15 @@ object AppliedViaBuilder {
     internal.Function
       .encodeAsType[[args <: FunctionArguments, retTpe] =>> AppliedViaBuilder[A, retTpe, Func, args]](function, inst)
   }
+
+  final class Fallible[F[+x], M <: Mode[F], Source, Dest, Func, Args <: FunctionArguments] private[ducktape] (
+    source: Source,
+    function: Func
+  )(using F: M) {
+
+    inline def transform(
+      inline config: Field.Fallible[F, Source, Args] | Case.Fallible[F, Source, Args]*
+    ): F[Dest] = FallibleTransformations.via[F, Source, Dest, Func, Args](source, function, F, "transformation", config*)
+
+  }
 }
diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/Case.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/Case.scala
@@ -2,9 +2,23 @@ package io.github.arainko.ducktape
 
 import scala.annotation.compileTimeOnly
 
-opaque type Case[A, B] = Unit
+opaque type Case[A, B] <: Case.Fallible[Nothing, A, B] = Case.Fallible[Nothing, A, B]
 
 object Case {
+  opaque type Fallible[+F[x], A, B] = Unit
+
+  @compileTimeOnly("Case.fallibleConst is only useable as a case configuration for transformations")
+  def fallibleConst[F[+x], A, B, SourceTpe, DestTpe](
+    selector: Selector ?=> A => SourceTpe,
+    value: F[DestTpe]
+  ): Case.Fallible[F, A, B] = ???
+
+  @compileTimeOnly("Case.fallibleConst is only useable as a case configuration for transformations")
+  def fallibleComputed[F[+x], A, B, SourceTpe, DestTpe](
+    selector: Selector ?=> A => SourceTpe,
+    function: SourceTpe => F[DestTpe]
+  ): Case.Fallible[F, A, B] = ???
+
   @compileTimeOnly("Case.const is only useable as a case configuration for transformations")
   def const[A, B, SourceTpe, DestTpe](selector: Selector ?=> A => SourceTpe, value: DestTpe): Case[A, B] = ???
 
@@ -13,7 +27,7 @@ object Case {
 
   @deprecated(
     message = "Use the variant that accepts a path selector instead (Case.const(_.at[SourceSubtype], ...))",
-    since = "0.2.0-M1"
+    since = "ducktape 0.2.0-M1"
   )
   @compileTimeOnly("'Case.const' needs to be erased from the AST with a macro.")
   def const[SourceSubtype]: Case.Const[SourceSubtype] = ???
@@ -30,18 +44,52 @@ object Case {
 
   @deprecated(
     message = "Use the variant that accepts a path selector instead (Case.computed(_.at[SourceSubtype], ...))",
-    since = "0.2.0-M1"
+    since = "ducktape 0.2.0-M1"
   )
-  @compileTimeOnly("'Case.computed' needs to be erased from the AST with a macro.")
+  @compileTimeOnly("Case.computed is only useable as a case configuration for transformations")
   def computed[SourceSubtype]: Case.Computed[SourceSubtype] = ???
 
   opaque type Computed[SourceSubtype] = Unit
 
   object Computed {
     extension [SourceSubtype](inst: Computed[SourceSubtype]) {
 
-      @compileTimeOnly("'Case.computed' needs to be erased from the AST with a macro.")
+      @compileTimeOnly("Case.computed is only useable as a case configuration for transformations")
       def apply[Source >: SourceSubtype, Dest](f: SourceSubtype => Dest): Case[Source, Dest] = ???
     }
   }
+
+  @deprecated(
+    message = "Use the variant that accepts a path selector instead (Case.fallibleConst(_.at[SourceSubtype], ...))",
+    since = "ducktape 0.2.0-M3"
+  )
+  @compileTimeOnly("Case.fallibleConst is only useable as a case configuration for transformations")
+  def fallibleConst[SourceSubtype]: Case.FallibleConst[SourceSubtype] = ???
+
+  opaque type FallibleConst[SourceSubtype] = Unit
+
+  object FallibleConst {
+    extension [SourceSubtype](inst: FallibleConst[SourceSubtype]) {
+
+      @compileTimeOnly("'Case.fallibleConst' needs to be erased from the AST with a macro.")
+      def apply[F[+x], Source, Dest](const: F[Dest]): Case.Fallible[F, Source, Dest] = ???
+    }
+  }
+
+  @deprecated(
+    message = "Use the variant that accepts a path selector instead (Case.fallibleComputed(_.at[SourceSubtype], ...))",
+    since = "ducktape 0.2.0-M3"
+  )
+  @compileTimeOnly("Case.fallibleComputed is only useable as a case configuration for transformations")
+  def fallibleComputed[SourceSubtype]: Case.FallibleComputed[SourceSubtype] = ???
+
+  opaque type FallibleComputed[SourceSubtype] = Unit
+
+  object FallibleComputed {
+    extension [SourceSubtype](inst: FallibleComputed[SourceSubtype]) {
+
+      @compileTimeOnly("Case.fallibleComputed is only useable as a case configuration for transformations")
+      def apply[F[+x], Source, Dest](const: SourceSubtype => F[Dest]): Case.Fallible[F, Source, Dest] = ???
+    }
+  }
 }
diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/DefinitionBuilder.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/DefinitionBuilder.scala
@@ -1,8 +1,24 @@
 package io.github.arainko.ducktape
 
-import io.github.arainko.ducktape.internal.Transformations
+import io.github.arainko.ducktape.internal.{ FallibleTransformations, TotalTransformations }
 
-final class DefinitionBuilder[Source, Dest] {
-  inline def build(inline config: Field[Source, Dest] | Case[Source, Dest]*): Transformer[Source, Dest] = source =>
-    Transformations.between[Source, Dest](source, "definition", config*)
+final class DefinitionBuilder[Source, Dest] private[ducktape] {
+  inline def build(inline config: Field[Source, Dest] | Case[Source, Dest]*): Transformer[Source, Dest] =
+    Transformer.Derived.FromFunction(source => TotalTransformations.between[Source, Dest](source, "definition", config*))
+
+  def fallible[F[+x], M <: Mode[F]](using M): DefinitionBuilder.Fallible[F, M, Source, Dest] =
+    DefinitionBuilder.Fallible[F, M, Source, Dest]
+}
+
+object DefinitionBuilder {
+
+  final class Fallible[F[+x], M <: Mode[F], Source, Dest] private[ducktape] (using F: M) {
+    inline def build(
+      inline config: Case.Fallible[F, Source, Dest] | Field.Fallible[F, Source, Dest]*
+    ): Transformer.Fallible[F, Source, Dest] =
+      Transformer.Fallible.Derived.FromFunction(source =>
+        FallibleTransformations.between[F, Source, Dest](source, F, "definition", config*)
+      )
+
+  }
 }
diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/DefinitionViaBuilder.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/DefinitionViaBuilder.scala
@@ -1,13 +1,15 @@
 package io.github.arainko.ducktape
 
-import io.github.arainko.ducktape.internal.Transformations
+import io.github.arainko.ducktape.internal.{ FallibleTransformations, TotalTransformations }
 
 final class DefinitionViaBuilder[Source, Dest, Func, Args <: FunctionArguments] private (function: Func) {
-  transparent inline def build(inline config: Field[Source, Args] | Case[Source, Args]*): Transformer[Source, Dest] =
-    new Transformer[Source, Dest] {
-      def transform(value: Source): Dest =
-        Transformations.via[Source, Dest, Func, Args](value, function, "definition", config*)
-    }
+  inline def build(inline config: Field[Source, Args] | Case[Source, Args]*): Transformer[Source, Dest] =
+    Transformer.Derived.FromFunction(value =>
+      TotalTransformations.via[Source, Dest, Func, Args](value, function, "definition", config*)
+    )
+
+  def fallible[F[+x], M <: Mode[F]](using M): DefinitionViaBuilder.Fallible[F, M, Source, Dest, Func, Args] =
+    DefinitionViaBuilder.Fallible[F, M, Source, Dest, Func, Args](function)
 }
 
 object DefinitionViaBuilder {
@@ -29,4 +31,17 @@ object DefinitionViaBuilder {
       }
     }
   }
+
+  final class Fallible[F[+x], M <: Mode[F], Source, Dest, Func, ArgSelector <: FunctionArguments] private[ducktape] (
+    function: Func
+  )(using F: M) {
+
+    inline def build(
+      inline config: Field.Fallible[F, Source, ArgSelector] | Case.Fallible[F, Source, ArgSelector]*
+    ): Transformer.Fallible[F, Source, Dest] =
+      Transformer.Fallible.Derived.FromFunction(value =>
+        FallibleTransformations.via[F, Source, Dest, Func, ArgSelector](value, function, F, "definition", config*)
+      )
+
+  }
 }
diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/Field.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/Field.scala
@@ -5,9 +5,23 @@ import scala.annotation.compileTimeOnly
 // Kept around for source compat with 0.1.x
 def Arg: Field.type = Field
 
-opaque type Field[A, B] = Unit
+opaque type Field[A, B] <: Field.Fallible[Nothing, A, B] = Field.Fallible[Nothing, A, B]
 
 object Field {
+  opaque type Fallible[+F[+x], A, B] = Unit
+
+  @compileTimeOnly("Field.fallibleConst is only useable as a field configuration for transformations")
+  def fallibleConst[F[+x], A, B, DestFieldTpe](
+    selector: Selector ?=> B => DestFieldTpe,
+    value: F[DestFieldTpe]
+  ): Field.Fallible[F, A, B] = ???
+
+  @compileTimeOnly("Field.fallibleComputed is only useable as a field configuration for transformations")
+  def fallibleComputed[F[+x], A, B, DestFieldTpe](
+    selector: Selector ?=> B => DestFieldTpe,
+    function: A => F[DestFieldTpe]
+  ): Field.Fallible[F, A, B] = ???
+
   @compileTimeOnly("Field.const is only useable as a field configuration for transformations")
   def const[A, B, DestFieldTpe, ConstTpe](selector: Selector ?=> B => DestFieldTpe, value: ConstTpe): Field[A, B] = ???