Diagrams.Core.Types

Diagrams

Annotations

Static annotations

data Annotation

applyAnnotation

href

opacityGroup

groupOpacity

Dynamic (monoidal) annotations

type UpAnnots b v n m

type DownAnnots v n

transfToAnnot

transfFromAnnot

Basic type definitions

data QDiaLeaf b v n m

withQDiaLeaf

data QDiagram b v n m

type Diagram b

Operations on diagrams

Creating diagrams

mkQD

mkQD'

pointDiagram

Extracting information

envelope

trace

subMap

names

query

Combining diagrams

atop

Modifying diagrams

Names

nameSub

lookupName

withName

withNameAll

withNames

localize

Other

setEnvelope

setTrace

Subdiagrams

data Subdiagram b v n m

mkSubdiagram

getSub

rawSub

location

subPoint

Subdiagram maps

data SubMap b v n m

fromNames

rememberAs

lookupSub

Primtives

data Prim b v n

_Prim

Backends

class Backend b v n

type DTree b v n a

data DNode b v n a

type RTree b v n a

data RNode b v n a

_RStyle

_RAnnot

_RPrim

_REmpty

Null backend

data NullBackend

type D v n

Number classes

class TypeableFloat n

Renderable

class Renderable t b