Maintainer | diagrams-discuss@googlegroups.com |
---|---|

Safe Haskell | None |

The `Query`

module defines a type for "queries" on diagrams, which
are functions from points in a vector space to some monoid.

# Documentation

A query is a function that maps points in a vector space to values in some monoid. Queries naturally form a monoid, with two queries being combined pointwise.

The idea for annotating diagrams with monoidal queries came from the graphics-drawingcombinators package, http://hackage.haskell.org/package/graphics-drawingcombinators.

Functor (Query v) | |

Applicative (Query v) | |

Monoid m => Monoid (Query v m) | |

Semigroup m => Semigroup (Query v m) | |

VectorSpace v => HasOrigin (Query v m) | |

HasLinearMap v => Transformable (Query v m) | |

Newtype (QDiagram b v m) (UDTree (UpAnnots v m) (DownAnnots v) (Prim b v)) |