Diagrams.Core.Types

Diagrams

Annotations

Static annotations

data Annotation

applyAnnotation

href

Dynamic (monoidal) annotations

type UpAnnots b v m

type DownAnnots v

transfToAnnot

transfFromAnnot

Basic type definitions

data QDiaLeaf b v m

withQDiaLeaf

data QDiagram b v m

type Diagram b v

Operations on diagrams

Creating diagrams

mkQD

mkQD'

pointDiagram

Extracting information

envelope

trace

subMap

names

query

sample

value

resetValue

clearValue

Combining diagrams

atop

Modifying diagrams

Names

nameSub

lookupName

withName

withNameAll

withNames

localize

Other

setEnvelope

setTrace

Measurements

data Measure v

fromOutput

atMost

atLeast

Subdiagrams

data Subdiagram b v m

mkSubdiagram

getSub

rawSub

location

subPoint

Subdiagram maps

data SubMap b v m

fromNames

rememberAs

lookupSub

Primtives

data Prim b v

Backends

class Backend b v

data DNode b v a

type DTree b v a

data RNode b v a

type RTree b v a

Null backend

data NullBackend

type D v

Renderable

class Renderable t b