| Portability | GHC |
|---|---|
| Stability | highly unstable |
| Maintainer | stephen.tetley@gmail.com |
| Safe Haskell | Safe-Infered |
Wumpus.Basic.Kernel.Objects.LocThetaImage
Description
LocThetaImage and LocThetaGraphic types - these are functional types from the DrawingContext, start point and angle of inclination to a graphic primitive.
- type LocThetaGraphic u = LocThetaImage u (UNil u)
- data LocThetaImage u a
- type DLocThetaGraphic = LocThetaGraphic Double
- type DLocThetaImage a = LocThetaImage Double a
- data LocThetaQuery u a
- runLocThetaImage :: InterpretUnit u => DrawingContext -> Point2 u -> Radian -> LocThetaImage u a -> PrimResult u a
- runLocThetaQuery :: InterpretUnit u => DrawingContext -> Point2 u -> Radian -> LocThetaQuery u a -> a
- stripLocThetaImage :: LocThetaImage u a -> LocThetaQuery u a
- liftLocThetaQuery :: LocThetaQuery u a -> LocThetaImage u a
- promoteLocTheta :: InterpretUnit u => (Point2 u -> Radian -> Image u a) -> LocThetaImage u a
- applyLocTheta :: InterpretUnit u => LocThetaImage u a -> Point2 u -> Radian -> Image u a
- supplyLocTheta :: InterpretUnit u => Point2 u -> Radian -> LocThetaImage u a -> Image u a
- qpromoteLocTheta :: InterpretUnit u => (Point2 u -> Radian -> Query u a) -> LocThetaQuery u a
- qapplyLocTheta :: InterpretUnit u => LocThetaQuery u a -> Point2 u -> Radian -> Query u a
- emptyLocThetaImage :: Monoid a => LocThetaImage u a
- incline :: InterpretUnit u => LocThetaImage u a -> Radian -> LocImage u a
- atIncline :: InterpretUnit u => LocThetaImage u a -> Point2 u -> Radian -> Image u a
- supplyIncline :: InterpretUnit u => Radian -> LocThetaImage u a -> LocImage u a
Documentation
type LocThetaGraphic u = LocThetaImage u (UNil u)Source
data LocThetaImage u a Source
LocThetaImage - function from start point, inclination and
DrawingContext to a polymorphic answer and a graphic
primitive (PrimW).
Instances
| Decorate LocThetaImage | |
| UConvert LocThetaImage | |
| Monad (LocThetaImage u) | |
| Functor (LocThetaImage u) | |
| Applicative (LocThetaImage u) | |
| DrawingCtxM (LocThetaImage u) | |
| Monoid a => Monoid (LocThetaImage u a) |
type DLocThetaGraphic = LocThetaGraphic DoubleSource
Type specialized version of LocThetaGraphic.
type DLocThetaImage a = LocThetaImage Double aSource
Type specialized version of LocThetaImage.
data LocThetaQuery u a Source
Instances
| Monad (LocThetaQuery u) | |
| Functor (LocThetaQuery u) | |
| Applicative (LocThetaQuery u) | |
| DrawingCtxM (LocThetaQuery u) | |
| Monoid a => Monoid (LocThetaQuery u a) |
runLocThetaImage :: InterpretUnit u => DrawingContext -> Point2 u -> Radian -> LocThetaImage u a -> PrimResult u aSource
runLocThetaQuery :: InterpretUnit u => DrawingContext -> Point2 u -> Radian -> LocThetaQuery u a -> aSource
stripLocThetaImage :: LocThetaImage u a -> LocThetaQuery u aSource
liftLocThetaQuery :: LocThetaQuery u a -> LocThetaImage u aSource
promoteLocTheta :: InterpretUnit u => (Point2 u -> Radian -> Image u a) -> LocThetaImage u aSource
applyLocTheta :: InterpretUnit u => LocThetaImage u a -> Point2 u -> Radian -> Image u aSource
supplyLocTheta :: InterpretUnit u => Point2 u -> Radian -> LocThetaImage u a -> Image u aSource
qpromoteLocTheta :: InterpretUnit u => (Point2 u -> Radian -> Query u a) -> LocThetaQuery u aSource
qapplyLocTheta :: InterpretUnit u => LocThetaQuery u a -> Point2 u -> Radian -> Query u aSource
emptyLocThetaImage :: Monoid a => LocThetaImage u aSource
Having empty at the specific LocThetaImage type is useful.
incline :: InterpretUnit u => LocThetaImage u a -> Radian -> LocImage u aSource
Downcast a LocThetaImage function by applying it to the
supplied angle, making a LocImage.
atIncline :: InterpretUnit u => LocThetaImage u a -> Point2 u -> Radian -> Image u aSource
supplyIncline :: InterpretUnit u => Radian -> LocThetaImage u a -> LocImage u aSource
Flipped version of incline