spata
API
Generated with
spata/info.fingo.spata/info.fingo.spata.schema/TypedRecord

TypedRecord

info.fingo.spata.schema.TypedRecord
See theTypedRecord companion class
object TypedRecord

Typed record helper object.

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

type Select[K <: Key, KS <: Tuple, VS <: Tuple] = KS match { case K *: _$1 => SelectH[VS] case h *: t => SelectT[K, t, VS] }

Match type to select type of value matching provided key. This type and SelectT call each other alternately to reduce tuples of keys and values accordingly.

Match type to select type of value matching provided key. This type and SelectT call each other alternately to reduce tuples of keys and values accordingly.

Attributes

type SelectH[VS <: Tuple] = VS match { case h *: _$2 => h }

Match type to reduce tuple of values to its head.

Match type to reduce tuple of values to its head.

Attributes

type SelectT[K <: Key, KS <: Tuple, VS <: Tuple] = VS match { case _$3 *: tv => Select[K, KS, tv] }

Match type to reduce tuple of values to its tail. This type and Select call each other alternately to reduce tuples of values and keys accordingly.

Match type to reduce tuple of values to its tail. This type and Select call each other alternately to reduce tuples of values and keys accordingly.

Attributes

Generated with