harness.sql.Table.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of harness-sql_3 Show documentation

Miscellaneous libraries/utilities for Scala.

There is a newer version: 5.1.3

package harness.sql

import harness.core.*
import harness.deriving.*
import harness.pk.TableKey
import java.util.UUID
import zio.*

abstract class Table extends Product
object Table {

  abstract class WithId[F[_], TKId <: TableKey#Id] extends Table {
    final type Id = TKId
    val id: F[Id]
  }

  trait Companion[T[_[_]] <: Table] {

    final type Identity = T[K11.Identity]
    final type Cols = T[Col]
    final type Booleans = T[K11.Const[Boolean]]

    implicit lazy val tableSchema: TableSchema[T]

  }
  object Companion {

    type AnyCompanion = Table.Companion[? <: ([_[_]] =>> harness.sql.Table)]

    trait WithId[TKId <: TableKey#Id, T[_[_]] <: Table.WithId[?, TKId]](implicit
        iMap: IMap[UUID, TKId],
    ) extends Table.Companion[T] {

      final type Id = TKId
      object Id {
        def apply(uuid: UUID): Id = iMap.to(uuid)
        def gen: Id = Id(UUID.randomUUID)
        def genZio: UIO[Id] = Random.nextUUID.map(Id(_))

        /**
          * It is recommended to use [[pkCol]] or [[fkCol]] instead,
          * because these are the only 2 situations a col of this type should be used.
          */
        def basicCol(colName: String): Col[Id] =
          Col.uuid(colName).imap(Id(_))(_.toUUID)

        def pkCol: Col[Id] =
          Id.pkCol("id")
        def pkCol(colName: String): Col[Id] =
          Id.basicCol(colName).primaryKey

        def fkCol: Col[Id] =
          Id.fkCol(s"${tableSchema.tableName}_id")
        def fkCol(colName: String): Col[Id] =
          Id.fkCol(colName, "id")
        def fkCol(colName: String, referencesColName: String): Col[Id] =
          Id.basicCol(colName).references(ForeignKeyRef(tableSchema.tableSchema, tableSchema.tableName, referencesColName))
      }

    }

  }

}