Rename sources; export to soundness and reorder imports

src/core/polyvinyl.Record.scala

@@ -0,0 +1,20 @@
+/*
+ Polyvinyl, version [unreleased]. Copyright 2024 Jon Pretty, Propensive OÜ.
+
+ The primary distribution site is: https://propensive.com/
+
+ Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
+ file except in compliance with the License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software distributed under the
+ License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
+ either express or implied. See the License for the specific language governing permissions
+ and limitations under the License.
+*/
+
+package polyvinyl
+
+trait Record[DataType](data: DataType, access: String => DataType => Any) extends Selectable:
+ def selectDynamic(name: String): Any = access(name)(data)

src/core/polyvinyl.RecordAccessor.scala

@@ -0,0 +1,22 @@
+/*
+ Polyvinyl, version [unreleased]. Copyright 2024 Jon Pretty, Propensive OÜ.
+
+ The primary distribution site is: https://propensive.com/
+
+ Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
+ file except in compliance with the License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software distributed under the
+ License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
+ either express or implied. See the License for the specific language governing permissions
+ and limitations under the License.
+*/
+
+package polyvinyl
+
+import rudiments.*
+
+trait RecordAccessor[RecordType <: Record[DataType], DataType, LabelType <: Label, TypeConstructorType[_]]:
+ def transform(data: DataType, make: DataType => RecordType): TypeConstructorType[RecordType]

src/core/polyvinyl.RecordField.scala

@@ -0,0 +1,23 @@
+/*
+ Polyvinyl, version [unreleased]. Copyright 2024 Jon Pretty, Propensive OÜ.
+
+ The primary distribution site is: https://propensive.com/
+
+ Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
+ file except in compliance with the License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software distributed under the
+ License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
+ either express or implied. See the License for the specific language governing permissions
+ and limitations under the License.
+*/
+
+package polyvinyl
+
+import rudiments.*
+
+enum RecordField:
+ case Value(fieldType: String, params: String*)
+ case Record(fieldType: String, map: Map[String, RecordField])

src/core/selectable.scala → src/core/polyvinyl.Schema.scala

@@ -16,23 +16,11 @@
 
 package polyvinyl
 
-import rudiments.*
-import fulminate.*
-
 import scala.quoted.*
 
-trait Record[DataType](data: DataType, access: String => DataType => Any) extends Selectable:
- def selectDynamic(name: String): Any = access(name)(data)
-
-trait ValueAccessor[RecordType <: Record[DataType], DataType, LabelType <: Label, ValueType]:
- def transform(data: DataType, params: List[String]): ValueType
-
-trait RecordAccessor[RecordType <: Record[DataType], DataType, LabelType <: Label, TypeConstructorType[_]]:
- def transform(data: DataType, make: DataType => RecordType): TypeConstructorType[RecordType]
-
-enum RecordField:
- case Value(fieldType: String, params: String*)
- case Record(fieldType: String, map: Map[String, RecordField])
+import rudiments.*
+import anticipation.*
+import fulminate.*
 
 trait Schema[DataType, RecordType <: Record[DataType]]:
  def fields: Map[String, RecordField]
@@ -46,7 +34,7 @@ trait Schema[DataType, RecordType <: Record[DataType]]:
  import quotes.reflect.*
 
  given Realm = realm"polyvinyl"
- 
+
  val target = (thisType: @unchecked) match
  case '[thisType] =>
  Ref(TypeRepr.of[thisType].typeSymbol.companionModule).asExprOf[Schema[DataType, RecordType]]
@@ -60,61 +48,61 @@ trait Schema[DataType, RecordType <: Record[DataType]]:
  fields match
  case Nil =>
  (refinedType, caseDefs)
- 
+
  case (name, RecordField.Value(typeName, params*)) :: tail =>
  (ConstantType(StringConstant(typeName)).asType: @unchecked) match
  case '[type typeName <: Label; typeName] =>
  (Expr.summon[ValueAccessor[RecordType, DataType, typeName, ?]]: @unchecked) match
  case None =>
