Portability | GHC |
---|---|

Stability | highly unstable |

Maintainer | stephen.tetley@gmail.com |

Image and Graphic types - these are functional types from the
DrawingContext to a graphic *primitive*.

- type Graphic u = CF (GraphicAns u)
- type Image u a = CF (ImageAns u a)
- type DImage a = Image Double a
- type DGraphic = Graphic Double
- intoImage :: Query a -> Graphic u -> Image u a
- graphic_ :: Image u a -> Graphic u
- uconvImageF :: (Functor t, InterpretUnit u, InterpretUnit u1) => Image u (t u) -> Image u1 (t u1)
- uconvImageZ :: (InterpretUnit u, InterpretUnit u1) => Image u a -> Image u1 a

# Documentation

type Graphic u = CF (GraphicAns u)Source

Graphic - function from the DrawingContext to a graphic
*primitive*.

type Image u a = CF (ImageAns u a)Source

Image - function from the DrawingContext to a polymorphic
*answer* and a graphic *primitive*.

The answer is expected to be a Functor.

uconvImageF :: (Functor t, InterpretUnit u, InterpretUnit u1) => Image u (t u) -> Image u1 (t u1)Source

uconvImageZ :: (InterpretUnit u, InterpretUnit u1) => Image u a -> Image u1 aSource