|
| PWCore | | Portability | portable | | Stability | experimental | | Maintainer | jproenca@di.uminho.pt |
|
|
|
|
|
| Description |
| A syntax of a general pointwise language.
|
|
| Synopsis |
|
|
|
| Documentation |
|
A simple definition of a pointwise language where:
- products and sums are allowed;
- constants are dealed by the use of in and out functions that
allows to go from any type that has an associated base functor to and
from a representation of that base functor using sums and products;
- recursion is only possible by the use of the fixed point constructor.
|
|
| data PWTerm |
|
|
| Produced by Haddock version 0.6 |
