Acme.Cadre

Description

>>> car (1, 2)
1
>>> car (1, 2, 3)
1
>>> car (1, 2, 3, 4)
1
>>> cdr (1, 2)
2
>>> cdr (1, 2, 3)
(2, 3)
>>> cdr (1, 2, 3, 4)
(2, 3, 4)

>>> setCar (+ 1) (1, 2)
(2, 2)
>>> setCdr (subtract 1) (1, 2)
(1, 1)

>>> caddr (1, 2, 3, 4)
3
>>> caddr (1, 2, (3, 4))
3
>>> caddr (1, (2, 3, 4))
3
>>> setCaddr (+ 1) (1, 2, 3, (4, 5))
(1, 2, 4, (4, 5))
>>> cdaar . cdddr $ (1, (2, 3, ((4, 5), 6), 7))
5

>>> cdddddr [1 .. 10]
[6, 7, 8, 9, 10]
>>> setCddr reverse (0, [1 .. 4])
(0, [1, 4, 3, 2])

capture :: IO (X, Y, (Z, Z))

dispose :: (X, (Y, [Z])) -> IO ()

capture >>= repair4 <&> dispose

repair4 = reap4 <&> pare4

>>> reap4 (1, 2, 3, 4)
(1, (2, (3, 4)))
>>> pare4 (1, (2, (3, 4))) :: (Int, Int, Int, Int)
(1, 2, 3, 4)
>>> pare4 (1, (2, (3, 4))) :: (Int, [Int])
(1, [2, 3, 4])

>>> setCddr (uncurry (++)) ("a", "b", "c", "d")
-- not permitted due to negative assessment of typing protocol
>>> pare3 . setCddr (uncurry (++)) . reap4 $ ("a", "b", "c", "d") :: (String, String, String)
("a", "b", "cd")

Synopsis

• (<&>) :: (a -> b) -> (b -> c) -> a -> c
• class Cadre a car cdr | a -> car cdr where
  • cadre :: a -> (car, cdr)
