Portability | GHC |
---|---|

Stability | highly unstable |

Maintainer | stephen.tetley@gmail.com |

Common types and operations.

- data Image u a
- type Graphic u = Image u (UNil u)
- data Query u a
- type DImage a = Image Double a
- type DGraphic = Graphic Double
- runImage :: Image u a -> DrawingContext -> PrimResult u a
- runQuery :: Query u a -> DrawingContext -> a
- stripImage :: Image u a -> Query u a
- liftQuery :: Query u a -> Image u a
- emptyImage :: Monoid a => Image u a
- primGraphic :: CatPrim -> Graphic u
- clipImage :: PrimPath -> Image u a -> Image u a

# Documentation

Decorate Image | |

UConvert Image | |

Monad (Image u) | |

Functor (Image u) | |

Applicative (Image u) | |

DrawingCtxM (Image u) | |

Monoid a => Monoid (Image u a) | |

Rotate a => Rotate (Image u a) | |

(u ~ DUnit a, RotateAbout a, InterpretUnit u) => RotateAbout (Image u a) | |

Scale a => Scale (Image u a) | |

(u ~ DUnit a, Translate a, InterpretUnit u) => Translate (Image u a) |

runImage :: Image u a -> DrawingContext -> PrimResult u aSource

runQuery :: Query u a -> DrawingContext -> aSource

emptyImage :: Monoid a => Image u aSource

Having *empty* at the specific `Image`

type is useful.

primGraphic :: CatPrim -> Graphic uSource

Constructor for Primtive graphics.