|
| PwPfConversion | | Portability | portable | | Stability | experimental | | Maintainer | jproenca@di.uminho.pt |
|
|
|
|
|
| Description |
| Translations between pointwise and point-free expressions, expressed in
the modules PWCore and PointFree.
|
|
| Synopsis |
|
|
|
|
| Translation from Pointfree to PWCore |
|
| pf2core :: PFTerm -> PWTerm |
| Applies a simple transformation from a PFTerm to a PWTerm, in an automated manner.
|
|
| Translation from PWCore to Pointfree |
|
| core2Pf :: PWTerm -> PFTerm |
| Applies the conversion of a pointwise expression of type A and obtains
a pointfree expression of type 1->A, to which is applied a poinfree macro
to get the correct type again.
|
|
| Produced by Haddock version 0.6 |
