|
definition:
|
w14Tuple :: (Data a, Data b, Data c, Data d, Data e, Data f, Data g, Data h,
Data i, Data j, Data k, Data l, Data m, Data n) =>
WuiSpec a -> WuiSpec b -> WuiSpec c -> WuiSpec d -> WuiSpec e ->
WuiSpec f -> WuiSpec g -> WuiSpec h -> WuiSpec i -> WuiSpec j ->
WuiSpec k -> WuiSpec l -> WuiSpec m -> WuiSpec n ->
WuiSpec (a,b,c,d,e,f,g,h,i,j,k,l,m,n)
--w14Tuple = wCons14 (\a b c d e f g h i j k l m n -> (a,b,c,d,e,f,g,h,i,j,k,l,m,n))
w14Tuple wa wb wc wd we wf wg wh wi wj wk wl wm wn =
transformWSpec
(\ ((a,b,c,d,e,f,g),(h,i,j,k,l,m,n)) -> (a,b,c,d,e,f,g,h,i,j,k,l,m,n),
\ (a,b,c,d,e,f,g,h,i,j,k,l,m,n) -> ((a,b,c,d,e,f,g),(h,i,j,k,l,m,n)))
(wJoinTuple (w7Tuple wa wb wc wd we wf wg) (w7Tuple wh wi wj wk wl wm wn))
|
|
iotype:
|
{(_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_) |-> {WuiSpec}}
|
|
signature:
|
(Prelude.Data a, Prelude.Data b, Prelude.Data c, Prelude.Data d, Prelude.Data e, Prelude.Data f, Prelude.Data g, Prelude.Data h, Prelude.Data i, Prelude.Data j, Prelude.Data k, Prelude.Data l, Prelude.Data m, Prelude.Data n) => WuiSpec a
-> WuiSpec b -> WuiSpec c -> WuiSpec d -> WuiSpec e -> WuiSpec f -> WuiSpec g
-> WuiSpec h -> WuiSpec i -> WuiSpec j -> WuiSpec k -> WuiSpec l -> WuiSpec m
-> WuiSpec n -> WuiSpec (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
|