Wumpus.Basic.Kernel.Objects.Basis

Common types and operations.

Documentation

type PrimResult u a = (a, CatPrim)

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

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

Should be read as decorate (above|below) A with B

elaborate :: ZOrder -> 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

svgId :: String -> f u a -> f u a

svgAnnotate :: [SvgAttr] -> f u a -> f u a

Instances

Decorate Image

Decorate ConnectorImage

Decorate LocImage

Decorate LocThetaImage

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

Decorate (ABOVE) a with b.

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

Decorate (BELOW) a with b.

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

Elaborate (ABOVE) a with b.

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

Elaborate (BELOW) a with b.