Because given and implicit def require explicit type annotations, you can't provide a given schema using the schema builder. Possible solution is to generate the schemata using type classes, but there should be a solution.
Does transparent inline given mySchema[T] : Schema[T] = ??? work? Will the type Schema[A] be narrowed to Schema.Aux[T,S] properly?
Because
givenandimplicit defrequire explicit type annotations, you can't provide a given schema using the schema builder. Possible solution is to generate the schemata using type classes, but there should be a solution.Does
transparent inline given mySchema[T] : Schema[T] = ???work? Will the type Schema[A] be narrowed to Schema.Aux[T,S] properly?