| definition: |
transformWSpec :: (a->b,b->a) -> WuiSpec a -> WuiSpec b
transformWSpec (a2b,b2a) (WuiSpec wparamsa showhtmla correcta readvaluea) =
WuiSpec (transParam b2a wparamsa)
(\wparamsb nchk b -> showhtmla (transParam a2b wparamsb) nchk (b2a b))
(\wparamsb b -> correcta wparamsa (b2a b) && conditionOf wparamsb b)
(\env wst -> a2b (readvaluea env wst))
where
transParam :: (b->a) -> WuiParams a -> WuiParams b
transParam toa (render,errmsg,legal) = (render,errmsg,legal . toa)
|
| demand: |
arguments 1 2 |
| deterministic: |
deterministic operation |
| documentation: |
--- Transforms a WUI specification from one type to another. |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({(,)},{WuiSpec}) |-> {WuiSpec}}
|
| name: |
transformWSpec |
| precedence: |
no precedence defined |
| result-values: |
{WuiSpec}
|
| signature: |
(a -> b, b -> a) -> WuiSpec a -> WuiSpec b |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |