diagrams-core-1.3: Core libraries for diagrams EDSL

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

Diagrams.Core.Query

Description

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

Synopsis

Documentation

newtype Query v n m Source

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.

Constructors

Query 

Fields

runQuery :: Point v n -> m
 

Instances

Action Name (Query v n m) 
Functor (Query v n) 
Applicative (Query v n) 
Monoid m => Monoid (Query v n m) 
Semigroup m => Semigroup (Query v n m) 
Wrapped (Query v n m) 
(Additive v, Num n) => HasOrigin (Query v n m) 
(Additive v, Num n) => Transformable (Query v n m) 
Rewrapped (Query v a m) (Query v' a' m') 
type Unwrapped (Query v n m) = Point v n -> m 
type N (Query v n m) = n 
type V (Query v n m) = v