Wumpus.Basic.Kernel.Objects.Basis

Common types and operations.

Documentation

data PrimW u a

Unit u is a phantom.

Constructors

PrimW CatPrim a

Instances

Monad (PrimW u)

Functor (PrimW u)

Applicative (PrimW u)

Monoid a => Monoid (PrimW u a)

Rotate a => Rotate (PrimW u a)

(u ~ DUnit a, RotateAbout a, ScalarUnit u) => RotateAbout (PrimW u a)

Scale a => Scale (PrimW u a)

(u ~ DUnit a, Translate a, ScalarUnit u) => Translate (PrimW u a)

primAnswer :: PrimW u a -> a

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 :: DrawingContext -> Image u a -> PrimW u a

runQuery :: DrawingContext -> Query u a -> 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.

both :: Applicative f => f a -> f b -> f (a, b)

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 :: f u a -> f u z -> f u a

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

obliterate :: f u a -> f u z -> f u a

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

Instances

Decorate Image

Decorate ConnectorImage

Decorate LocImage

Decorate LocThetaImage