Graphics.Rendering.Diagrams

Associated vector spaces

type family V a :: *

Points

data Point v

origin

(*.)

Vectors

withLength

Transformations

Invertible linear transformations

data u :-: v

(<->)

linv

lapp

General transformations

data Transformation v

inv

transp

transl

apply

papply

fromLinear

Some specific transformations

translation

translate

moveTo

place

scaling

scale

The Transformable class

class Transformable t

Translational invariance

data TransInv t

Names

data AName

data Name

class IsName a

class Qualifiable q

(.>)

data NameMap v

fromNames

fromNamesB

rememberAs

lookupN

Attributes and styles

class AttributeClass a

data Attribute v

mkAttr

mkTAttr

unwrapAttr

data Style v

class HasStyle a

getAttr

combineAttr

applyAttr

applyTAttr

Envelopes

data Envelope v

inEnvelope

appEnvelope

onEnvelope

mkEnvelope

class Enveloped b

envelopeV

envelopeP

boundaryFrom

diameter

radius

data LocatedEnvelope v

location

locateEnvelope

Things with local origins

class HasOrigin t

moveOriginBy

Juxtaposable things

class Juxtaposable a

juxtaposeDefault

Queries

data Query v m

Primtives

data Prim b v

nullPrim

Diagrams

data QDiagram b v m

mkQD

type Diagram b v

prims

envelope

names

query

sample

value

resetValue

clearValue

named

namePoint

withName

withNameAll

withNames

freeze

setEnvelope

atop

Backends

class Backend b v

class MultiBackend b v

class Renderable t b

The null backend

data NullBackend

type D v

Convenience classes

class HasLinearMap v

class OrderedField s

class Monoid' m