NumHask.Data.Rect

a two-dimensional plane, implemented as a composite of a Pair of Ranges.

Documentation

newtype Rect a

a Pair of Ranges that form a rectangle in what is often thought of as the XY plane.

>>> let a = Rect (-1) 1 (-2) 4
>>> a
Rect -1 1 -2 4
>>> let (Ranges x y) = a
>>> x
Range -1 1
>>> y
Range -2 4
>>> fmap (+1) (Rect 1 2 3 4)
Rect 2 3 4 5
>>> one :: Rect Double
Rect -0.5 0.5 -0.5 0.5
>>> zero :: Rect Double
Rect Infinity -Infinity Infinity -Infinity

as a Field instance

>>> Rect 0 1 2 3 + zero
Rect 0.0 1.0 2.0 3.0
>>> Rect 0 1 (-2) (-1) + Rect 2 3 (-5) 3
Rect 0.0 3.0 -5.0 3.0
>>> Rect 1 1 1 1 - one
Rect 0.5 1.0 0.5 1.0
>>> Rect 0 1 0 1 * one
Rect 0.0 1.0 0.0 1.0
>>> Rect 0 1 0 1 / one
Rect 0.0 1.0 0.0 1.0
>>> singleton (Pair 1.0 2.0) :: Rect Double
Rect 1.0 1.0 2.0 2.0
>>> abs (Rect 1 0 1 0)
Rect 0.0 1.0 0.0 1.0
>>> sign (Rect 1 0 1 0) == negate one
True

as a Space instance

>>> project (Rect 0 1 (-1) 0) (Rect 1 4 10 0) (Pair 0.5 1)
Pair 2.5 -10.0
>>> gridSpace (Rect 0 10 0 1) (Pair 2 2)
[Rect 0.0 5.0 0.0 0.5,Rect 0.0 5.0 0.5 1.0,Rect 5.0 10.0 0.0 0.5,Rect 5.0 10.0 0.5 1.0]
>>> grid MidPos (Rect 0 10 0 1) (Pair 2 2)
[Pair 2.5 0.25,Pair 2.5 0.75,Pair 7.5 0.25,Pair 7.5 0.75]

Constructors

Rect' (Compose Pair Range a)

Instances

Functor Rect

Defined in NumHask.Data.Rect

Methods

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

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

Applicative Rect

Defined in NumHask.Data.Rect

Methods

pure :: a -> Rect a

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

liftA2 :: (a -> b -> c) -> Rect a -> Rect b -> Rect c

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

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

Foldable Rect

Defined in NumHask.Data.Rect

Methods

fold :: Monoid m => Rect m -> m

foldMap :: Monoid m => (a -> m) -> Rect a -> m

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

foldr' :: (a -> b -> b) -> b -> Rect a -> b

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

foldl' :: (b -> a -> b) -> b -> Rect a -> b

foldr1 :: (a -> a -> a) -> Rect a -> a

foldl1 :: (a -> a -> a) -> Rect a -> a

toList :: Rect a -> [a]

null :: Rect a -> Bool

length :: Rect a -> Int

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

maximum :: Ord a => Rect a -> a

minimum :: Ord a => Rect a -> a

sum :: Num a => Rect a -> a

product :: Num a => Rect a -> a

Traversable Rect

Defined in NumHask.Data.Rect

Methods

traverse :: Applicative f => (a -> f b) -> Rect a -> f (Rect b)

sequenceA :: Applicative f => Rect (f a) -> f (Rect a)

mapM :: Monad m => (a -> m b) -> Rect a -> m (Rect b)

sequence :: Monad m => Rect (m a) -> m (Rect a)

Distributive Rect

Defined in NumHask.Data.Rect

Methods

distribute :: Functor f => f (Rect a) -> Rect (f a)

collect :: Functor f => (a -> Rect b) -> f a -> Rect (f b)

distributeM :: Monad m => m (Rect a) -> Rect (m a)

collectM :: Monad m => (a -> Rect b) -> m a -> Rect (m b)

Representable Rect

