Wumpus.Basic.Kernel.Objects.LocImage

LocImage and LocGraphic types - these are functional types from the DrawingContext and start point to a graphic primitive.

Documentation

type LocGraphic u = LocQuery u (GraphicAns u)

LocGraphic - function from DrawingContext and start point to a graphic primitive.

type LocImage u a = LocQuery u (ImageAns u a)

Graphic - function from DrawingContext and start point to a polymorphic answer and a graphic primitive.

The answer is expected to be a Functor.

type DLocImage a = LocImage Double a

Type specialized version of LocImage.

type DLocGraphic = LocGraphic Double

Type specialized version of LocGraphic.

intoLocImage :: LocQuery u a -> LocGraphic u -> LocImage u a

intoLocImage : loc_query * loc_graphic -> LocImage

Loc version of intoImage.

The LocImage is built as a function from an implicit start point to the answer.

locGraphic_ :: LocImage u a -> LocGraphic u

Downcast an LocImage to a LocGraphic.

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

emptyLocGraphic :: InterpretUnit u => LocGraphic u

emptyLocGraphic : LocGraphic

Build an empty LocGraphic (i.e. a function from Point to Graphic). This is a path with a start point but no path segments.

The emptyLocGraphic is treated as a null primitive by Wumpus-Core and is not drawn, although it does generate a minimum bounding box at the implicit start point.

uconvLocImageF :: (InterpretUnit u, InterpretUnit u1, Functor t) => LocImage u (t u) -> LocImage u1 (t u1)

Use this to convert LocGraphic or LocImage with Functor answer.

uconvLocImageZ :: (InterpretUnit u, InterpretUnit u1) => LocImage u a -> LocImage u1 a

Use this to convert LocImage with unit-less answer.

Composing LocImages

distrib :: (Monoid a, InterpretUnit u) => Vec2 u -> [LocImage u a] -> LocImage u a

distribH :: (Monoid a, InterpretUnit u) => u -> [LocImage u a] -> LocImage u a

distribV :: (Monoid a, InterpretUnit u) => u -> [LocImage u a] -> LocImage u a

duplicate :: (Monoid a, InterpretUnit u) => Int -> Vec2 u -> LocImage u a -> LocImage u a

This is analogue to replicate in the Prelude.

duplicateH :: (Monoid a, InterpretUnit u) => Int -> u -> LocImage u a -> LocImage u a

duplicateV :: (Monoid a, InterpretUnit u) => Int -> u -> LocImage u a -> LocImage u a