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