Skip to content

Commit

Permalink
Merge pull request #57 from tulz-app/feature/0.4.0
Browse files Browse the repository at this point in the history 
better encoding for `Composition`
  • Loading branch information
@yurique
yurique authored Mar 6, 2023
2 parents ac4dc14 + fcdf6b5 commit eb0e8ea
Show file tree
Hide file tree
Showing 5 changed files with 448 additions and 448 deletions.
64 changes: 32 additions & 32 deletions modules/basic-light/src/main/scala/app/tulz/tuplez/TupleComposition.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ object TupleComposition {

abstract class Composition[L, R] {
type Composed
val compose: (L, R) => Composed
def compose(a: L, b: R): Composed
def decompose(c: Composed): (L, R)
}

Expand All @@ -18,7 +18,7 @@ trait Composition_Pri0 {

override type Composed = Tuple2[A, B]

val compose: (A, B) => Tuple2[A, B] = (l, r) =>
def compose(l: A, r: B): Tuple2[A, B] =
Tuple2(l, r)

def decompose(c: Tuple2[A, B]): (A, B) =
Expand All @@ -32,7 +32,7 @@ trait Composition_Pri5 extends Composition_Pri0{

override type Composed = Tuple2[L, R]

val compose: (Tuple1[L], R) => Tuple2[L, R] = (l, r) =>
def compose(l: Tuple1[L], r: R): Tuple2[L, R] =
Tuple2(l._1, r)

def decompose(c: Tuple2[L, R]): (Tuple1[L], R) =
Expand All @@ -43,7 +43,7 @@ trait Composition_Pri5 extends Composition_Pri0{

override type Composed = Tuple2[L, R]

val compose: (L, Tuple1[R]) => Tuple2[L, R] = (l, r) =>
def compose(l: L, r: Tuple1[R]): Tuple2[L, R] =
Tuple2(l, r._1)

def decompose(c: Tuple2[L, R]): (L, Tuple1[R]) =
Expand All @@ -58,7 +58,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, R)

val compose: ((T1, T2), R) => (T1, T2, R) = (l, r) =>
def compose(l: (T1, T2), r: R): (T1, T2, R) =
(l._1, l._2, r)

def decompose(c: (T1, T2, R)): ((T1, T2), R) =
Expand All @@ -69,7 +69,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, R)

val compose: ((T1, T2, T3), R) => (T1, T2, T3, R) = (l, r) =>
def compose(l: (T1, T2, T3), r: R): (T1, T2, T3, R) =
(l._1, l._2, l._3, r)

def decompose(c: (T1, T2, T3, R)): ((T1, T2, T3), R) =
Expand All @@ -80,7 +80,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, T4, R)

val compose: ((T1, T2, T3, T4), R) => (T1, T2, T3, T4, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4), r: R): (T1, T2, T3, T4, R) =
(l._1, l._2, l._3, l._4, r)

def decompose(c: (T1, T2, T3, T4, R)): ((T1, T2, T3, T4), R) =
Expand All @@ -91,7 +91,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, T4, T5, R)

val compose: ((T1, T2, T3, T4, T5), R) => (T1, T2, T3, T4, T5, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5), r: R): (T1, T2, T3, T4, T5, R) =
(l._1, l._2, l._3, l._4, l._5, r)

def decompose(c: (T1, T2, T3, T4, T5, R)): ((T1, T2, T3, T4, T5), R) =
Expand All @@ -102,7 +102,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, T4, T5, T6, R)

val compose: ((T1, T2, T3, T4, T5, T6), R) => (T1, T2, T3, T4, T5, T6, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6), r: R): (T1, T2, T3, T4, T5, T6, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, r)

def decompose(c: (T1, T2, T3, T4, T5, T6, R)): ((T1, T2, T3, T4, T5, T6), R) =
Expand All @@ -113,7 +113,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, T4, T5, T6, T7, R)

val compose: ((T1, T2, T3, T4, T5, T6, T7), R) => (T1, T2, T3, T4, T5, T6, T7, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6, T7), r: R): (T1, T2, T3, T4, T5, T6, T7, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, l._7, r)

def decompose(c: (T1, T2, T3, T4, T5, T6, T7, R)): ((T1, T2, T3, T4, T5, T6, T7), R) =
Expand All @@ -124,7 +124,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, T4, T5, T6, T7, T8, R)

val compose: ((T1, T2, T3, T4, T5, T6, T7, T8), R) => (T1, T2, T3, T4, T5, T6, T7, T8, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6, T7, T8), r: R): (T1, T2, T3, T4, T5, T6, T7, T8, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, l._7, l._8, r)

