module Wumpus.Drawing.Shapes.InvSemiellipse
(
InvSemiellipse
, DInvSemiellipse
, invsemiellipse
) where
import Wumpus.Drawing.Shapes.Base
import Wumpus.Drawing.Shapes.Semiellipse
import Wumpus.Basic.Kernel
import Wumpus.Core
newtype InvSemiellipse u = InvSemiellipse { getInvSemiellipse :: Semiellipse u }
type instance DUnit (InvSemiellipse u) = u
type DInvSemiellipse = InvSemiellipse Double
instance Functor InvSemiellipse where
fmap f = InvSemiellipse . fmap f . getInvSemiellipse
mapInner :: (Semiellipse u -> Semiellipse u)
-> InvSemiellipse u
-> InvSemiellipse u
mapInner f = InvSemiellipse . f . getInvSemiellipse
instance (Real u, Floating u) => Rotate (InvSemiellipse u) where
rotate ang = mapInner (rotate ang)
instance (Real u, Floating u) => RotateAbout (InvSemiellipse u) where
rotateAbout ang pt = mapInner (rotateAbout ang pt)
instance Fractional u => Scale (InvSemiellipse u) where
scale sx sy = mapInner (scale sx sy)
instance InterpretUnit u => Translate (InvSemiellipse u) where
translate dx dy = mapInner (translate dx dy)
runRotateAnchor :: (Real u, Floating u)
=> (Semiellipse u -> Anchor u) -> InvSemiellipse u -> Anchor u
runRotateAnchor f (InvSemiellipse a) =
let ctr = center a in rotateAbout pi ctr (f a)
instance (Real u, Floating u, Tolerance u) =>
CenterAnchor (InvSemiellipse u) where
center = center . getInvSemiellipse
instance (Real u, Floating u, Tolerance u) =>
ApexAnchor (InvSemiellipse u) where
apex = runRotateAnchor apex
instance (Real u, Floating u, Tolerance u) =>
TopCornerAnchor (InvSemiellipse u) where
topLeftCorner = runRotateAnchor bottomRightCorner
topRightCorner = runRotateAnchor bottomLeftCorner
instance (Real u, Floating u, Tolerance u) =>
CardinalAnchor (InvSemiellipse u) where
north = runRotateAnchor south
south = runRotateAnchor north
east = runRotateAnchor west
west = runRotateAnchor east
instance (Real u, Floating u, Tolerance u) =>
CardinalAnchor2 (InvSemiellipse u) where
northeast = runRotateAnchor southwest
southeast = runRotateAnchor northwest
southwest = runRotateAnchor northeast
northwest = runRotateAnchor southeast
instance (Real u, Floating u, Tolerance u) =>
RadialAnchor (InvSemiellipse u) where
radialAnchor theta =
runRotateAnchor (radialAnchor $ circularModulo $ pi+theta)
invsemiellipse :: (Real u, Floating u, InterpretUnit u, Tolerance u)
=> u -> u -> Shape InvSemiellipse u
invsemiellipse rx ry =
shapeMap InvSemiellipse $ updatePathAngle (+ pi) $ semiellipse rx ry