Portability | GHC |
---|---|
Stability | highly unstable |
Maintainer | stephen.tetley@gmail.com |
LocImage and LocGraphic types - these are functional types from the DrawingContext and start point to a graphic primitive.
- data LocImage u a
- type LocGraphic u = LocImage u (UNil u)
- type DLocImage a = LocImage Double a
- type DLocGraphic = LocGraphic Double
- data LocQuery u a
- runLocImage :: Point2 u -> DrawingContext -> LocImage u a -> PrimW u a
- runLocQuery :: Point2 u -> DrawingContext -> LocQuery u a -> a
- promoteLoc :: (Point2 u -> Image u a) -> LocImage u a
- applyLoc :: LocImage u a -> Point2 u -> Image u a
- qpromoteLoc :: (Point2 u -> Query u a) -> LocQuery u a
- qapplyLoc :: LocQuery u a -> Point2 u -> Query u a
- zapLocQuery :: LocQuery u a -> Point2 u -> Image u a
- emptyLocImage :: Monoid a => LocImage u a
- moveStart :: Num u => Vec2 u -> LocImage u a -> LocImage u a
- at :: LocImage u a -> Point2 u -> Image u a
- distrib :: (Monoid a, InterpretUnit u) => Vec2 u -> [LocImage u a] -> LocImage u a
- distribH :: (Monoid a, InterpretUnit u) => u -> [LocImage u a] -> LocImage u a
- distribV :: (Monoid a, InterpretUnit u) => u -> [LocImage u a] -> LocImage u a
- duplicate :: (Monoid a, InterpretUnit u) => Int -> Vec2 u -> LocImage u a -> LocImage u a
- duplicateH :: (Monoid a, InterpretUnit u) => Int -> u -> LocImage u a -> LocImage u a
- duplicateV :: (Monoid a, InterpretUnit u) => Int -> u -> LocImage u a -> LocImage u a
Documentation
LocThetaImage
- function from start point and
DrawingContext to a polymorphic answer and a graphic
primitive (PrimW).
Decorate LocImage | |
UConvert LocImage | |
Monad (LocImage u) | |
Functor (LocImage u) | |
Applicative (LocImage u) | |
DrawingCtxM (LocImage u) | |
Monoid a => Monoid (LocImage u a) | |
(Real u, Floating u, Rotate a) => Rotate (LocImage u a) | |
(u ~ DUnit a, Real u, Floating u, RotateAbout a, ScalarUnit u) => RotateAbout (LocImage u a) | |
(Fractional u, Scale a) => Scale (LocImage u a) | |
(u ~ DUnit a, Num u, Translate a, ScalarUnit u) => Translate (LocImage u a) |
type LocGraphic u = LocImage u (UNil u)Source
type DLocGraphic = LocGraphic DoubleSource
Type specialized version of LocGraphic
.
runLocImage :: Point2 u -> DrawingContext -> LocImage u a -> PrimW u aSource
runLocQuery :: Point2 u -> DrawingContext -> LocQuery u a -> aSource
promoteLoc :: (Point2 u -> Image u a) -> LocImage u aSource
qpromoteLoc :: (Point2 u -> Query u a) -> LocQuery u aSource
zapLocQuery :: LocQuery u a -> Point2 u -> Image u aSource
"zero-apply" a LocQuery.
emptyLocImage :: Monoid a => LocImage u aSource
Having empty at the specific LocImage
type is useful.
Composing LocImages
duplicate :: (Monoid a, InterpretUnit u) => Int -> Vec2 u -> LocImage u a -> LocImage u aSource
This is analogue to replicate
in the Prelude.
duplicateH :: (Monoid a, InterpretUnit u) => Int -> u -> LocImage u a -> LocImage u aSource
duplicateV :: (Monoid a, InterpretUnit u) => Int -> u -> LocImage u a -> LocImage u aSource