Diagrams.Core.Query

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

Documentation

newtype Query v n m

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

Functor (Query v n)

Methods

fmap :: (a -> b) -> Query v n a -> Query v n b

(<$) :: a -> Query v n b -> Query v n a

Applicative (Query v n)

Methods

pure :: a -> Query v n a

(<*>) :: Query v n (a -> b) -> Query v n a -> Query v n b

(*>) :: Query v n a -> Query v n b -> Query v n b

(<*) :: Query v n a -> Query v n b -> Query v n a

Semigroup m => Semigroup (Query v n m)

Methods

(<>) :: Query v n m -> Query v n m -> Query v n m

sconcat :: NonEmpty (Query v n m) -> Query v n m

stimes :: Integral b => b -> Query v n m -> Query v n m

Monoid m => Monoid (Query v n m)

Methods

mempty :: Query v n m

mappend :: Query v n m -> Query v n m -> Query v n m

mconcat :: [Query v n m] -> Query v n m

Wrapped (Query v n m)

Associated Types

type Unwrapped (Query v n m) :: *

Methods

_Wrapped' :: Iso' (Query v n m) (Unwrapped (Query v n m))

(Additive v, Num n) => HasOrigin (Query v n m)

Methods

moveOriginTo :: Point (V (Query v n m)) (N (Query v n m)) -> Query v n m -> Query v n m

(Additive v, Num n) => Transformable (Query v n m)

Methods

transform :: Transformation (V (Query v n m)) (N (Query v n m)) -> Query v n m -> Query v n m

Rewrapped (Query v a m) (Query v' a' m')

type Unwrapped (Query v n m)

type Unwrapped (Query v n m) = Point v n -> m

type N (Query v n m)

type N (Query v n m) = n

type V (Query v n m)

type V (Query v n m) = v