core
API
Generated with
core/org.hungerford.generic.schema.product.constructor/ProductDeconstructor

ProductDeconstructor

org.hungerford.generic.schema.product.constructor.ProductDeconstructor$
See theProductDeconstructor companion trait
object ProductDeconstructor

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T, Fs, R] = ProductDeconstructor[T, Fs] { type Res = R; }

Givens

Givens

given extractor[T, F]: extractor[T, F]
given field[T, F, FD <: Extr[T, F]]: field[T, F, FD]
given given_ProductDeconstructor_T_*:[T, H, Tail <: Tuple, HRes, TailRes <: Tuple](using hdc: Aux[T, H, HRes], tdc: Aux[T, Tail, TailRes]): given_ProductDeconstructor_T_*:[T, H, Tail, HRes, TailRes]
given given_ProductDeconstructor_T_EmptyTuple[T]: given_ProductDeconstructor_T_EmptyTuple[T]
given noAfDeconstructor[T, H, TailHead <: Tuple, TailHeadRes <: Tuple](using hEv: NotGiven[ProductDeconstructor[T, H]], tdc: Aux[T, TailHead, TailHeadRes]): noAfDeconstructor[T, H, TailHead, TailHeadRes]
Generated with