Wumpus.Basic.Kernel.Objects.Basis

Common types and operations.

Documentation

type PrimResult u a = (a, CatPrim)

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

zapQuery :: Query u a -> Image u a

primGraphic :: CatPrim -> Graphic u

Constructor for Primtive graphics.

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

Clip an Image.

class UConvert f where

Methods

uconvF :: (Functor t, InterpretUnit u, InterpretUnit u1) => f u (t u) -> f u1 (t u1)

uconvZ :: (InterpretUnit u, InterpretUnit u1) => f u a -> f u1 a

Instances

UConvert Image

UConvert ConnectorImage

UConvert LocImage

UConvert LocThetaImage

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

emptyImage :: Monoid a => Image u a

Having empty at the specific Image type is useful.

ignoreAns :: Functor (f u) => f u a -> f u (UNil u)

Note - the kind of f allows fo unit annotation.

replaceAns :: Functor (f u) => a -> f u z -> f u a

Replace the answer produced by a graphic object.

class Decorate f where

Decorate an object

oliterate - drops the graphic from the first object replacing it with the graphic from the second.

Methods

decorate :: ZDeco -> f u a -> f u z -> f u a

elaborate :: ZDeco -> f u a -> (a -> f u z) -> f u a

obliterate :: f u a -> f u a

hyperlink :: XLink -> f u a -> f u a

Instances

Decorate Image

Decorate ConnectorImage

Decorate LocImage

Decorate LocThetaImage

sdecorate :: Decorate f => f u a -> f u z -> f u a

adecorate :: Decorate f => f u a -> f u z -> f u a

selaborate :: Decorate f => f u a -> (a -> f u z) -> f u a

aelaborate :: Decorate f => f u a -> (a -> f u z) -> f u a