Diagrams.Core

Associated vector spaces

type family V a :: * -> *

type family N a :: *

type Vn a

class InSpace v n a

class SameSpace a b

Points

data Point f a

origin

(*.)

relative

Transformations

Utilities

basis

dimension

determinant

isReflection

Invertible linear transformations

data u :-: v

(<->)

linv

lapp

General transformations

data Transformation v n

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

eye

Names

data AName

data Name

class IsName a

class Qualifiable q

(.>)

eachName

Subdiagram maps

data SubMap b v n m

fromNames

rememberAs

lookupSub

Attributes and styles

class AttributeClass a

data Attribute v n

data Style v n

class HasStyle a

getAttr

atAttr

atMAttr

atTAttr

applyAttr

applyMAttr

applyTAttr

Envelopes

data Envelope v n

appEnvelope

onEnvelope

mkEnvelope

class Enveloped a

envelopeVMay

envelopeV

envelopePMay

envelopeP

diameter

radius

size

Traces

data Trace v n

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 n m

Primitives

data Prim b v n

Diagrams

data QDiagram b v n m

type Diagram b

mkQD

pointDiagram

envelope

trace

subMap

names

query

nameSub

withName

withNameAll

withNames

localize

href

opacityGroup

groupOpacity

setEnvelope

setTrace

atop

Subdiagrams

data Subdiagram b v n m

mkSubdiagram

getSub

rawSub

location

subPoint

Measurements

data Measured n a

type Measure n

fromMeasured

output

local

global

normalized

scaleLocal

atLeast

atMost

Backends

class Backend b v n

class Renderable t b

renderDia

renderDiaT

The null backend

data NullBackend

type D v n

Convenience classes

class HasLinearMap v

class HasBasis v

class OrderedField s

class TypeableFloat n

class Monoid' m