Diagrams.Core

Associated vector spaces

type family V a :: *

Points

data Point v

Transformations

Invertible linear transformations

data u :-: v

General transformations

data Transformation v

Some specific transformations

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

Attributes and styles

class AttributeClass a

data Attribute v

data Style v

class HasStyle a

Envelopes

data Envelope v

class Enveloped a

Traces

data Trace v

class Traced a

Things with local origins

class HasOrigin t

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

Subdiagrams

data Subdiagram b v m

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