def decompose(c: (T1, T2, T3, T4, T5, T6, T7, T8, R)): ((T1, T2, T3, T4, T5, T6, T7, T8), R) =
Expand All @@ -135,7 +135,7 @@ trait Composition_Pri7 extends Composition_Pri5 {

override type Composed = (T1, T2, T3, T4, T5, T6, T7, T8, T9, R)

val compose: ((T1, T2, T3, T4, T5, T6, T7, T8, T9), R) => (T1, T2, T3, T4, T5, T6, T7, T8, T9, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6, T7, T8, T9), r: R): (T1, T2, T3, T4, T5, T6, T7, T8, T9, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, l._7, l._8, l._9, r)

def decompose(c: (T1, T2, T3, T4, T5, T6, T7, T8, T9, R)): ((T1, T2, T3, T4, T5, T6, T7, T8, T9), R) =
Expand All @@ -150,7 +150,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = Tuple2[L, R]

val compose: (Tuple1[L], Tuple1[R]) => Tuple2[L, R] = (l, r) =>
def compose(l: Tuple1[L], r: Tuple1[R]): Tuple2[L, R] =
(l._1, r._1)

def decompose(c: Tuple2[L, R]): (Tuple1[L], Tuple1[R]) =
Expand All @@ -162,7 +162,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, R)

val compose: ((T1, T2), Tuple1[R]) => (T1, T2, R) = (l, r) =>
def compose(l: (T1, T2), r: Tuple1[R]): (T1, T2, R) =
(l._1, l._2, r._1)

def decompose(c: (T1, T2, R)): ((T1, T2), Tuple1[R]) =
Expand All @@ -173,7 +173,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2)

val compose: (Tuple1[L], (T1, T2)) => (L, T1, T2) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2)): (L, T1, T2) =
(l._1, r._1, r._2)

def decompose(c: (L, T1, T2)): (Tuple1[L], (T1, T2)) =
Expand All @@ -184,7 +184,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, R)

val compose: ((T1, T2, T3), Tuple1[R]) => (T1, T2, T3, R) = (l, r) =>
def compose(l: (T1, T2, T3), r: Tuple1[R]): (T1, T2, T3, R) =
(l._1, l._2, l._3, r._1)

def decompose(c: (T1, T2, T3, R)): ((T1, T2, T3), Tuple1[R]) =
Expand All @@ -195,7 +195,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3)

val compose: (Tuple1[L], (T1, T2, T3)) => (L, T1, T2, T3) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3)): (L, T1, T2, T3) =
(l._1, r._1, r._2, r._3)

def decompose(c: (L, T1, T2, T3)): (Tuple1[L], (T1, T2, T3)) =
Expand All @@ -206,7 +206,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, T4, R)

val compose: ((T1, T2, T3, T4), Tuple1[R]) => (T1, T2, T3, T4, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4), r: Tuple1[R]): (T1, T2, T3, T4, R) =
(l._1, l._2, l._3, l._4, r._1)

def decompose(c: (T1, T2, T3, T4, R)): ((T1, T2, T3, T4), Tuple1[R]) =
Expand All @@ -217,7 +217,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3, T4)

val compose: (Tuple1[L], (T1, T2, T3, T4)) => (L, T1, T2, T3, T4) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3, T4)): (L, T1, T2, T3, T4) =
(l._1, r._1, r._2, r._3, r._4)

def decompose(c: (L, T1, T2, T3, T4)): (Tuple1[L], (T1, T2, T3, T4)) =
Expand All @@ -228,7 +228,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, T4, T5, R)

val compose: ((T1, T2, T3, T4, T5), Tuple1[R]) => (T1, T2, T3, T4, T5, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5), r: Tuple1[R]): (T1, T2, T3, T4, T5, R) =
(l._1, l._2, l._3, l._4, l._5, r._1)

def decompose(c: (T1, T2, T3, T4, T5, R)): ((T1, T2, T3, T4, T5), Tuple1[R]) =
Expand All @@ -239,7 +239,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3, T4, T5)

val compose: (Tuple1[L], (T1, T2, T3, T4, T5)) => (L, T1, T2, T3, T4, T5) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3, T4, T5)): (L, T1, T2, T3, T4, T5) =
(l._1, r._1, r._2, r._3, r._4, r._5)

def decompose(c: (L, T1, T2, T3, T4, T5)): (Tuple1[L], (T1, T2, T3, T4, T5)) =
Expand All @@ -250,7 +250,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, T4, T5, T6, R)

val compose: ((T1, T2, T3, T4, T5, T6), Tuple1[R]) => (T1, T2, T3, T4, T5, T6, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6), r: Tuple1[R]): (T1, T2, T3, T4, T5, T6, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, r._1)

def decompose(c: (T1, T2, T3, T4, T5, T6, R)): ((T1, T2, T3, T4, T5, T6), Tuple1[R]) =
Expand All @@ -261,7 +261,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3, T4, T5, T6)

val compose: (Tuple1[L], (T1, T2, T3, T4, T5, T6)) => (L, T1, T2, T3, T4, T5, T6) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3, T4, T5, T6)): (L, T1, T2, T3, T4, T5, T6) =
(l._1, r._1, r._2, r._3, r._4, r._5, r._6)

