Copyright	(c) 2011 diagrams-core team (see LICENSE)
License	BSD-style (see LICENSE)
Maintainer	diagrams-discuss@googlegroups.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Diagrams.Core.V

Description

Type family for identifying associated vector spaces.

Synopsis

Documentation

type family V a :: * Source

Many sorts of objects have an associated vector space in which they "live". The type function V maps from object types to the associated vector space.

Instances

type V Double = Double
type V Rational = Rational
type V [a] = V a
type V (Set a) = V a
type V (Split m) = V m
type V (Deletable m) = V m
type V (Option a) = V a
type V (Point v) = v
type V (TransInv t) = V t
type V (Transformation v) = v
type V (Style v) = v
type V (Attribute v) = v
type V (Trace v) = v
type V (Envelope v) = v
type V (Measure v) = v
type V (a -> b) = V b
type V (a, b) = V a
type V (Map k a) = V a
type V ((:+:) m n) = V m
type V (Query v m) = v
type V (Prim b v) = v
type V (a, b, c) = V a
type V (SubMap b v m) = v
type V (Subdiagram b v m) = v
type V (QDiagram b v m) = v