Wumpus.Core.BoundingBox

Bounding box with no notion of 'empty'.

Types

data BoundingBox a

Bounding box of a picture.

We cannot construct empty pictures - so bounding boxes too a saved the obligation to be empty.

Constructors

BBox

Fields

ll_corner :: Point2 a

ur_corner :: Point2 a

Instances

Eq a => Eq (BoundingBox a)

Show a => Show (BoundingBox a)

Ord a => Semigroup (BoundingBox a)

Pretty a => Pretty (BoundingBox a)

Pointwise (BoundingBox a)

(Num u, Ord u) => Scale (BoundingBox u)

type DBoundingBox = BoundingBox Double

data CardinalPoint

Constructors

C

N

NE

E

SE

S

SW

W

NW

Instances

Eq CardinalPoint

Show CardinalPoint

Type class

class Boundary a where

Methods

boundary :: a -> BoundingBox (DUnit a)

Instances

(Num u, Ord u) => Boundary (Path u)

(Fractional u, Ord u) => Boundary (Primitive u)

Boundary (Picture u)

Operations

bbox :: Point2 a -> Point2 a -> BoundingBox a

obbox :: Num a => a -> a -> BoundingBox a

Create a BoundingBox with bottom left corner at the origin, and dimensions w and h.

union :: Ord a => BoundingBox a -> BoundingBox a -> BoundingBox a

trace :: (Num a, Ord a) => [Point2 a] -> BoundingBox a

corners :: BoundingBox a -> [Point2 a]

lowerLeftUpperRight :: (a, a, a, a) -> BoundingBox a -> (a, a, a, a)

withinBB :: Ord a => Point2 a -> BoundingBox a -> Bool

boundaryWidth :: Num a => BoundingBox a -> a

boundaryHeight :: Num a => BoundingBox a -> a

boundaryBottomLeft :: BoundingBox a -> Point2 a

boundaryTopRight :: BoundingBox a -> Point2 a

boundaryTopLeft :: BoundingBox a -> Point2 a

boundaryBottomRight :: BoundingBox a -> Point2 a

boundaryPoint :: Fractional a => CardinalPoint -> BoundingBox a -> Point2 a

leftPlane :: BoundingBox a -> a

rightPlane :: BoundingBox a -> a

lowerPlane :: BoundingBox a -> a

upperPlane :: BoundingBox a -> a