core
0.12.0
API
Generated with
core/com.github.tarao.record4s/RecordLike

RecordLike

com.github.tarao.record4s.RecordLike
See theRecordLike companion trait
object RecordLike

Attributes

Companion
trait
Source
RecordLike.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
RecordLike.type

Members list

Type members

Classlikes

final class OfProduct[P <: Product, ElemLabels0 <: Tuple, ElemTypes0 <: Tuple]() extends RecordLike[P]

Attributes

Source
RecordLike.scala
Supertypes
trait RecordLike[P]
class Object
trait Matchable
class Any
final class OfTuple[T <: Tuple] extends RecordLike[T]

Attributes

Source
RecordLike.scala
Supertypes
trait RecordLike[T]
class Object
trait Matchable
class Any

Types

type LabelsOf[T <: Tuple] = T match { case (l, _$1) *: tail => l *: LabelsOf[tail] case head *: tail => LabelsOf[tail] case Any => EmptyTuple }

Attributes

Source
RecordLike.scala
type TypesOf[T] = T match { case (_$2, t) *: tail => t *: TypesOf[tail] case head *: tail => TypesOf[tail] case Any => EmptyTuple }

Attributes

Source
RecordLike.scala

Givens

Givens

given ofProduct[P <: Product](using m: Of[P], nonRecord: NotGiven[P <:< Record], nonTuple: NotGiven[P <:< Tuple]): OfProduct[P, m.MirroredElemLabels, m.MirroredElemTypes]

Attributes

Source
RecordLike.scala
given ofTuple[T <: Tuple](using T <:< Tuple): OfTuple[T]

Attributes

Source
RecordLike.scala
Generated with