• car :: Cadre a c b => a -> c
• cdr :: Cadre a a1 c => a -> c
• caar :: (Cadre a b b2, Cadre b c b1) => a -> c
• cadr :: (Cadre a a1 b, Cadre b c b1) => a -> c
• cdar :: (Cadre a b b1, Cadre b a1 c) => a -> c
• cddr :: (Cadre a a2 b, Cadre b a1 c) => a -> c
• caaar :: (Cadre b2 b b3, Cadre a b2 b4, Cadre b c b1) => a -> c
• caadr :: (Cadre b2 b b3, Cadre a a1 b2, Cadre b c b1) => a -> c
• cadar :: (Cadre b2 a1 b, Cadre a b2 b3, Cadre b c b1) => a -> c
• caddr :: (Cadre b2 a1 b, Cadre a a2 b2, Cadre b c b1) => a -> c
• cdaar :: (Cadre b1 b b2, Cadre a b1 b3, Cadre b a1 c) => a -> c
• cdadr :: (Cadre b1 b b2, Cadre a a2 b1, Cadre b a1 c) => a -> c
• cddar :: (Cadre b1 a2 b, Cadre a b1 b2, Cadre b a1 c) => a -> c
• cdddr :: (Cadre b1 a2 b, Cadre a a3 b1, Cadre b a1 c) => a -> c
• caaaar :: (Cadre b4 b b5, Cadre b1 c b2, Cadre a b4 b6, Cadre b b1 b3) => a -> c
• caaadr :: (Cadre b4 b b5, Cadre b1 c b2, Cadre a a1 b4, Cadre b b1 b3) => a -> c
• caadar :: (Cadre b4 a1 b, Cadre b1 c b2, Cadre a b4 b5, Cadre b b1 b3) => a -> c
• caaddr :: (Cadre b4 a1 b, Cadre b1 c b2, Cadre a a2 b4, Cadre b b1 b3) => a -> c
• cadaar :: (Cadre b3 b b4, Cadre b1 c b2, Cadre a b3 b5, Cadre b a1 b1) => a -> c
• cadadr :: (Cadre b3 b b4, Cadre b1 c b2, Cadre a a2 b3, Cadre b a1 b1) => a -> c
• caddar :: (Cadre b3 a2 b, Cadre b1 c b2, Cadre a b3 b4, Cadre b a1 b1) => a -> c
• cadddr :: (Cadre b3 a2 b, Cadre b1 c b2, Cadre a a3 b3, Cadre b a1 b1) => a -> c
• cdaaar :: (Cadre b3 b b4, Cadre b1 a1 c, Cadre a b3 b5, Cadre b b1 b2) => a -> c
• cdaadr :: (Cadre b3 b b4, Cadre b1 a1 c, Cadre a a2 b3, Cadre b b1 b2) => a -> c
• cdadar :: (Cadre b3 a2 b, Cadre b1 a1 c, Cadre a b3 b4, Cadre b b1 b2) => a -> c
• cdaddr :: (Cadre b3 a2 b, Cadre b1 a1 c, Cadre a a3 b3, Cadre b b1 b2) => a -> c
• cddaar :: (Cadre b2 b b3, Cadre b1 a1 c, Cadre a b2 b4, Cadre b a2 b1) => a -> c
• cddadr :: (Cadre b2 b b3, Cadre b1 a1 c, Cadre a a3 b2, Cadre b a2 b1) => a -> c
• cdddar :: (Cadre b2 a3 b, Cadre b1 a1 c, Cadre a b2 b3, Cadre b a2 b1) => a -> c
• cddddr :: (Cadre b2 a3 b, Cadre b1 a1 c, Cadre a a4 b2, Cadre b a2 b1) => a -> c
• caddddr :: (Cadre b4 a3 b2, Cadre b3 a1 b, Cadre b2 a2 b3, Cadre a a4 b4, Cadre b c b1) => a -> c
• cdddddr :: (Cadre b3 a4 b1, Cadre b2 a2 b, Cadre b1 a3 b2, Cadre a a5 b3, Cadre b a1 c) => a -> c
• cadddddr :: (Cadre b5 a4 b3, Cadre b4 a2 b, Cadre b3 a3 b4, Cadre b1 c b2, Cadre a a5 b5, Cadre b a1 b1) => a -> c
• cddddddr :: (Cadre b4 a5 b2, Cadre b3 a3 b, Cadre b2 a4 b3, Cadre b1 a1 c, Cadre a a6 b4, Cadre b a2 b1) => a -> c
• caddddddr :: (Cadre b6 a5 b4, Cadre b5 a3 b, Cadre b4 a4 b5, Cadre b3 a1 b1, Cadre b1 c b2, Cadre a a6 b6, Cadre b a2 b3) => a -> c
• cdddddddr :: (Cadre b5 a6 b3, Cadre b4 a4 b, Cadre b3 a5 b4, Cadre b2 a2 b1, Cadre b1 a1 c, Cadre a a7 b5, Cadre b a3 b2) => a -> c
• cadddddddr :: (Cadre b7 a6 b5, Cadre b6 a4 b, Cadre b5 a5 b6, Cadre b4 a2 b1, Cadre b2 c b3, Cadre b1 a1 b2, Cadre a a7 b7, Cadre b a3 b4) => a -> c
• cddddddddr :: (Cadre b6 a7 b4, Cadre b5 a5 b, Cadre b4 a6 b5, Cadre b3 a3 b1, Cadre b2 a1 c, Cadre b1 a2 b2, Cadre a a8 b6, Cadre b a4 b3) => a -> c
• caddddddddr :: (Cadre b8 a7 b6, Cadre b7 a5 b2, Cadre b6 a6 b7, Cadre b5 a3 b3, Cadre b4 a1 b, Cadre b3 a2 b4, Cadre b2 a4 b5, Cadre a a8 b8, Cadre b c b1) => a -> c
• cdddddddddr :: (Cadre b7 a8 b5, Cadre b6 a6 b1, Cadre b5 a7 b6, Cadre b4 a4 b2, Cadre b3 a2 b, Cadre b2 a3 b3, Cadre b1 a5 b4, Cadre a a9 b7, Cadre b a1 c) => a -> c
• cadddddddddr :: (Cadre b9 a8 b7, Cadre b8 a6 b3, Cadre b7 a7 b8, Cadre b6 a4 b4, Cadre b5 a2 b, Cadre b4 a3 b5, Cadre b3 a5 b6, Cadre b1 c b2, Cadre a a9 b9, Cadre b a1 b1) => a -> c
• cddddddddddr :: (Cadre b8 a9 b6, Cadre b7 a7 b2, Cadre b6 a8 b7, Cadre b5 a5 b3, Cadre b4 a3 b, Cadre b3 a4 b4, Cadre b2 a6 b5, Cadre b1 a1 c, Cadre a a10 b8, Cadre b a2 b1) => a -> c
• class (Cadre a car cdr, Cadre a' car' cdr') => CadreAssign a car cdr a' car' cdr' | a car' cdr' -> a' where
  • setCadre :: (car -> car') -> (cdr -> cdr') -> a -> a'
• setCar :: CadreAssign a car cdr' a' car' cdr' => (car -> car') -> a -> a'
• setCdr :: CadreAssign a car' cdr a' car' cdr' => (cdr -> cdr') -> a -> a'
• setCaar :: (CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a1 -> a'1
• setCadr :: (CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a1 -> a'1
• setCdar :: (CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a1 -> a'1
• setCddr :: (CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a1 -> a'1
• setCaaar :: (CadreAssign a2 a1 cdr'2 a'2 a'1 cdr'2, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a2 -> a'2
• setCaadr :: (CadreAssign a2 car'1 a1 a'2 car'1 a'1, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a2 -> a'2
• setCadar :: (CadreAssign a2 a1 cdr'1 a'2 a'1 cdr'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a2 -> a'2
• setCaddr :: (CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a2 -> a'2
• setCdaar :: (CadreAssign a2 a1 cdr'2 a'2 a'1 cdr'2, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a2 -> a'2
• setCdadr :: (CadreAssign a2 car'1 a1 a'2 car'1 a'1, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a2 -> a'2
• setCddar :: (CadreAssign a2 a1 cdr'1 a'2 a'1 cdr'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a2 -> a'2
• setCdddr :: (CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a2 -> a'2
• setCaaaar :: (CadreAssign a3 a2 cdr'3 a'3 a'2 cdr'3, CadreAssign a2 a1 cdr'2 a'2 a'1 cdr'2, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCaaadr :: (CadreAssign a3 car'1 a2 a'3 car'1 a'2, CadreAssign a2 a1 cdr'2 a'2 a'1 cdr'2, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCaadar :: (CadreAssign a3 a2 cdr'2 a'3 a'2 cdr'2, CadreAssign a2 car'1 a1 a'2 car'1 a'1, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCaaddr :: (CadreAssign a3 car'2 a2 a'3 car'2 a'2, CadreAssign a2 car'1 a1 a'2 car'1 a'1, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCadaar :: (CadreAssign a3 a2 cdr'2 a'3 a'2 cdr'2, CadreAssign a2 a1 cdr'1 a'2 a'1 cdr'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCadadr :: (CadreAssign a3 car'2 a2 a'3 car'2 a'2, CadreAssign a2 a1 cdr'1 a'2 a'1 cdr'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCaddar :: (CadreAssign a3 a2 cdr'1 a'3 a'2 cdr'1, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCadddr :: (CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a3 -> a'3
• setCdaaar :: (CadreAssign a3 a2 cdr'3 a'3 a'2 cdr'3, CadreAssign a2 a1 cdr'2 a'2 a'1 cdr'2, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCdaadr :: (CadreAssign a3 car'1 a2 a'3 car'1 a'2, CadreAssign a2 a1 cdr'2 a'2 a'1 cdr'2, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCdadar :: (CadreAssign a3 a2 cdr'2 a'3 a'2 cdr'2, CadreAssign a2 car'1 a1 a'2 car'1 a'1, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCdaddr :: (CadreAssign a3 car'2 a2 a'3 car'2 a'2, CadreAssign a2 car'1 a1 a'2 car'1 a'1, CadreAssign a1 a cdr'1 a'1 a' cdr'1, CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCddaar :: (CadreAssign a3 a2 cdr'2 a'3 a'2 cdr'2, CadreAssign a2 a1 cdr'1 a'2 a'1 cdr'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCddadr :: (CadreAssign a3 car'2 a2 a'3 car'2 a'2, CadreAssign a2 a1 cdr'1 a'2 a'1 cdr'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCdddar :: (CadreAssign a3 a2 cdr'1 a'3 a'2 cdr'1, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCddddr :: (CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a3 -> a'3
• setCaddddr :: (CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a4 -> a'4
• setCdddddr :: (CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a4 -> a'4
• setCadddddr :: (CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a5 -> a'5
• setCddddddr :: (CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a5 -> a'5
• setCaddddddr :: (CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a6 -> a'6
• setCdddddddr :: (CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a6 -> a'6
• setCadddddddr :: (CadreAssign a7 car'7 a6 a'7 car'7 a'6, CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a7 -> a'7
• setCddddddddr :: (CadreAssign a7 car'7 a6 a'7 car'7 a'6, CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a7 -> a'7
• setCaddddddddr :: (CadreAssign a8 car'8 a7 a'8 car'8 a'7, CadreAssign a7 car'7 a6 a'7 car'7 a'6, CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a8 -> a'8
• setCdddddddddr :: (CadreAssign a8 car'8 a7 a'8 car'8 a'7, CadreAssign a7 car'7 a6 a'7 car'7 a'6, CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a8 -> a'8
• setCadddddddddr :: (CadreAssign a9 car'9 a8 a'9 car'9 a'8, CadreAssign a8 car'8 a7 a'8 car'8 a'7, CadreAssign a7 car'7 a6 a'7 car'7 a'6, CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car cdr' a' car' cdr') => (car -> car') -> a9 -> a'9
• setCddddddddddr :: (CadreAssign a9 car'9 a8 a'9 car'9 a'8, CadreAssign a8 car'8 a7 a'8 car'8 a'7, CadreAssign a7 car'7 a6 a'7 car'7 a'6, CadreAssign a6 car'6 a5 a'6 car'6 a'5, CadreAssign a5 car'5 a4 a'5 car'5 a'4, CadreAssign a4 car'4 a3 a'4 car'4 a'3, CadreAssign a3 car'3 a2 a'3 car'3 a'2, CadreAssign a2 car'2 a1 a'2 car'2 a'1, CadreAssign a1 car'1 a a'1 car'1 a', CadreAssign a car' cdr a' car' cdr') => (cdr -> cdr') -> a9 -> a'9
• class PearShaped2 a a1 a2 | a -> a1 a2 where
  • reap2 :: a -> (a1, a2)
  • pare2 :: (a1, a2) -> a
• repair2 :: (PearShaped2 a a1 a2, PearShaped2 c a1 a2) => a -> c
• class PearShaped3 a a1 a2 a3 | a -> a1 a2 a3 where
  • reap3 :: a -> (a1, (a2, a3))
  • pare3 :: (a1, (a2, a3)) -> a
• repair3 :: (PearShaped3 a a1 a2 a3, PearShaped3 c a1 a2 a3) => a -> c
• class PearShaped4 a a1 a2 a3 a4 | a -> a1 a2 a3 a4 where
  • reap4 :: a -> (a1, (a2, (a3, a4)))
  • pare4 :: (a1, (a2, (a3, a4))) -> a
• repair4 :: (PearShaped4 a a1 a2 a3 a4, PearShaped4 c a1 a2 a3 a4) => a -> c
• class PearShaped5 a a1 a2 a3 a4 a5 | a -> a1 a2 a3 a4 a5 where
  • reap5 :: a -> (a1, (a2, (a3, (a4, a5))))
  • pare5 :: (a1, (a2, (a3, (a4, a5)))) -> a
• repair5 :: (PearShaped5 a a1 a2 a3 a4 a5, PearShaped5 c a1 a2 a3 a4 a5) => a -> c
• class PearShaped6 a a1 a2 a3 a4 a5 a6 | a -> a1 a2 a3 a4 a5 a6 where
  • reap6 :: a -> (a1, (a2, (a3, (a4, (a5, a6)))))
  • pare6 :: (a1, (a2, (a3, (a4, (a5, a6))))) -> a
• repair6 :: (PearShaped6 a a1 a2 a3 a4 a5 a6, PearShaped6 c a1 a2 a3 a4 a5 a6) => a -> c
• class PearShaped7 a a1 a2 a3 a4 a5 a6 a7 | a -> a1 a2 a3 a4 a5 a6 a7 where
  • reap7 :: a -> (a1, (a2, (a3, (a4, (a5, (a6, a7))))))
  • pare7 :: (a1, (a2, (a3, (a4, (a5, (a6, a7)))))) -> a
• repair7 :: (PearShaped7 a a1 a2 a3 a4 a5 a6 a7, PearShaped7 c a1 a2 a3 a4 a5 a6 a7) => a -> c
• class PearShaped8 a a1 a2 a3 a4 a5 a6 a7 a8 | a -> a1 a2 a3 a4 a5 a6 a7 a8 where
  • reap8 :: a -> (a1, (a2, (a3, (a4, (a5, (a6, (a7, a8)))))))
  • pare8 :: (a1, (a2, (a3, (a4, (a5, (a6, (a7, a8))))))) -> a
• repair8 :: (PearShaped8 a a1 a2 a3 a4 a5 a6 a7 a8, PearShaped8 c a1 a2 a3 a4 a5 a6 a7 a8) => a -> c
• class PearShaped9 a a1 a2 a3 a4 a5 a6 a7 a8 a9 | a -> a1 a2 a3 a4 a5 a6 a7 a8 a9 where
  • reap9 :: a -> (a1, (a2, (a3, (a4, (a5, (a6, (a7, (a8, a9))))))))
  • pare9 :: (a1, (a2, (a3, (a4, (a5, (a6, (a7, (a8, a9)))))))) -> a
• repair9 :: (PearShaped9 a a1 a2 a3 a4 a5 a6 a7 a8 a9, PearShaped9 c a1 a2 a3 a4 a5 a6 a7 a8 a9) => a -> c
• class PearShaped10 a a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 | a -> a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 where
  • reap10 :: a -> (a1, (a2, (a3, (a4, (a5, (a6, (a7, (a8, (a9, a10)))))))))
  • pare10 :: (a1, (a2, (a3, (a4, (a5, (a6, (a7, (a8, (a9, a10))))))))) -> a
• repair10 :: (PearShaped10 a a1 a2 a3 a4 a5 a6 a7 a8 a9 a10, PearShaped10 c a1 a2 a3 a4 a5 a6 a7 a8 a9 a10) => a -> c

Documentation