Wumpus.Basic.Kernel.Objects.Image

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

Documentation

type Graphic u = CF (GraphicAns u)

Graphic - function from the DrawingContext to a graphic primitive.

type Image u a = CF (ImageAns u a)

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

The answer is expected to be a Functor.

type DImage a = Image Double a

Type specialized version of Image.

type DGraphic = Graphic Double

Type specialized version of Graphic.

intoImage :: Query a -> Graphic u -> Image u a

intoImage : query * graphic -> Image

Build an Image from a context function (CF) that generates the answer and a Graphic that draws the Image.

graphic_ :: Image u a -> Graphic u

Downcast an Image to a Graphic.

This means forgetting the answer of the Image, replacing it with ().

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

Use this to convert Graphic or Image with Functor answer.

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