Wumpus.Basic.Graphic.BaseTypes

Base types for Drawing Objects, Graphics / Images (a Graphic that also returns an answer), etc.

** WARNING ** - some names are expected to change particularly the naming of the append and concat functions.

Documentation

type HPrim u = H (PrimElement u)

Graphics objects, even simple ones (line, arrow, dot) might need more than one primitive (path or text label) for their construction. Hence, the primary representation that all the others are built upon must support concatenation of primitives.

Wumpus-Core has a type Picture - made from one or more Primitives - but Pictures include support for affine frames. For drawing many simple graphics (dots, connector lines...) that do not need individual affine transformations this is a penalty. A list of Primitives is therefore more suitable representation, and a Hughes list which supports efficient concatenation is wise.

type Point2T u = Point2 u -> Point2 u

Point transformation function.

type DPoint2T = Point2T Double

newtype DrawingObject a

Constructors

DrawingObject

Fields

getDrawingObject :: DrawingContext -> a

Instances

Monad DrawingObject

Functor DrawingObject

Applicative DrawingObject

type LocDrawingObject u a = Point2 u -> DrawingObject a

type DLocDrawingObject a = LocDrawingObject Double a

liftDrawingObject :: a -> DrawingObject a

type Graphic u = DrawingObject (HPrim u)

type DGraphic = Graphic Double

appendGraphic :: Graphic u -> Graphic u -> Graphic u

gcat :: Graphic u -> [Graphic u] -> Graphic u

asksObj :: (DrawingContext -> a) -> DrawingObject a

localCtxObj :: (DrawingContext -> DrawingContext) -> DrawingObject a -> DrawingObject a

runGraphic :: DrawingContext -> Graphic u -> HPrim u

type LocGraphic u = Point2 u -> Graphic u

Commonly graphics take a start point as well as a drawing context.

Here they are called a LocGraphic - graphic with a (starting) location.

type DLocGraphic = LocGraphic Double

appendAt :: LocGraphic u -> LocGraphic u -> LocGraphic u

Composition operator for LocGraphic - both LocGraphics are drawn at the same origin and the results concatenated.

type Image u a = DrawingObject (a, HPrim u)

Images return a value as well as drawing. A node is a typical example - nodes are drawing but the also support taking anchor points.

type DImage a = Image Double a

type LocImage u a = Point2 u -> Image u a

type DLocImage a = LocImage Double a

runImage :: DrawingContext -> Image u a -> (a, HPrim u)

intoImage :: DrawingObject a -> Graphic u -> Image u a

intoLocImage :: LocDrawingObject u a -> LocGraphic u -> LocImage u a

type ConnDrawingObject u a = Point2 u -> Point2 u -> DrawingObject a

type DConnDrawingObject a = ConnDrawingObject Double a

type ConnGraphic u = Point2 u -> Point2 u -> Graphic u

ConnGraphic is a connector drawn between two points contructing a Graphic.

type DConnGraphic = ConnGraphic Double

type ConnImage u a = Point2 u -> Point2 u -> Image u a

ConImage is a connector drawn between two points constructing an Image.

type DConnImage a = ConnImage Double a

intoConnImage :: ConnDrawingObject u a -> ConnGraphic u -> ConnImage u a