Data.Geometry.Box.Corners

Documentation

data Corners a

A Quadrant data type

Constructors

Corners !a !a !a !a

Instances

Functor Corners

Defined in Data.Geometry.Box.Corners

Methods

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

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

Applicative Corners

Defined in Data.Geometry.Box.Corners

Methods

pure :: a -> Corners a

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

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

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

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

Foldable Corners

Defined in Data.Geometry.Box.Corners

Methods

fold :: Monoid m => Corners m -> m

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

foldMap' :: Monoid m => (a -> m) -> Corners a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> Corners a -> a

foldl1 :: (a -> a -> a) -> Corners a -> a

toList :: Corners a -> [a]

null :: Corners a -> Bool

length :: Corners a -> Int

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

maximum :: Ord a => Corners a -> a

minimum :: Ord a => Corners a -> a

sum :: Num a => Corners a -> a

product :: Num a => Corners a -> a

Traversable Corners

Defined in Data.Geometry.Box.Corners

Methods

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

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

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

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

Traversable1 Corners

Defined in Data.Geometry.Box.Corners

Methods

traverse1 :: Apply f => (a -> f b) -> Corners a -> f (Corners b)

sequence1 :: Apply f => Corners (f b) -> f (Corners b)

Foldable1 Corners

Defined in Data.Geometry.Box.Corners

Methods

fold1 :: Semigroup m => Corners m -> m

foldMap1 :: Semigroup m => (a -> m) -> Corners a -> m

toNonEmpty :: Corners a -> NonEmpty a

Eq a => Eq (Corners a)

Defined in Data.Geometry.Box.Corners

Methods

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

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

Ord a => Ord (Corners a)

Defined in Data.Geometry.Box.Corners

Methods

compare :: Corners a -> Corners a -> Ordering

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

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

(>) :: Corners a -> Corners a -> Bool

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

max :: Corners a -> Corners a -> Corners a

min :: Corners a -> Corners a -> Corners a

Show a => Show (Corners a)

Defined in Data.Geometry.Box.Corners

Methods

showsPrec :: Int -> Corners a -> ShowS

show :: Corners a -> String

showList :: [Corners a] -> ShowS

Generic (Corners a)

Defined in Data.Geometry.Box.Corners

Associated Types

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

Methods

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

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

Semigroup a => Semigroup (Corners a)

Defined in Data.Geometry.Box.Corners

Methods

(<>) :: Corners a -> Corners a -> Corners a

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

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

Monoid a => Monoid (Corners a)

Defined in Data.Geometry.Box.Corners

Methods

mempty :: Corners a

mappend :: Corners a -> Corners a -> Corners a

mconcat :: [Corners a] -> Corners a

Ixed (Corners a)

Defined in Data.Geometry.Box.Corners

Methods

ix :: Index (Corners a) -> Traversal' (Corners a) (IxValue (Corners a))

type Rep (Corners a)

Defined in Data.Geometry.Box.Corners

type Rep (Corners a) = D1 ('MetaData "Corners" "Data.Geometry.Box.Corners" "hgeometry-0.12.0.1-744QXwUb5uS54emseMX1Co" 'False) (C1 ('MetaCons "Corners" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_northWest") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "_northEast") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :*: (S1 ('MetaSel ('Just "_southEast") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "_southWest") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))

type Index (Corners a)

Defined in Data.Geometry.Box.Corners

type Index (Corners a) = InterCardinalDirection

type IxValue (Corners a)

Defined in Data.Geometry.Box.Corners

type IxValue (Corners a) = a

northWest :: forall a. Lens' (Corners a) a

northEast :: forall a. Lens' (Corners a) a

southEast :: forall a. Lens' (Corners a) a

southWest :: forall a. Lens' (Corners a) a

corners :: Num r => Rectangle p r -> Corners (Point 2 r :+ p)

Get the corners of a rectangle, the order is: (TopLeft, TopRight, BottomRight, BottomLeft). The extra values in the Top points are taken from the Top point, the extra values in the Bottom points are taken from the Bottom point

cornersInDirection :: CardinalDirection -> Corners p -> Two p

Gets the corners in a particular direction