dataprism.sql

package dataprism.sql

Members list

Type members

Classlikes

trait AnsiTypes[Codec[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
case class Column[Codec[_], A](nameStr: String, tpe: SelectedType[Codec, A])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait Db[F[_], Codec[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TransactionDb[F, Codec]
trait TransactionalDb[F, Codec]
Self type
Db[F, Codec]
case class NotNullArrayType[Codec[_], Arr[_], A, DimensionE <: Int](codec: Codec[Arr[A]], choice: NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE], element: SelectedType[Codec, A] { type Dimension = DimensionE; }) extends SelectedType[Codec, Arr[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SelectedType[Codec, Arr[A]]
class Object
trait Matchable
class Any
Show all
Self type
NotNullArrayType[Codec, Arr, A, DimensionE]
case class NotNullType[Codec[_], A](codec: Codec[A], choice: NullabilityTypeChoice[Codec, A, 0]) extends SelectedType[Codec, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SelectedType[Codec, A]
class Object
trait Matchable
class Any
Show all
trait NullabilityTypeChoice[Codec[_], A, Dimension0 <: Int] extends SelectedType[Codec, A]

Attributes

Companion
object
Supertypes
trait SelectedType[Codec, A]
class Object
trait Matchable
class Any
Known subtypes
class NullabilityTypeChoiceArr[Codec, Arr, A, DimensionE]
class NullabilityTypeChoiceNoArr[Codec, A]

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
class NullabilityTypeChoiceArr[Codec[_], Arr[_], A, DimensionE <: Int](notNullCodec: Codec[Arr[A]], nullableCodec: Codec[Option[Arr[A]]], element: SelectedType[Codec, A] { type Dimension = DimensionE; }) extends NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE]

Attributes

Supertypes
trait NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE]
trait SelectedType[Codec, Arr[A]]
class Object
trait Matchable
class Any
Self type
NullabilityTypeChoiceArr[Codec, Arr, A, DimensionE]
class NullabilityTypeChoiceNoArr[Codec[_], A](notNullCodec: Codec[A], nullableCodec: Codec[Option[A]]) extends NullabilityTypeChoice[Codec, A, 0]

Attributes

Supertypes
trait NullabilityTypeChoice[Codec, A, 0]
trait SelectedType[Codec, A]
class Object
trait Matchable
class Any
Self type
case class NullableArrayType[Codec[_], Arr[_], A, DimensionE <: Int](codec: Codec[Option[Arr[A]]], choice: NullabilityTypeChoice[Codec, Arr[A], 1 + DimensionE], element: SelectedType[Codec, A] { type Dimension = DimensionE; }) extends SelectedType[Codec, Option[Arr[A]]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SelectedType[Codec, Option[Arr[A]]]
class Object
trait Matchable
class Any
Show all
Self type
NullableArrayType[Codec, Arr, A, DimensionE]
case class NullableType[Codec[_], A](codec: Codec[Option[A]], choice: NullabilityTypeChoice[Codec, A, 0]) extends SelectedType[Codec, Option[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SelectedType[Codec, Option[A]]
class Object
trait Matchable
class Any
Show all

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Storing

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait SelectedType[Codec[_], A]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class NotNullArrayType[Codec, Arr, A, DimensionE]
class NotNullType[Codec, A]
trait NullabilityTypeChoice[Codec, A, Dimension0]
class NullabilityTypeChoiceArr[Codec, Arr, A, DimensionE]
class NullabilityTypeChoiceNoArr[Codec, A]
class NullableArrayType[Codec, Arr, A, DimensionE]
class NullableType[Codec, A]
Show all
Self type
SelectedType[Codec, A]
trait SqlArg[+Codec[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CompileArg[A0, Codec]
class SqlArgObj[A0, Codec]
object SqlArg

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
SqlArg.type
trait SqlInterpolation[Type[_]]

Attributes

Supertypes
class Object
trait Matchable
class Any
case class SqlStr[+Type[_]](str: String, args: Seq[SqlArg[Type]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object SqlStr

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
SqlStr.type
case class Table[Codec[_], A[_[_]]](tableName: String, columns: A[[X] =>> Column[Codec, X]])(using FA: ApplyKC[A], FT: TraverseKC[A])

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait TransactionDb[F[_], Codec[_]] extends Db[F, Codec]

Attributes

Supertypes
trait Db[F, Codec]
class Object
trait Matchable
class Any
trait TransactionalDb[F[_], Codec[_]] extends Db[F, Codec]

Attributes

Supertypes
trait Db[F, Codec]
class Object
trait Matchable
class Any
class named(name: String) extends StaticAnnotation

Attributes

Supertypes
class Annotation
class Object
trait Matchable
class Any

Extensions

Extensions

extension [A, Codec[_]](a: A)(using SqlInterpolation[Codec])
def asArg(tpe: Codec[A]): SqlArg[Codec]
extension [A, Codec[_]](a: Seq[A])(using SqlInterpolation[Codec])
def asBatchArg(tpe: Codec[A]): SqlArg[Codec]
extension (sc: StringContext)
def sql[Type[_]](args: (SqlInterpolation[Type]) ?=> SqlArg[Type] | SqlStr[Type]*): SqlStr[Type]