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