diagrams-core-1.2.0.5: Core libraries for diagrams EDSL

Copyright(c) 2011 diagrams-core team (see LICENSE)
LicenseBSD-style (see LICENSE)
Maintainerdiagrams-discuss@googlegroups.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

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