| definition: |
w4Tuple :: (Data a, Data b, Data c, Data d) => WuiSpec a -> WuiSpec b -> WuiSpec c
-> WuiSpec d -> WuiSpec (a,b,c,d)
--w4Tuple = wCons4 (\a b c d -> (a,b,c,d)) -- does not work for KiCS2
w4Tuple wa wb wc wd =
transformWSpec (\ ((a,b),(c,d)) -> (a,b,c,d),
\ (a,b,c,d) -> ((a,b),(c,d)))
(wJoinTuple (wPair wa wb) (wPair wc wd))
|
| demand: |
arguments 5 6 7 8 |
| deterministic: |
deterministic operation |
| documentation: |
--- WUI combinator for tuples of arity 4. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_,_,_,_) |-> {WuiSpec}}
|
| name: |
w4Tuple |
| precedence: |
no precedence defined |
| result-values: |
{WuiSpec}
|
| signature: |
(Prelude.Data a, Prelude.Data b, Prelude.Data c, Prelude.Data d) => WuiSpec a -> WuiSpec b -> WuiSpec c -> WuiSpec d -> WuiSpec (a, b, c, d) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
possibly non-reducible on same data term |