Copyright | (c) 2011 diagrams-core team (see LICENSE) |
---|---|

License | BSD-style (see LICENSE) |

Maintainer | diagrams-discuss@googlegroups.com |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

Type family for identifying associated vector spaces.

- type family V a :: *

# Documentation

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.

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 |