Shape

A type class that encodes the unpacking Mixed => Unpacked of a Query[Mixed] to its result element type Unpacked and the packing to a fully packed type Packed, i.e. a type where everything which is not a transparent container is wrapped in a Column[_].

Example:

- Mixed: (Column[Int], Column[(Int, String)], (Int, Option[Double])) - Unpacked: (Int, (Int, String), (Int, Option[Double])) - Packed: (Column[Int], Column[(Int, String)], (Column[Int], Column[Option[Double]])) - Linearized: (Int, Int, String, Int, Option[Double])

Annotations: @implicitNotFound( ... )
Source: Shape.scala

Linear Supertypes

AnyRef, Any

Known Subclasses

CaseClassShape, HListShape, MappedProductShape, MappedScalaProductShape, ProductClassShape, ProductNodeShape, RepShape, TupleShape

Type Hierarchy Learn more about scaladoc diagrams

Instance Constructors

new Shape()

Type Members

type Mixed = Mixed_
type Packed = Packed_
type Unpacked = Unpacked_

Abstract Value Members

abstract def buildParams(extract: (Any) ⇒ Unpacked): Packed

Build a packed representation containing QueryParameters that can extract data from the unpacked representation later.
Build a packed representation containing QueryParameters that can extract data from the unpacked representation later. This method is not available for shapes where Mixed and Unpacked are different types.
abstract def encodeRef(value: Mixed, path: Node): Any

Encode a reference into a value of this Shape.
Encode a reference into a value of this Shape. This method may not be available for shapes where Mixed and Packed are different types.
abstract def pack(value: Mixed): Packed

Convert a value of this Shape's (mixed) type to the fully packed type
abstract def packedShape: Shape[Level, Packed, Unpacked, Packed]

Return the fully packed Shape
abstract def toNode(value: Mixed): Node

Return an AST Node representing a mixed value.

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to any2stringadd[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Shape[Level, Mixed_, Unpacked_, Packed_], B)

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to ArrowAssoc[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (Shape[Level, Mixed_, Unpacked_, Packed_]) ⇒ Boolean, msg: ⇒ Any): Shape[Level, Mixed_, Unpacked_, Packed_]

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to Ensuring[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Shape[Level, Mixed_, Unpacked_, Packed_]) ⇒ Boolean): Shape[Level, Mixed_, Unpacked_, Packed_]

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to Ensuring[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Shape[Level, Mixed_, Unpacked_, Packed_]

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to Ensuring[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Shape[Level, Mixed_, Unpacked_, Packed_]

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to Ensuring[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to StringFormat[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (Shape[Level, Mixed_, Unpacked_, Packed_], B)

Implicit information
This member is added by an implicit conversion from Shape[Level, Mixed_, Unpacked_, Packed_] to ArrowAssoc[Shape[Level, Mixed_, Unpacked_, Packed_]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Shape[Level, Mixed_, Unpacked_, Packed_] to any2stringadd[Shape[Level, Mixed_, Unpacked_, Packed_]]

Related Docs: object Shape | package lifted

abstract class Shape[Level <: ShapeLevel, -Mixed_, Unpacked_, Packed_] extends AnyRef

Example:

Instance Constructors

new Shape()

Type Members

type Mixed = Mixed_

type Packed = Packed_

type Unpacked = Unpacked_

Abstract Value Members

abstract def buildParams(extract: (Any) ⇒ Unpacked): Packed

abstract def encodeRef(value: Mixed, path: Node): Any

abstract def pack(value: Mixed): Packed

abstract def packedShape: Shape[Level, Packed, Unpacked, Packed]

abstract def toNode(value: Mixed): Node

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Shape[Level, Mixed_, Unpacked_, Packed_], B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (Shape[Level, Mixed_, Unpacked_, Packed_]) ⇒ Boolean, msg: ⇒ Any): Shape[Level, Mixed_, Unpacked_, Packed_]

def ensuring(cond: (Shape[Level, Mixed_, Unpacked_, Packed_]) ⇒ Boolean): Shape[Level, Mixed_, Unpacked_, Packed_]

def ensuring(cond: Boolean, msg: ⇒ Any): Shape[Level, Mixed_, Unpacked_, Packed_]

def ensuring(cond: Boolean): Shape[Level, Mixed_, Unpacked_, Packed_]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (Shape[Level, Mixed_, Unpacked_, Packed_], B)

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Shape[Level, Mixed_, Unpacked_, Packed_] to any2stringadd[Shape[Level, Mixed_, Unpacked_, Packed_]]

Inherited by implicit conversion StringFormat from Shape[Level, Mixed_, Unpacked_, Packed_] to StringFormat[Shape[Level, Mixed_, Unpacked_, Packed_]]

Inherited by implicit conversion Ensuring from Shape[Level, Mixed_, Unpacked_, Packed_] to Ensuring[Shape[Level, Mixed_, Unpacked_, Packed_]]

Inherited by implicit conversion ArrowAssoc from Shape[Level, Mixed_, Unpacked_, Packed_] to ArrowAssoc[Shape[Level, Mixed_, Unpacked_, Packed_]]

Ungrouped