def decompose(c: (L, T1, T2, T3, T4, T5, T6)): (Tuple1[L], (T1, T2, T3, T4, T5, T6)) =
Expand All @@ -272,7 +272,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, T4, T5, T6, T7, R)

val compose: ((T1, T2, T3, T4, T5, T6, T7), Tuple1[R]) => (T1, T2, T3, T4, T5, T6, T7, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6, T7), r: Tuple1[R]): (T1, T2, T3, T4, T5, T6, T7, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, l._7, r._1)

def decompose(c: (T1, T2, T3, T4, T5, T6, T7, R)): ((T1, T2, T3, T4, T5, T6, T7), Tuple1[R]) =
Expand All @@ -283,7 +283,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3, T4, T5, T6, T7)

val compose: (Tuple1[L], (T1, T2, T3, T4, T5, T6, T7)) => (L, T1, T2, T3, T4, T5, T6, T7) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3, T4, T5, T6, T7)): (L, T1, T2, T3, T4, T5, T6, T7) =
(l._1, r._1, r._2, r._3, r._4, r._5, r._6, r._7)

def decompose(c: (L, T1, T2, T3, T4, T5, T6, T7)): (Tuple1[L], (T1, T2, T3, T4, T5, T6, T7)) =
Expand All @@ -294,7 +294,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, T4, T5, T6, T7, T8, R)

val compose: ((T1, T2, T3, T4, T5, T6, T7, T8), Tuple1[R]) => (T1, T2, T3, T4, T5, T6, T7, T8, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6, T7, T8), r: Tuple1[R]): (T1, T2, T3, T4, T5, T6, T7, T8, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, l._7, l._8, r._1)

def decompose(c: (T1, T2, T3, T4, T5, T6, T7, T8, R)): ((T1, T2, T3, T4, T5, T6, T7, T8), Tuple1[R]) =
Expand All @@ -305,7 +305,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3, T4, T5, T6, T7, T8)

val compose: (Tuple1[L], (T1, T2, T3, T4, T5, T6, T7, T8)) => (L, T1, T2, T3, T4, T5, T6, T7, T8) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3, T4, T5, T6, T7, T8)): (L, T1, T2, T3, T4, T5, T6, T7, T8) =
(l._1, r._1, r._2, r._3, r._4, r._5, r._6, r._7, r._8)

def decompose(c: (L, T1, T2, T3, T4, T5, T6, T7, T8)): (Tuple1[L], (T1, T2, T3, T4, T5, T6, T7, T8)) =
Expand All @@ -316,7 +316,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (T1, T2, T3, T4, T5, T6, T7, T8, T9, R)

val compose: ((T1, T2, T3, T4, T5, T6, T7, T8, T9), Tuple1[R]) => (T1, T2, T3, T4, T5, T6, T7, T8, T9, R) = (l, r) =>
def compose(l: (T1, T2, T3, T4, T5, T6, T7, T8, T9), r: Tuple1[R]): (T1, T2, T3, T4, T5, T6, T7, T8, T9, R) =
(l._1, l._2, l._3, l._4, l._5, l._6, l._7, l._8, l._9, r._1)

def decompose(c: (T1, T2, T3, T4, T5, T6, T7, T8, T9, R)): ((T1, T2, T3, T4, T5, T6, T7, T8, T9), Tuple1[R]) =
Expand All @@ -327,7 +327,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = (L, T1, T2, T3, T4, T5, T6, T7, T8, T9)

val compose: (Tuple1[L], (T1, T2, T3, T4, T5, T6, T7, T8, T9)) => (L, T1, T2, T3, T4, T5, T6, T7, T8, T9) = (l, r) =>
def compose(l: Tuple1[L], r: (T1, T2, T3, T4, T5, T6, T7, T8, T9)): (L, T1, T2, T3, T4, T5, T6, T7, T8, T9) =
(l._1, r._1, r._2, r._3, r._4, r._5, r._6, r._7, r._8, r._9)

def decompose(c: (L, T1, T2, T3, T4, T5, T6, T7, T8, T9)): (Tuple1[L], (T1, T2, T3, T4, T5, T6, T7, T8, T9)) =
Expand All @@ -338,7 +338,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = A

val compose: (Unit, A) => A = (l, r) =>
def compose(l: Unit, r: A): A =
r

def decompose(c: A): (Unit, A) =
Expand All @@ -349,7 +349,7 @@ trait Composition_Pri10 extends Composition_Pri7 {

override type Composed = A

val compose: (A, Unit) => A = (l, r) =>
def compose(l: A, r: Unit): A =
l

def decompose(c: A): (A, Unit) =
Expand All @@ -366,7 +366,7 @@ object Composition extends Composition_Pri10 {

override type Composed = Unit

val compose: (Unit, Unit) => Unit = (l, r) =>
def compose(l: Unit, r: Unit): Unit =
()

def decompose(c: Unit): (Unit, Unit) =
Expand Down
Loading

0 comments on commit eb0e8ea

Please sign in to comment.