NumHask.Rect

Documentation

newtype Rect a

a two-dimensional plane, bounded by ranges.

Constructors

Rect

Fields

• xy :: V2 (Range a)

Instances

Functor Rect

Methods

fmap :: (a -> b) -> Rect a -> Rect b

(<$) :: a -> Rect b -> Rect a

Eq a => Eq (Rect a)

Methods

(==) :: Rect a -> Rect a -> Bool

(/=) :: Rect a -> Rect a -> Bool

Ord a => Ord (Rect a)

Methods

compare :: Rect a -> Rect a -> Ordering

(<) :: Rect a -> Rect a -> Bool

(<=) :: Rect a -> Rect a -> Bool

(>) :: Rect a -> Rect a -> Bool

(>=) :: Rect a -> Rect a -> Bool

max :: Rect a -> Rect a -> Rect a

min :: Rect a -> Rect a -> Rect a

Show a => Show (Rect a)

Methods

showsPrec :: Int -> Rect a -> ShowS

show :: Rect a -> String

showList :: [Rect a] -> ShowS

Ord a => Semigroup (Rect a)

Methods

(<>) :: Rect a -> Rect a -> Rect a

sconcat :: NonEmpty (Rect a) -> Rect a

stimes :: Integral b => b -> Rect a -> Rect a

(AdditiveUnital (Rect a), Semigroup (Rect a)) => Monoid (Rect a)

Methods

mempty :: Rect a

mappend :: Rect a -> Rect a -> Rect a

mconcat :: [Rect a] -> Rect a

Ord a => AdditiveMagma (Rect a)

a convex hull approach

Methods

plus :: Rect a -> Rect a -> Rect a

(Ord a, BoundedField a) => AdditiveUnital (Rect a)

Methods

zero :: Rect a

Ord a => AdditiveAssociative (Rect a)

Ord a => AdditiveCommutative (Rect a)

(Ord a, BoundedField a) => Additive (Rect a)

Methods

(+) :: Rect a -> Rect a -> Rect a

BoundedField a => MultiplicativeMagma (Rect a)

Methods

times :: Rect a -> Rect a -> Rect a

BoundedField a => MultiplicativeUnital (Rect a)

Methods

one :: Rect a

BoundedField a => MultiplicativeAssociative (Rect a)

(Ord a, BoundedField a) => MultiplicativeInvertible (Rect a)

Methods

recip :: Rect a -> Rect a

(Ord a, BoundedField a) => MultiplicativeLeftCancellative (Rect a)

Methods

(~/) :: Rect a -> Rect a -> Rect a

(Ord a, BoundedField a) => MultiplicativeRightCancellative (Rect a)

Methods

(/~) :: Rect a -> Rect a -> Rect a

AdditiveGroup a => Normed (Rect a) (V2 a)

Methods

size :: Rect a -> V2 a

(Ord a, AdditiveGroup a) => Metric (Rect a) (V2 a)

Methods

distance :: Rect a -> Rect a -> V2 a

Ord a => AdditiveHomomorphic (V2 a) (Rect a)

natural interpretation of an a as an `Rect a`

Methods

plushom :: V2 a -> Rect a

rect :: Iso' (V4 a) (Rect a)

an alternative specification; as a 4-dim vector `V4 x y z w` where: - (x,y) is the lower left corner of a rectangle, and - (z,w) is the upper right corner of a rectangle

positRect :: Ord a => Rect a -> Rect a

corners :: Rect a -> [V2 a]

midRect :: BoundedField a => Rect a -> V2 a

elementRect :: Ord a => V2 a -> Rect a -> Bool

determine whether a point is within the range

singletonRect :: V2 a -> Rect a

singularRect :: Eq a => Rect a -> Bool

is the range a singleton V2 (has zero area)

intersectionRect :: Ord a => Rect a -> Rect a -> Rect a

containsRect :: Ord a => Rect a -> Rect a -> Bool

rescaleP :: Field b => Range b -> Range b -> b -> b

`rescaleP rold rnew p` rescales a data point from an old range to a new range rescaleP o n (view low o) == view low n rescaleP o n (view high o) == view high n rescaleP a a == id

rangeR2s :: (BoundedField a, Traversable g, Traversable f, R2 r, Ord a) => g (f (r a)) -> Rect a

range specialized to double traversables

scaleR2s :: (R2 r, BoundedField a, Traversable f, Traversable g, Ord a) => Rect a -> g (f (r a)) -> g (f (r a))

scale a double container of r2s from the current range

rangeRects :: (Ord a, BoundedField a, Traversable f) => f (Rect a) -> Rect a

the range of a container of Rects

rescaleRect :: Field a => Rect a -> Rect a -> Rect a -> Rect a

rescales a Rect from an old Rect range to a new one

scaleRects :: (BoundedField a, Traversable f, Ord a) => Rect a -> f (Rect a) -> f (Rect a)

scale a double container of Rects from the current range

scaleRectss :: (BoundedField a, Traversable f, Traversable g, Ord a) => Rect a -> g (f (Rect a)) -> g (f (Rect a))

scale a double container of Rects from the current range

gridP :: (Field a, FromInteger a) => TickPos -> Rect a -> V2 Int -> [V2 a]

grid points on a rectange, divided up by a V2 Int

grid :: (BoundedField a, FromInteger a) => Rect a -> V2 Int -> [Rect a]

a rectangle divided up by a V2 Int, making a list of smaller rectangles