Diagrams.Core
type family V a :: *
data Point v
data u :-: v
data Transformation v
class Transformable t
data TransInv t
data AName
data Name
class IsName a
class Qualifiable q
data SubMap b v m
class AttributeClass a
data Attribute v
data Style v
class HasStyle a
data Envelope v
class Enveloped a
data Trace v
class Traced a
class HasOrigin t
class Juxtaposable a
data Query v m
data Prim b v
data QDiagram b v m
type Diagram b v
data Subdiagram b v m
class Backend b v
class MultiBackend b v
class Renderable t b
data NullBackend
type D v
class HasLinearMap v
class OrderedField s
class Monoid' m