-- |
-- Module      : Tile.Geometry
-- Description : Geometric queries over tiles.
--
-- Geometry queries expose the ranks and logical coordinates covered
-- by a tile.
module Tile.Geometry
  ( -- * Tile geometry
    tileRanks,
    tilePoints,
  )
where

import Tile.Affine
import Tile.Tile

-- | Enumerate the ranks covered by a tile.
tileRanks :: Tile -> [Int]
tileRanks :: Tile -> [Int]
tileRanks = AffineRankSpace -> [Int]
ranks (AffineRankSpace -> [Int])
-> (Tile -> AffineRankSpace) -> Tile -> [Int]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Tile -> AffineRankSpace
space

-- | Enumerate the tile's points in a root coordinate space.
tilePoints :: AffineRankSpace -> Tile -> [Point]
tilePoints :: AffineRankSpace -> Tile -> [[Int]]
tilePoints AffineRankSpace
rootSpace Tile
tile = (Int -> [Int]) -> [Int] -> [[Int]]
forall a b. (a -> b) -> [a] -> [b]
map (AffineRankSpace -> Int -> [Int]
pointOf AffineRankSpace
rootSpace) (Tile -> [Int]
tileRanks Tile
tile)