Copyright | (c) 2011-2015 diagrams-lib team (see LICENSE) |
---|---|

License | BSD-style (see LICENSE) |

Maintainer | diagrams-discuss@googlegroups.com |

Safe Haskell | None |

Language | Haskell2010 |

Bounding boxes are not very compositional (*e.g.* it is not
possible to do anything sensible with them under rotation), so they
are not used in the diagrams core. However, they do have their
uses; this module provides definitions and functions for working
with them.

- data BoundingBox v n
- emptyBox :: BoundingBox v n
- fromCorners :: (Additive v, Foldable v, Ord n) => Point v n -> Point v n -> BoundingBox v n
- fromPoint :: Point v n -> BoundingBox v n
- fromPoints :: (Additive v, Ord n) => [Point v n] -> BoundingBox v n
- boundingBox :: (InSpace v n a, HasBasis v, Num n, Enveloped a) => a -> BoundingBox v n
- isEmptyBox :: BoundingBox v n -> Bool
- getCorners :: BoundingBox v n -> Maybe (Point v n, Point v n)
- getAllCorners :: (Additive v, Traversable v, Num n) => BoundingBox v n -> [Point v n]
- boxExtents :: (Additive v, Num n) => BoundingBox v n -> v n
- boxCenter :: (Additive v, Fractional n) => BoundingBox v n -> Maybe (Point v n)
- mCenterPoint :: (InSpace v n a, HasBasis v, Num n, Enveloped a) => a -> Maybe (Point v n)
- centerPoint :: (InSpace v n a, HasBasis v, Num n, Enveloped a) => a -> Point v n
- boxTransform :: (Additive v, Fractional n) => BoundingBox v n -> BoundingBox v n -> Maybe (Transformation v n)
- boxFit :: (InSpace v n a, HasBasis v, Enveloped a, Transformable a, Monoid a, Num n) => BoundingBox v n -> a -> a
- contains :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
- contains' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool
- boundingBoxQuery :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Query v n Any
- inside :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- inside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- outside :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- outside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool
- union :: (Additive v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n
- intersection :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n

# Bounding boxes

data BoundingBox v n Source

A bounding box is an axis-aligned region determined by two points
indicating its "lower" and "upper" corners. It can also represent
an empty bounding box - the points are wrapped in `Maybe`

.

Functor v => Functor (BoundingBox v) Source | |

Eq (v n) => Eq (BoundingBox v n) Source | |

Read (v n) => Read (BoundingBox v n) Source | |

Show (v n) => Show (BoundingBox v n) Source | |

(Additive v, Ord n) => Semigroup (BoundingBox v n) Source | |

(Additive v, Ord n) => Monoid (BoundingBox v n) Source | |

(Metric v, Traversable v, OrderedField n) => Enveloped (BoundingBox v n) Source | |

TypeableFloat n => Traced (BoundingBox V3 n) Source | |

RealFloat n => Traced (BoundingBox V2 n) Source | |

(Additive v, Num n, Ord n) => HasOrigin (BoundingBox v n) Source | |

AsEmpty (BoundingBox v n) Source | |

(Metric v, Traversable v, OrderedField n) => Alignable (BoundingBox v n) Source | |

(Additive v', Foldable v', Ord n') => Each (BoundingBox v n) (BoundingBox v' n') (Point v n) (Point v' n') Source | Only valid if the second point is not smaller than the first. |

type V (BoundingBox v n) = v Source | |

type N (BoundingBox v n) = n Source |

# Constructing bounding boxes

emptyBox :: BoundingBox v n Source

An empty bounding box. This is the same thing as `mempty`

, but it doesn't
require the same type constraints that the `Monoid`

instance does.

fromCorners :: (Additive v, Foldable v, Ord n) => Point v n -> Point v n -> BoundingBox v n Source

Create a bounding box from a point that is component-wise `(<=)`

than the
other. If this is not the case, then `mempty`

is returned.

fromPoint :: Point v n -> BoundingBox v n Source

Create a degenerate bounding "box" containing only a single point.

fromPoints :: (Additive v, Ord n) => [Point v n] -> BoundingBox v n Source

Create the smallest bounding box containing all the given points.

boundingBox :: (InSpace v n a, HasBasis v, Num n, Enveloped a) => a -> BoundingBox v n Source

Create a bounding box for any enveloped object (such as a diagram or path).

# Queries on bounding boxes

isEmptyBox :: BoundingBox v n -> Bool Source

Queries whether the BoundingBox is empty.

getCorners :: BoundingBox v n -> Maybe (Point v n, Point v n) Source

Gets the lower and upper corners that define the bounding box.

getAllCorners :: (Additive v, Traversable v, Num n) => BoundingBox v n -> [Point v n] Source

Computes all of the corners of the bounding box.

boxExtents :: (Additive v, Num n) => BoundingBox v n -> v n Source

Get the size of the bounding box - the vector from the (component-wise) lesser point to the greater point.

boxCenter :: (Additive v, Fractional n) => BoundingBox v n -> Maybe (Point v n) Source

Get the center point in a bounding box.

mCenterPoint :: (InSpace v n a, HasBasis v, Num n, Enveloped a) => a -> Maybe (Point v n) Source

Get the center of a the bounding box of an enveloped object, return
`Nothing`

for object with empty envelope.

centerPoint :: (InSpace v n a, HasBasis v, Num n, Enveloped a) => a -> Point v n Source

Get the center of a the bounding box of an enveloped object, return the origin for object with empty envelope.

boxTransform :: (Additive v, Fractional n) => BoundingBox v n -> BoundingBox v n -> Maybe (Transformation v n) Source

Create a transformation mapping points from one bounding box to the
other. Returns `Nothing`

if either of the boxes are empty.

boxFit :: (InSpace v n a, HasBasis v, Enveloped a, Transformable a, Monoid a, Num n) => BoundingBox v n -> a -> a Source

Transforms an enveloped thing to fit within a `BoundingBox`

. If the
bounding box is empty, then the result is also `mempty`

.

contains :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool Source

Check whether a point is contained in a bounding box (including its edges).

contains' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Point v n -> Bool Source

Check whether a point is *strictly* contained in a bounding box.

boundingBoxQuery :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> Query v n Any Source

inside :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool Source

Test whether the first bounding box is contained inside the second.

inside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool Source

Test whether the first bounding box is *strictly* contained
inside the second.

outside :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool Source

Test whether the first bounding box lies outside the second (although they may intersect in their boundaries).

outside' :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> Bool Source

Test whether the first bounding box lies *strictly* outside the second
(they do not intersect at all).

# Operations on bounding boxes

union :: (Additive v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n Source

Form the smallest bounding box containing the given two bound union. This
function is just an alias for `mappend`

.

intersection :: (Additive v, Foldable v, Ord n) => BoundingBox v n -> BoundingBox v n -> BoundingBox v n Source

Form the largest bounding box contained within this given two
bounding boxes, or `Nothing`

if the two bounding boxes do not
overlap at all.