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

Sum

io.hireproof.structure.Evidence$.Sum$
See theSum companion trait
object Sum extends EvidenceSumInstances

Attributes

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

Members list

Concise view

Type members

Types

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

Value members

Concrete methods

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

Givens

Givens

given sum1[A, B <: A](using mirror: SumOf[A], evidence: <none> =:= B *: EmptyTuple): Aux[A, B]

Inherited givens

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

Attributes

Inherited from:
EvidenceSumInstances
given sum11[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A, B10 <: A, B11 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11)): Aux[A, Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8], B9], B10], B11]]

Attributes

Inherited from:
EvidenceSumInstances
given sum12[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A, B10 <: A, B11 <: A, B12 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12)): Aux[A, Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8], B9], B10], B11], B12]]

Attributes

Inherited from:
EvidenceSumInstances
given sum13[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A, B10 <: A, B11 <: A, B12 <: A, B13 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13)): Aux[A, Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8], B9], B10], B11], B12], B13]]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
EvidenceSumInstances
given sum2[A, B1 <: A, B2 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2)): Aux[A, Either[B1, B2]]

Attributes

Inherited from:
EvidenceSumInstances
given sum20[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A, B10 <: A, B11 <: A, B12 <: A, B13 <: A, B14 <: A, B15 <: A, B16 <: A, B17 <: A, B18 <: A, B19 <: A, B20 <: A](using mirror: SumOf[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, Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8], B9], B10], B11], B12], B13], B14], B15], B16], B17], B18], B19], B20]]

Attributes

Inherited from:
EvidenceSumInstances
given sum21[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A, B10 <: A, B11 <: A, B12 <: A, B13 <: A, B14 <: A, B15 <: A, B16 <: A, B17 <: A, B18 <: A, B19 <: A, B20 <: A, B21 <: A](using mirror: SumOf[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, Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8], B9], B10], B11], B12], B13], B14], B15], B16], B17], B18], B19], B20], B21]]

Attributes

Inherited from:
EvidenceSumInstances
given sum22[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A, B10 <: A, B11 <: A, B12 <: A, B13 <: A, B14 <: A, B15 <: A, B16 <: A, B17 <: A, B18 <: A, B19 <: A, B20 <: A, B21 <: A, B22 <: A](using mirror: SumOf[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, Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[Either[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:
EvidenceSumInstances
given sum3[A, B1 <: A, B2 <: A, B3 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3)): Aux[A, Either[Either[B1, B2], B3]]

Attributes

Inherited from:
EvidenceSumInstances
given sum4[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4)): Aux[A, Either[Either[Either[B1, B2], B3], B4]]

Attributes

Inherited from:
EvidenceSumInstances
given sum5[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5)): Aux[A, Either[Either[Either[Either[B1, B2], B3], B4], B5]]

Attributes

Inherited from:
EvidenceSumInstances
given sum6[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6)): Aux[A, Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6]]

Attributes

Inherited from:
EvidenceSumInstances
given sum7[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7)): Aux[A, Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7]]

Attributes

Inherited from:
EvidenceSumInstances
given sum8[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8)): Aux[A, Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8]]

Attributes

Inherited from:
EvidenceSumInstances
given sum9[A, B1 <: A, B2 <: A, B3 <: A, B4 <: A, B5 <: A, B6 <: A, B7 <: A, B8 <: A, B9 <: A](using mirror: SumOf[A], evidence: <none> =:= (B1, B2, B3, B4, B5, B6, B7, B8, B9)): Aux[A, Either[Either[Either[Either[Either[Either[Either[Either[B1, B2], B3], B4], B5], B6], B7], B8], B9]]

Attributes

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