module Wumpus.Basic.Dots
(
DotAnchor
, DotLocImage
, DDotLocImage
, dotChar
, dotText
, dotHLine
, dotVLine
, dotX
, dotPlus
, dotCross
, dotDiamond
, dotFDiamond
, dotDisk
, dotSquare
, dotCircle
, dotPentagon
, dotStar
, dotAsterisk
, dotOPlus
, dotOCross
, dotFOCross
) where
import Wumpus.Basic.Anchors
import Wumpus.Basic.Dots.Primitive
import Wumpus.Basic.Graphic
import Wumpus.Basic.Utils.Intersection
import Wumpus.Core
import Data.AffineSpace
import Control.Applicative
data DotAnchor u = forall s.
DotAnchor { center_anchor :: Point2 u
, radial_anchor :: Radian -> Point2 u
, cardinal_anchor :: Cardinal -> Point2 u }
data Cardinal = NN | NE | EE | SE | SS | SW | WW | NW
deriving (Eq,Show)
type instance DUnit (DotAnchor u) = u
instance CenterAnchor (DotAnchor u) where
center (DotAnchor ca _ _) = ca
instance RadialAnchor (DotAnchor u) where
radialAnchor theta (DotAnchor _ ra _) = ra theta
instance CardinalAnchor (DotAnchor u) where
north (DotAnchor _ _ c1) = c1 NN
south (DotAnchor _ _ c1) = c1 SS
east (DotAnchor _ _ c1) = c1 EE
west (DotAnchor _ _ c1) = c1 WW
instance CardinalAnchor2 (DotAnchor u) where
northeast (DotAnchor _ _ c1) = c1 NE
southeast (DotAnchor _ _ c1) = c1 SE
southwest (DotAnchor _ _ c1) = c1 SW
northwest (DotAnchor _ _ c1) = c1 NW
radialCardinal :: Floating u => u -> Point2 u -> Cardinal -> Point2 u
radialCardinal rad ctr NN = ctr .+^ (avec (pi/2) rad)
radialCardinal rad ctr NE = ctr .+^ (avec (pi/4) rad)
radialCardinal rad ctr EE = ctr .+^ (avec 0 rad)
radialCardinal rad ctr SE = ctr .+^ (avec (7/4 * pi) rad)
radialCardinal rad ctr SS = ctr .+^ (avec (6/4 * pi) rad)
radialCardinal rad ctr SW = ctr .+^ (avec (5/4 * pi) rad)
radialCardinal rad ctr WW = ctr .+^ (avec pi rad)
radialCardinal rad ctr NW = ctr .+^ (avec (3/4 * pi) rad)
rectCardinal :: Floating u => u -> u -> Point2 u -> Cardinal -> Point2 u
rectCardinal _ hh ctr NN = ctr .+^ (vvec hh)
rectCardinal hw hh ctr NE = ctr .+^ (vec hw hh)
rectCardinal hw _ ctr EE = ctr .+^ (hvec hw)
rectCardinal hw hh ctr SE = ctr .+^ (vec hw (hh))
rectCardinal _ hh ctr SS = ctr .+^ (vvec (hh))
rectCardinal hw hh ctr SW = ctr .+^ (vec (hw) (hh) )
rectCardinal hw _ ctr WW = ctr .+^ (hvec (hw))
rectCardinal hw hh ctr NW = ctr .+^ (vec (hw) hh)
rectangleAnchor :: (Real u, Floating u) => u -> u -> Point2 u -> DotAnchor u
rectangleAnchor hw hh ctr =
DotAnchor { center_anchor = ctr
, radial_anchor = fn
, cardinal_anchor = rectCardinal hw hh ctr }
where
fn theta = maybe ctr id $ findIntersect ctr theta
$ rectangleLines ctr hw hh
rectangleLDO :: (Real u, Floating u)
=> u -> u -> LocDrawingR u (DotAnchor u)
rectangleLDO w h pt = pure $ rectangleAnchor (w*0.5) (h*0.5) pt
circleAnchor :: Floating u => u -> Point2 u -> DotAnchor u
circleAnchor rad ctr = DotAnchor ctr
(\theta -> ctr .+^ (avec theta rad))
(radialCardinal rad ctr)
circleLDO :: (Floating u, FromPtSize u) => LocDrawingR u (DotAnchor u)
circleLDO pt = (\diam -> circleAnchor (diam * 0.5) pt) <$> markHeight
type DotLocImage u = LocImage u (DotAnchor u)
type DDotLocImage = DotLocImage Double
dotChar :: (Floating u, Real u, FromPtSize u)
=> Char -> DotLocImage u
dotChar ch pt = monoTextDimensions [ch] >>= \(w,h) ->
intoLocImage (rectangleLDO w h) (markChar ch) pt
dotText :: (Floating u, Real u, FromPtSize u)
=> String -> DotLocImage u
dotText ss pt = monoTextDimensions ss >>= \(w,h) ->
intoLocImage (rectangleLDO w h) (markText ss) pt
dotHLine :: (Floating u, FromPtSize u) => DotLocImage u
dotHLine = intoLocImage circleLDO markHLine
dotVLine :: (Floating u, FromPtSize u) => DotLocImage u
dotVLine = intoLocImage circleLDO markVLine
dotX :: (Floating u, FromPtSize u) => DotLocImage u
dotX = intoLocImage circleLDO markX
dotPlus :: (Floating u, FromPtSize u) => DotLocImage u
dotPlus = intoLocImage circleLDO markPlus
dotCross :: (Floating u, FromPtSize u) => DotLocImage u
dotCross = intoLocImage circleLDO markCross
dotDiamond :: (Floating u, FromPtSize u) => DotLocImage u
dotDiamond = intoLocImage circleLDO markDiamond
dotFDiamond :: (Floating u, FromPtSize u) => DotLocImage u
dotFDiamond = intoLocImage circleLDO markFDiamond
dotDisk :: (Floating u, FromPtSize u) => DotLocImage u
dotDisk = intoLocImage circleLDO markDisk
dotSquare :: (Floating u, Real u, FromPtSize u) => DotLocImage u
dotSquare pt = markHeight >>= \ h ->
intoLocImage (rectangleLDO h h) markSquare pt
dotCircle :: (Floating u, FromPtSize u) => DotLocImage u
dotCircle = intoLocImage circleLDO markCircle
dotPentagon :: (Floating u, FromPtSize u) => DotLocImage u
dotPentagon = intoLocImage circleLDO markPentagon
dotStar :: (Floating u, FromPtSize u) => DotLocImage u
dotStar = intoLocImage circleLDO markStar
dotAsterisk :: (Floating u, FromPtSize u) => DotLocImage u
dotAsterisk = intoLocImage circleLDO markAsterisk
dotOPlus :: (Floating u, FromPtSize u) => DotLocImage u
dotOPlus = intoLocImage circleLDO markOPlus
dotOCross :: (Floating u, FromPtSize u) => DotLocImage u
dotOCross = intoLocImage circleLDO markOCross
dotFOCross :: (Floating u, FromPtSize u) => DotLocImage u
dotFOCross = intoLocImage circleLDO markFOCross