Diagrams.Core

Associated vector spaces

type family V a :: *

Points

data Point v

origin

(*.)

_relative

Transformations

Utilities

basis

dimension

determinant

Invertible linear transformations

data u :-: v

(<->)

linv

lapp

General transformations

data Transformation v

inv

transp

transl

dropTransl

apply

papply

fromLinear

Some specific transformations

translation

translate

moveTo

place

scaling

scale

avgScale

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

mkGTAttr

unwrapAttr

data Style v

class HasStyle a

getAttr

combineAttr

applyAttr

applyTAttr

applyGTAttr

Envelopes

data Envelope v

appEnvelope

onEnvelope

mkEnvelope

class Enveloped a

envelopeVMay

envelopeV

envelopePMay

envelopeP

diameter

radius

Traces

data Trace v

data SortedList a

mkSortedList

getSortedList

mkTrace

class Traced a

traceV

traceP

maxTraceV

maxTraceP

rayTraceV

rayTraceP

maxRayTraceV

maxRayTraceP

Things with local origins

class HasOrigin t

moveOriginBy

Juxtaposable things

class Juxtaposable a

juxtaposeDefault

Queries

data Query v m

Primtives

data Prim b v

Diagrams

data QDiagram b v m

type Diagram b v

mkQD

pointDiagram

envelope

trace

subMap

names

query

sample

value

resetValue

clearValue

nameSub

withName

withNameAll

withNames

localize

href

setEnvelope

setTrace

atop

Subdiagrams

data Subdiagram b v m

mkSubdiagram

getSub

rawSub

location

subPoint

Measurements

data Measure v

fromOutput

toOutput

atMost

atLeast

Backends

class Backend b v

class Renderable t b

renderDia

renderDiaT

The null backend

data NullBackend

type D v

Convenience classes

class HasLinearMap v

class OrderedField s

class Monoid' m