Defined in NumHask.Data.Rect

Associated Types

type Rep Rect :: Type

Methods

tabulate :: (Rep Rect -> a) -> Rect a

index :: Rect a -> Rep Rect -> a

Eq a => Eq (Rect a)

Defined in NumHask.Data.Rect

Methods

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

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

Show a => Show (Rect a)

Defined in NumHask.Data.Rect

Methods

showsPrec :: Int -> Rect a -> ShowS

show :: Rect a -> String

showList :: [Rect a] -> ShowS

Generic (Rect a)

Defined in NumHask.Data.Rect

Associated Types

type Rep (Rect a) :: Type -> Type

Methods

from :: Rect a -> Rep (Rect a) x

to :: Rep (Rect a) x -> Rect a

BoundedLattice a => Semigroup (Rect a)

Defined in NumHask.Data.Rect

Methods

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

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

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

BoundedLattice a => Monoid (Rect a)

Defined in NumHask.Data.Rect

Methods

mempty :: Rect a

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

mconcat :: [Rect a] -> Rect a

Additive a => AdditiveAction (Rect a)

Defined in NumHask.Data.Rect

Methods

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

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

Subtractive a => SubtractiveAction (Rect a)

Defined in NumHask.Data.Rect

Methods

(.-) :: Rect a -> Actor (Rect a) -> Rect a

(-.) :: Actor (Rect a) -> Rect a -> Rect a

Multiplicative a => MultiplicativeAction (Rect a)

Defined in NumHask.Data.Rect

Methods

(.*) :: Rect a -> Actor (Rect a) -> Rect a

(*.) :: Actor (Rect a) -> Rect a -> Rect a

Divisive a => DivisiveAction (Rect a)

Defined in NumHask.Data.Rect

Methods

(./) :: Rect a -> Actor (Rect a) -> Rect a

(/.) :: Actor (Rect a) -> Rect a -> Rect a

(Lattice a, Field a, Subtractive a, FromInteger a) => FieldSpace (Rect a)

Defined in NumHask.Data.Rect

Associated Types

type Grid (Rect a) :: Type

Methods

grid :: Pos -> Rect a -> Grid (Rect a) -> [Element (Rect a)]

gridSpace :: Rect a -> Grid (Rect a) -> [Rect a]

Lattice a => Space (Rect a)

Defined in NumHask.Data.Rect

Associated Types

type Element (Rect a) :: Type

Methods

lower :: Rect a -> Element (Rect a)

upper :: Rect a -> Element (Rect a)

singleton :: Element (Rect a) -> Rect a

intersection :: Rect a -> Rect a -> Rect a

union :: Rect a -> Rect a -> Rect a

norm :: Rect a -> Rect a

(...) :: Element (Rect a) -> Element (Rect a) -> Rect a

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

type Rep Rect

Defined in NumHask.Data.Rect

type Rep Rect = (Bool, Bool)

type Rep (Rect a)

Defined in NumHask.Data.Rect

type Rep (Rect a) = D1 (MetaData "Rect" "NumHask.Data.Rect" "numhask-space-0.1.1-KhD7xYpwLfOGsUJAt0HVyO" True) (C1 (MetaCons "Rect'" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Compose Pair Range a))))

type Actor (Rect a)

Defined in NumHask.Data.Rect

type Actor (Rect a) = a

type Grid (Rect a)

Defined in NumHask.Data.Rect

type Grid (Rect a) = Pair Int

type Element (Rect a)

Defined in NumHask.Data.Rect

type Element (Rect a) = Pair a

pattern Rect :: a -> a -> a -> a -> Rect a

pattern of Rect lowerx upperx lowery uppery

pattern Ranges :: Range a -> Range a -> Rect a

pattern of Ranges xrange yrange

corners :: Lattice a => Rect a -> [Pair a]

create a list of pairs representing the lower left and upper right cormners of a rectangle.

projectRect :: (Lattice a, Subtractive a, Field a) => Rect a -> Rect a -> Rect a -> Rect a

project a Rect from an old range to a new one