Diagrams.Core
type family V a :: * -> *
type family N a :: *
type Vn a
class InSpace v n a
class SameSpace a b
data Point f a
data u :-: v
data Transformation v n
class Transformable t
data TransInv t
data AName
data Name
class IsName a
class Qualifiable q
data SubMap b v n m
class AttributeClass a
data Attribute v n
data Style v n
class HasStyle a
data Envelope v n
class Enveloped a
data Trace v n
data SortedList a
class Traced a
class HasOrigin t
class Juxtaposable a
data Query v n m
data Prim b v n
data QDiagram b v n m
type Diagram b
data Subdiagram b v n m
data Measured n a
type Measure n
class Backend b v n
class Renderable t b
data NullBackend
type D v n
class HasLinearMap v
class HasBasis v
class OrderedField s
class TypeableFloat n
class Monoid' m