Portability | GHC |
---|---|
Stability | highly unstable |
Maintainer | stephen.tetley@gmail.com |
Common types and operations.
- type PrimResult u a = (a, CatPrim)
- 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
- zapQuery :: Query u a -> Image u a
- primGraphic :: CatPrim -> Graphic u
- clipImage :: PrimPath -> Image u a -> Image u a
- class UConvert f where
- uconvF :: (Functor t, InterpretUnit u, InterpretUnit u1) => f u (t u) -> f u1 (t u1)
- uconvZ :: (InterpretUnit u, InterpretUnit u1) => f u a -> f u1 a
- uconvImageF :: (Functor t, InterpretUnit u, InterpretUnit u1) => Image u (t u) -> Image u1 (t u1)
- uconvImageZ :: (InterpretUnit u, InterpretUnit u1) => Image u a -> Image u1 a
- emptyImage :: Monoid a => Image u a
- ignoreAns :: Functor (f u) => f u a -> f u (UNil u)
- replaceAns :: Functor (f u) => a -> f u z -> f u a
- class Decorate f where
- sdecorate :: Decorate f => f u a -> f u z -> f u a
- adecorate :: Decorate f => f u a -> f u z -> f u a
- selaborate :: Decorate f => f u a -> (a -> f u z) -> f u a
- aelaborate :: Decorate f => f u a -> (a -> f u z) -> f u a
Documentation
type PrimResult u a = (a, CatPrim)Source
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
primGraphic :: CatPrim -> Graphic uSource
Constructor for Primtive graphics.
uconvF :: (Functor t, InterpretUnit u, InterpretUnit u1) => f u (t u) -> f u1 (t u1)Source
uconvZ :: (InterpretUnit u, InterpretUnit u1) => f u a -> f u1 aSource
uconvImageF :: (Functor t, InterpretUnit u, InterpretUnit u1) => Image u (t u) -> Image u1 (t u1)Source
uconvImageZ :: (InterpretUnit u, InterpretUnit u1) => Image u a -> Image u1 aSource
emptyImage :: Monoid a => Image u aSource
Having empty at the specific Image
type is useful.
ignoreAns :: Functor (f u) => f u a -> f u (UNil u)Source
Note - the kind of f allows fo unit annotation.
replaceAns :: Functor (f u) => a -> f u z -> f u aSource
Replace the answer produced by a graphic object.
Decorate an object
oliterate - drops the graphic from the first object replacing it with the graphic from the second.
selaborate :: Decorate f => f u a -> (a -> f u z) -> f u aSource
aelaborate :: Decorate f => f u a -> (a -> f u z) -> f u aSource