tuplez-full-light
tuplez-full-light
app.tulz.tuplez
Composition
Composition
Composition_Pri0
Composition_Pri10
Composition_Pri5
Composition_Pri7
TupleComposition
tuplez-full-light
/
app.tulz.tuplez
/
Composition
Composition
object
Composition
extends
Composition_Pri10
Companion:
class
Graph
Supertypes
Self type
trait
Composition_Pri10
trait
Composition_Pri7
trait
Composition_Pri5
trait
Composition_Pri0
class
Object
trait
Matchable
class
Any
Composition
.type
Type members
Value members
Implicits
Type members
Types
type
Aux
[
A
,
B
,
O
] =
Composition
[
A
,
B
] {
type
Composed
=
O
; }
Value members
Concrete methods
def
apply
[
A
,
B
,
O
](
c: (
A
,
B
)
=>
O
):
Aux
[
A
,
B
,
O
]
Implicits
Implicits
implicit
def
unit+unit
:
Aux
[
Unit
,
Unit
,
Unit
]
Inherited implicits
implicit
def
***
[
A
,
B
]:
Aux
[
A
,
B
, (
A
,
B
)]
Inherited from:
Composition_Pri0
implicit
def
A+unit
[
A
]:
Aux
[
A
,
Unit
,
A
]
Inherited from:
Composition_Pri10
implicit
def
L+T1
[
L
,
R
]:
Aux
[
L
, (
R
), (
L
,
R
)]
Inherited from:
Composition_Pri5
implicit
def
T1+R
[
L
,
R
]:
Aux
[(
L
),
R
, (
L
,
R
)]
Inherited from:
Composition_Pri5
implicit
def
T1+T1
[
L
,
R
]:
Aux
[(
L
), (
R
), (
L
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T2
[
L
,
T1
,
T2
]:
Aux
[(
L
), (
T1
,
T2
), (
L
,
T1
,
T2
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T3
[
L
,
T1
,
T2
,
T3
]:
Aux
[(
L
), (
T1
,
T2
,
T3
), (
L
,
T1
,
T2
,
T3
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T4
[
L
,
T1
,
T2
,
T3
,
T4
]:
Aux
[(
L
), (
T1
,
T2
,
T3
,
T4
), (
L
,
T1
,
T2
,
T3
,
T4
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T5
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
]:
Aux
[(
L
), (
T1
,
T2
,
T3
,
T4
,
T5
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T6
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
]:
Aux
[(
L
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T7
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
]:
Aux
[(
L
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T8
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
]:
Aux
[(
L
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
)]
Inherited from:
Composition_Pri10
implicit
def
T1+T9
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
]:
Aux
[(
L
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T1
[
T1
,
T2
,
R
]:
Aux
[(
T1
,
T2
), (
R
), (
T1
,
T2
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T2
[
L1
,
L2
,
R1
,
R2
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
), (
L1
,
L2
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T3
[
L1
,
L2
,
R1
,
R2
,
R3
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
,
R3
), (
L1
,
L2
,
R1
,
R2
,
R3
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T4
[
L1
,
L2
,
R1
,
R2
,
R3
,
R4
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
,
R3
,
R4
), (
L1
,
L2
,
R1
,
R2
,
R3
,
R4
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T5
[
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
,
R3
,
R4
,
R5
), (
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T6
[
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
,
R3
,
R4
,
R5
,
R6
), (
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T7
[
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
), (
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
)]
Inherited from:
Composition_Pri10
implicit
def
T2+T8
[
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
,
R8
]:
Aux
[(
L1
,
L2
), (
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
,
R8
), (
L1
,
L2
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
,
R8
)]
Inherited from:
Composition_Pri10
implicit
def
T2+scalar
[
T1
,
T2
,
R
]:
Aux
[(
T1
,
T2
),
R
, (
T1
,
T2
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T3+T1
[
T1
,
T2
,
T3
,
R
]:
Aux
[(
T1
,
T2
,
T3
), (
R
), (
T1
,
T2
,
T3
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T3+T2
[
L1
,
L2
,
L3
,
R1
,
R2
]:
Aux
[(
L1
,
L2
,
L3
), (
R1
,
R2
), (
L1
,
L2
,
L3
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T3+T3
[
L1
,
L2
,
L3
,
R1
,
R2
,
R3
]:
Aux
[(
L1
,
L2
,
L3
), (
R1
,
R2
,
R3
), (
L1
,
L2
,
L3
,
R1
,
R2
,
R3
)]
Inherited from:
Composition_Pri10
implicit
def
T3+T4
[
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
]:
Aux
[(
L1
,
L2
,
L3
), (
R1
,
R2
,
R3
,
R4
), (
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
)]
Inherited from:
Composition_Pri10
implicit
def
T3+T5
[
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
,
R5
]:
Aux
[(
L1
,
L2
,
L3
), (
R1
,
R2
,
R3
,
R4
,
R5
), (
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
,
R5
)]
Inherited from:
Composition_Pri10
implicit
def
T3+T6
[
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
]:
Aux
[(
L1
,
L2
,
L3
), (
R1
,
R2
,
R3
,
R4
,
R5
,
R6
), (
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
)]
Inherited from:
Composition_Pri10
implicit
def
T3+T7
[
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
]:
Aux
[(
L1
,
L2
,
L3
), (
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
), (
L1
,
L2
,
L3
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
,
R7
)]
Inherited from:
Composition_Pri10
implicit
def
T3+scalar
[
T1
,
T2
,
T3
,
R
]:
Aux
[(
T1
,
T2
,
T3
),
R
, (
T1
,
T2
,
T3
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T4+T1
[
T1
,
T2
,
T3
,
T4
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
), (
R
), (
T1
,
T2
,
T3
,
T4
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T4+T2
[
L1
,
L2
,
L3
,
L4
,
R1
,
R2
]:
Aux
[(
L1
,
L2
,
L3
,
L4
), (
R1
,
R2
), (
L1
,
L2
,
L3
,
L4
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T4+T3
[
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
]:
Aux
[(
L1
,
L2
,
L3
,
L4
), (
R1
,
R2
,
R3
), (
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
)]
Inherited from:
Composition_Pri10
implicit
def
T4+T4
[
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
,
R4
]:
Aux
[(
L1
,
L2
,
L3
,
L4
), (
R1
,
R2
,
R3
,
R4
), (
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
,
R4
)]
Inherited from:
Composition_Pri10
implicit
def
T4+T5
[
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
,
R4
,
R5
]:
Aux
[(
L1
,
L2
,
L3
,
L4
), (
R1
,
R2
,
R3
,
R4
,
R5
), (
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
,
R4
,
R5
)]
Inherited from:
Composition_Pri10
implicit
def
T4+T6
[
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
]:
Aux
[(
L1
,
L2
,
L3
,
L4
), (
R1
,
R2
,
R3
,
R4
,
R5
,
R6
), (
L1
,
L2
,
L3
,
L4
,
R1
,
R2
,
R3
,
R4
,
R5
,
R6
)]
Inherited from:
Composition_Pri10
implicit
def
T4+scalar
[
T1
,
T2
,
T3
,
T4
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
),
R
, (
T1
,
T2
,
T3
,
T4
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T5+T1
[
T1
,
T2
,
T3
,
T4
,
T5
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
), (
R
), (
T1
,
T2
,
T3
,
T4
,
T5
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T5+T2
[
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
), (
R1
,
R2
), (
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T5+T3
[
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
,
R3
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
), (
R1
,
R2
,
R3
), (
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
,
R3
)]
Inherited from:
Composition_Pri10
implicit
def
T5+T4
[
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
,
R3
,
R4
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
), (
R1
,
R2
,
R3
,
R4
), (
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
,
R3
,
R4
)]
Inherited from:
Composition_Pri10
implicit
def
T5+T5
[
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
,
R3
,
R4
,
R5
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
), (
R1
,
R2
,
R3
,
R4
,
R5
), (
L1
,
L2
,
L3
,
L4
,
L5
,
R1
,
R2
,
R3
,
R4
,
R5
)]
Inherited from:
Composition_Pri10
implicit
def
T5+scalar
[
T1
,
T2
,
T3
,
T4
,
T5
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
),
R
, (
T1
,
T2
,
T3
,
T4
,
T5
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T6+T1
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
), (
R
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T6+T2
[
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
R1
,
R2
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
,
L6
), (
R1
,
R2
), (
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T6+T3
[
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
R1
,
R2
,
R3
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
,
L6
), (
R1
,
R2
,
R3
), (
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
R1
,
R2
,
R3
)]
Inherited from:
Composition_Pri10
implicit
def
T6+T4
[
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
R1
,
R2
,
R3
,
R4
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
,
L6
), (
R1
,
R2
,
R3
,
R4
), (
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
R1
,
R2
,
R3
,
R4
)]
Inherited from:
Composition_Pri10
implicit
def
T6+scalar
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
),
R
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T7+T1
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
), (
R
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T7+T2
[
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
R1
,
R2
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
), (
R1
,
R2
), (
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T7+T3
[
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
R1
,
R2
,
R3
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
), (
R1
,
R2
,
R3
), (
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
R1
,
R2
,
R3
)]
Inherited from:
Composition_Pri10
implicit
def
T7+scalar
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
),
R
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T8+T1
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
), (
R
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T8+T2
[
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
L8
,
R1
,
R2
]:
Aux
[(
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
L8
), (
R1
,
R2
), (
L1
,
L2
,
L3
,
L4
,
L5
,
L6
,
L7
,
L8
,
R1
,
R2
)]
Inherited from:
Composition_Pri10
implicit
def
T8+scalar
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
),
R
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
T9+T1
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
), (
R
), (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
R
)]
Inherited from:
Composition_Pri10
implicit
def
T9+scalar
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
R
]:
Aux
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
),
R
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
R
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T2
[
L
,
T1
,
T2
]:
Aux
[
L
, (
T1
,
T2
), (
L
,
T1
,
T2
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T3
[
L
,
T1
,
T2
,
T3
]:
Aux
[
L
, (
T1
,
T2
,
T3
), (
L
,
T1
,
T2
,
T3
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T4
[
L
,
T1
,
T2
,
T3
,
T4
]:
Aux
[
L
, (
T1
,
T2
,
T3
,
T4
), (
L
,
T1
,
T2
,
T3
,
T4
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T5
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
]:
Aux
[
L
, (
T1
,
T2
,
T3
,
T4
,
T5
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T6
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
]:
Aux
[
L
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T7
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
]:
Aux
[
L
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T8
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
]:
Aux
[
L
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
)]
Inherited from:
Composition_Pri7
implicit
def
scalar+T9
[
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
]:
Aux
[
L
, (
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
), (
L
,
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
)]
Inherited from:
Composition_Pri7
implicit
def
unit+A
[
A
]:
Aux
[
Unit
,
A
,
A
]
Inherited from:
Composition_Pri10