HListShape

Instance Constructors

new HListShape(shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]])(implicit arg0: ClassTag[U])

Type Members

type Mixed = M

Definition Classes
Shape
type Packed = P

Definition Classes
Shape
type Unpacked = U

Definition Classes
Shape

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 HListShape[Level, M, U, P] to any2stringadd[HListShape[Level, M, U, P]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (HListShape[Level, M, U, P], B)

Implicit information
This member is added by an implicit conversion from HListShape[Level, M, U, P] to ArrowAssoc[HListShape[Level, M, U, P]] 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 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.

Definition Classes
ProductNodeShape → Shape
def buildValue(elems: IndexedSeq[Any]): HList

Build a record value represented by this Shape from its element values.
Build a record value represented by this Shape from its element values.

Definition Classes
HListShape → ProductNodeShape
implicit val classTag: ClassTag[U]

Definition Classes
MappedScalaProductShape → MappedProductShape
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def copy(shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]]): HListShape[Level, Nothing, U, Nothing]

Create a copy of this Shape with new element Shapes.
Create a copy of this Shape with new element Shapes. This is used for packing Shapes recursively.

Definition Classes
HListShape → ProductNodeShape
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.

Definition Classes
ProductNodeShape → Shape
def ensuring(cond: (HListShape[Level, M, U, P]) ⇒ Boolean, msg: ⇒ Any): HListShape[Level, M, U, P]

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

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

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

Implicit information
This member is added by an implicit conversion from HListShape[Level, M, U, P] to Ensuring[HListShape[Level, M, U, P]] 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 HListShape[Level, M, U, P] to StringFormat[HListShape[Level, M, U, P]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getElement(value: HList, idx: Int): Any

Get the element value from a record value at the specified index.
Get the element value from a record value at the specified index.

Definition Classes
MappedScalaProductShape → ProductNodeShape
def getIterator(value: HList): Iterator[Any]

Get an Iterator of a record value's element values.
Get an Iterator of a record value's element values. The default implementation repeatedly calls getElement.

Definition Classes
MappedScalaProductShape → ProductNodeShape
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
def pack(value: Mixed): Packed

Convert a value of this Shape's (mixed) type to the fully packed type
Convert a value of this Shape's (mixed) type to the fully packed type

Definition Classes
ProductNodeShape → Shape
def packedShape: Shape[Level, Packed, Unpacked, Packed]

Return the fully packed Shape
Return the fully packed Shape

Definition Classes
ProductNodeShape → Shape
val shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]]

The Shapes for the product elements.
The Shapes for the product elements.

Definition Classes
HListShape → ProductNodeShape
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toBase(v: Any): ProductWrapper

Definition Classes
MappedProductShape
def toMapped(v: Any): Any

Definition Classes
MappedProductShape
def toNode(value: Mixed): TypeMapping

Return an AST Node representing a mixed value.
Return an AST Node representing a mixed value.

Definition Classes
MappedProductShape → ProductNodeShape → Shape
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): (HListShape[Level, M, U, P], B)

Implicit information
This member is added by an implicit conversion from HListShape[Level, M, U, P] to ArrowAssoc[HListShape[Level, M, U, P]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from MappedScalaProductShape[Level, HList, M, U, P]

Inherited from MappedProductShape[Level, HList, M, U, P]

Inherited from ProductNodeShape[Level, HList, M, U, P]

Inherited from Shape[Level, M, U, P]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HListShape[Level, M, U, P] to any2stringadd[HListShape[Level, M, U, P]]

Inherited by implicit conversion StringFormat from HListShape[Level, M, U, P] to StringFormat[HListShape[Level, M, U, P]]

Inherited by implicit conversion Ensuring from HListShape[Level, M, U, P] to Ensuring[HListShape[Level, M, U, P]]

Inherited by implicit conversion ArrowAssoc from HListShape[Level, M, U, P] to ArrowAssoc[HListShape[Level, M, U, P]]

Ungrouped

Related Doc: package HList

final class HListShape[Level <: ShapeLevel, M <: HList, U <: HList, P <: HList] extends MappedScalaProductShape[Level, HList, M, U, P]

Instance Constructors

new HListShape(shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]])(implicit arg0: ClassTag[U])

Type Members

type Mixed = M

type Packed = P

type Unpacked = U

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (HListShape[Level, M, U, P], B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

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

def buildValue(elems: IndexedSeq[Any]): HList

implicit val classTag: ClassTag[U]

def clone(): AnyRef

def copy(shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]]): HListShape[Level, Nothing, U, Nothing]

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

def ensuring(cond: (HListShape[Level, M, U, P]) ⇒ Boolean, msg: ⇒ Any): HListShape[Level, M, U, P]

def ensuring(cond: (HListShape[Level, M, U, P]) ⇒ Boolean): HListShape[Level, M, U, P]

def ensuring(cond: Boolean, msg: ⇒ Any): HListShape[Level, M, U, P]

def ensuring(cond: Boolean): HListShape[Level, M, U, P]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def getElement(value: HList, idx: Int): Any

def getIterator(value: HList): Iterator[Any]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def pack(value: Mixed): Packed

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

val shapes: Seq[Shape[_ <: ShapeLevel, _, _, _]]

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

def toBase(v: Any): ProductWrapper

def toMapped(v: Any): Any

def toNode(value: Mixed): TypeMapping

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): (HListShape[Level, M, U, P], B)

Inherited from MappedScalaProductShape[Level, HList, M, U, P]

Inherited from MappedProductShape[Level, HList, M, U, P]

Inherited from ProductNodeShape[Level, HList, M, U, P]

Inherited from Shape[Level, M, U, P]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HListShape[Level, M, U, P] to any2stringadd[HListShape[Level, M, U, P]]

Inherited by implicit conversion StringFormat from HListShape[Level, M, U, P] to StringFormat[HListShape[Level, M, U, P]]

Inherited by implicit conversion Ensuring from HListShape[Level, M, U, P] to Ensuring[HListShape[Level, M, U, P]]

Inherited by implicit conversion ArrowAssoc from HListShape[Level, M, U, P] to ArrowAssoc[HListShape[Level, M, U, P]]

Ungrouped