Wumpus.Basic.Kernel.Objects.Image

Common types and operations.

Documentation

data Image u a

Instances

Decorate Image

UConvert Image

Monad (Image u)

Functor (Image u)

Applicative (Image u)

DrawingCtxM (Image u)

Monoid a => Monoid (Image u a)

Rotate a => Rotate (Image u a)

(u ~ DUnit a, RotateAbout a, InterpretUnit u) => RotateAbout (Image u a)

Scale a => Scale (Image u a)

(u ~ DUnit a, Translate a, InterpretUnit u) => Translate (Image u a)

type Graphic u = Image u (UNil u)

data Query u a

Instances

Monad (Query u)

Functor (Query u)

Applicative (Query u)

DrawingCtxM (Query u)

Monoid a => Monoid (Query u a)

type DImage a = Image Double a

Type specialized version of Image.

type DGraphic = Graphic Double

Type specialized version of Graphic.

runImage :: Image u a -> DrawingContext -> PrimResult u a

runQuery :: Query u a -> DrawingContext -> a

stripImage :: Image u a -> Query u a

Strip the graphic content from an Image making a Query.

liftQuery :: Query u a -> Image u a

Turn a Query into an Image without graphic content.

emptyImage :: Monoid a => Image u a

Having empty at the specific Image type is useful.

primGraphic :: CatPrim -> Graphic u

Constructor for Primtive graphics.

clipImage :: PrimPath -> Image u a -> Image u a

Clip an Image.