Diagrams.Core

Associated vector spaces

type family V a :: *

Points

data Point v

origin

(*.)

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

(.>)

Subdiagram maps

data SubMap b v m

fromNames

rememberAs

lookupSub

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 a

envelopeVMay

envelopeV

envelopePMay

envelopeP

diameter

radius

Traces

data Trace v

inTrace

mkTrace

class Traced a

traceV

traceP

maxTraceV

maxTraceP

Things with local origins

class HasOrigin t

moveOriginBy

Juxtaposable things

class Juxtaposable a

juxtaposeDefault

Queries

data Query v m

Primtives

data Prim b v

class IsPrim p

nullPrim

Diagrams

data QDiagram b v m

mkQD

type Diagram b v

prims

envelope

trace

subMap

names

query

sample

value

resetValue

clearValue

nameSub

withName

withNameAll

withNames

localize

freeze

setEnvelope

setTrace

atop

Subdiagrams

data Subdiagram b v m

mkSubdiagram

getSub

rawSub

location

subPoint

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