structure-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
structure-core/io.hireproof.structure/Evidence/Product

Product

io.hireproof.structure.Evidence$.Product$
See theProduct companion trait
object Product extends EvidenceProductInstances

Attributes

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

Members list

Concise view

Type members

Classlikes

object Merger extends Merger1

Attributes

Companion:
trait
Graph
Supertypes
trait Merger1
class Object
trait Matchable
class Any
Self type
Merger.type
trait Merger[A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
trait Merger1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Merger.type

Types

type Aux[A, O] = Product[A] { type Out = O; }

Value members

Concrete methods

def apply[A](implicit evidence: Product[A]): Product[A]
inline def instance[A, B](f: A => B)(g: B => A): Aux[A, B]

Givens

Givens

given product1[A <: Product, B](using mirror: ProductOf[A], evidence: <none> =:= B *: EmptyTuple): Aux[A, B]

Inherited givens

given product10[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10)): Aux[A, (((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10)]

Attributes

Inherited from:
EvidenceProductInstances
given product11[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11)): Aux[A, ((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11)]

Attributes

Inherited from:
EvidenceProductInstances
given product12[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12)): Aux[A, (((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12)]

Attributes

Inherited from:
EvidenceProductInstances
given product13[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13)): Aux[A, ((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13)]

Attributes

Inherited from:
EvidenceProductInstances
given product14[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14)): Aux[A, (((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14)]

Attributes

Inherited from:
EvidenceProductInstances
given product15[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15)): Aux[A, ((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15)]

Attributes

Inherited from:
EvidenceProductInstances
given product16[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16)): Aux[A, (((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16)]

Attributes

Inherited from:
EvidenceProductInstances
given product17[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17)): Aux[A, ((((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16), B17)]

Attributes

Inherited from:
EvidenceProductInstances
given product18[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18)): Aux[A, (((((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16), B17), B18)]

Attributes

Inherited from:
EvidenceProductInstances
given product19[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19)): Aux[A, ((((((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16), B17), B18), B19)]

Attributes

Inherited from:
EvidenceProductInstances
given product2[A <: Product, B1, B2](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2)): Aux[A, (B1, B2)]

Attributes

Inherited from:
EvidenceProductInstances
given product20[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19, B20](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19, B20)): Aux[A, (((((((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16), B17), B18), B19), B20)]

Attributes

Inherited from:
EvidenceProductInstances
given product21[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19, B20, B21](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19, B20, B21)): Aux[A, ((((((((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16), B17), B18), B19), B20), B21)]

Attributes

Inherited from:
EvidenceProductInstances
given product22[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19, B20, B21, B22](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, B16, B17, B18, B19, B20, B21, B22)): Aux[A, (((((((((((((((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9), B10), B11), B12), B13), B14), B15), B16), B17), B18), B19), B20), B21), B22)]

Attributes

Inherited from:
EvidenceProductInstances
given product3[A <: Product, B1, B2, B3](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3)): Aux[A, ((B1, B2), B3)]

Attributes

Inherited from:
EvidenceProductInstances
given product4[A <: Product, B1, B2, B3, B4](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4)): Aux[A, (((B1, B2), B3), B4)]

Attributes

Inherited from:
EvidenceProductInstances
given product5[A <: Product, B1, B2, B3, B4, B5](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5)): Aux[A, ((((B1, B2), B3), B4), B5)]

Attributes

Inherited from:
EvidenceProductInstances
given product6[A <: Product, B1, B2, B3, B4, B5, B6](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6)): Aux[A, (((((B1, B2), B3), B4), B5), B6)]

Attributes

Inherited from:
EvidenceProductInstances
given product7[A <: Product, B1, B2, B3, B4, B5, B6, B7](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7)): Aux[A, ((((((B1, B2), B3), B4), B5), B6), B7)]

Attributes

Inherited from:
EvidenceProductInstances
given product8[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8)): Aux[A, (((((((B1, B2), B3), B4), B5), B6), B7), B8)]

Attributes

Inherited from:
EvidenceProductInstances
given product9[A <: Product, B1, B2, B3, B4, B5, B6, B7, B8, B9](using mirror: ProductOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9)): Aux[A, ((((((((B1, B2), B3), B4), B5), B6), B7), B8), B9)]

Attributes

Inherited from:
EvidenceProductInstances
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL