|
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 |