- fail(msg"could not find a ValueAccessor instance for the field $name with type $typeName")
- 
+ abandon(msg"could not find a ValueAccessor instance for the field $name with type $typeName")
+
  case Some('{$accessor: ValueAccessor[RecordType, DataType, typeName, valueType]}) =>
- 
+
  val rhs: Expr[DataType => Any] =
  '{
  (data: DataType) =>
  $accessor.transform($target.access(${Expr(name)}, data), ${Expr(params.to(List))})
  }
- 
+
  val caseDefs2 = CaseDef(Literal(StringConstant(name)), None, rhs.asTerm) :: caseDefs
  val refinement = Refinement(refinedType, name, TypeRepr.of[valueType])
- 
+
  refine(value, tail, refinement, caseDefs2)
- 
+
  case (name, RecordField.Record(typeName, map)) :: tail =>
  (ConstantType(StringConstant(typeName)).asType: @unchecked) match
  case '[type typeName <: Label; typeName] =>
  (Expr.summon[RecordAccessor[RecordType, DataType, typeName, ?]]: @unchecked) match
  case None =>
- fail(msg"could not find a RecordAccessor instance for the field $name with type $typeName")
- 
+ abandon(msg"could not find a RecordAccessor instance for the field $name with type $typeName")
+
  case Some('{ type typeConstructor[_]
  $accessor: RecordAccessor[RecordType, DataType, typeName, typeConstructor] }) =>
- 
+
  val nested = '{$target.access(${Expr(name)}, $value)}
  val recordTypeRepr = TypeRepr.of[RecordType]
  val (nestedType, nestedCaseDefs) = refine(nested, map.to(List), recordTypeRepr)
- 
+
  val matchFn: Expr[String => DataType => Any] =
  '{ (name: String) => ${Match('name.asTerm, nestedCaseDefs).asExprOf[DataType => Any]} }
- 
+
  val maker: Expr[DataType => RecordType] = '{ field => $target.make(field, $matchFn) }
- 
+
  val rhs: Expr[DataType => Any] =
  '{ data => $accessor.transform($target.access(${Expr(name)}, data), $maker) }
- 
+
  val caseDef = CaseDef(Literal(StringConstant(name)), None, rhs.asTerm)
- 
+
  (nestedType.asType: @unchecked) match
  case '[nestedRecordType] =>
  val typeRepr = TypeRepr.of[typeConstructor[nestedRecordType]]
  refine(value, tail, Refinement(refinedType, name, typeRepr), caseDef :: caseDefs)
- 
+
  val (refinedType, caseDefs) = refine(value, fields.to(List), TypeRepr.of[RecordType])
 
  val matchFn: Expr[String => DataType => Any] =
  '{ (name: String) => ${Match('name.asTerm, caseDefs).asExprOf[DataType => Any]} }
- 
+
  (refinedType.asType: @unchecked) match
  case '[type refinedType <: RecordType; refinedType] =>
  '{$target.make($value, $matchFn).asInstanceOf[refinedType]}

src/core/polyvinyl.ValueAccessor.scala

@@ -0,0 +1,22 @@
+/*
+ Polyvinyl, version [unreleased]. Copyright 2024 Jon Pretty, Propensive OÜ.
+
+ The primary distribution site is: https://propensive.com/
+
+ Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
+ file except in compliance with the License. You may obtain a copy of the License at
+
+ http://www.apache.org/licenses/LICENSE-2.0
+
+ Unless required by applicable law or agreed to in writing, software distributed under the
+ License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
+ either express or implied. See the License for the specific language governing permissions
+ and limitations under the License.
+*/
+
+package polyvinyl
+
+import rudiments.*
+
+trait ValueAccessor[RecordType <: Record[DataType], DataType, LabelType <: Label, ValueType]:
+ def transform(data: DataType, params: List[String]): ValueType

src/core/soundness+polyvinyl-core.scala

@@ -0,0 +1,3 @@
+package soundness
+
+export polyvinyl.{Record, RecordAccessor, RecordField, Schema, ValueAccessor}