| definition: |
wCons14 :: (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, Data o) =>
(a->b->c->d->e->f->g->h->i->j->k->l->m->n->o) ->
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 o
wCons14 cons wa wb wc wd we wf wg wh wi wj wk wl wm wn =
adaptWSpec
(\ ((a,b,c,d,e,f,g),(h,i,j,k,l,m,n)) -> cons 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))
|
| demand: |
no demanded arguments |
| deterministic: |
possibly non-deterministic operation |
| documentation: |
--- WUI combinator for constructors of arity 14. --- The first argument is the ternary constructor. --- The further arguments are the WUI specifications for the argument types. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_,_) |-> _}
|
| name: |
wCons14 |
| precedence: |
no precedence defined |
| result-values: |
_ |
| 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, Prelude.Data o) => (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o) -> 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 o |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |