Wumpus.Basic.Kernel.Objects.LocThetaImage

LocThetaImage and LocThetaGraphic types - these are functional types from the DrawingContext, start point and angle of inclination to a graphic primitive.

Documentation

type LocThetaGraphic u = LocThetaQuery u (GraphicAns u)

LocThetaGraphic - function from DrawingContext, start point and inclination to a graphic primitive (GraphicAns).

type LocThetaImage u a = LocThetaQuery u (ImageAns u a)

LocThetaImage - function from DrawingContext, start point and inclination to a polymorphic answer and a graphic primitive (ImageAns).

The answer is expected to be a Functor.

type DLocThetaGraphic = LocThetaGraphic Double

Type specialized version of LocThetaGraphic.

type DLocThetaImage a = LocThetaImage Double a

Type specialized version of LocThetaImage.

intoLocThetaImage :: LocThetaQuery u a -> LocThetaGraphic u -> LocThetaImage u a

intoLocThetaImage : loc_theta_query * loc_theta_graphic -> LocThetaImage

LocTheta version of intoImage.

The LocThetaImage is built as a function from an implicit start point and angle of inclination to the answer.

locThetaGraphic_ :: LocThetaImage u a -> LocThetaGraphic u

Downcast an LocThetaImage to a LocThetaGraphic.

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

emptyLocThetaGraphic :: InterpretUnit u => LocThetaGraphic u

emptyLocThetaGraphic : LocThetaGraphic

Build an empty LocThetaGraphic (i.e. a function from Point and Inclination to Graphic).

The emptyLocThetaGraphic 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.

uconvLocThetaImageF :: (InterpretUnit u, InterpretUnit u1, Functor t) => LocThetaImage u (t u) -> LocThetaImage u1 (t u1)

Use this to convert LocThetaGraphic or LocThetaImage with Functor answer.

uconvLocThetaImageZ :: (InterpretUnit u, InterpretUnit u1) => LocThetaImage u a -> LocThetaImage u1 a

Use this to convert LocThetaImage with unit-less answer.