Data.Vector.Polymorphic

length :: forall p. ToPos Number p => p -> Number

Get the length of a position vector

diagonal :: forall s. ToSize Number s => s -> Number

Get the diagonal of a size

inside :: forall n p r. ToRegion n r => ToPos n p => Ord n => Semiring n => r -> p -> Boolean

Checks if a position is inside a region. Size of the region should be positive. Inclusive on the lower bound, exclusive on the higher bound.

outside :: forall n p r. ToRegion n r => ToPos n p => Ord n => Semiring n => r -> p -> Boolean

inside, but with its result negated.

putInsideMod :: forall n p r. ToRegion n r => AsPosEndo n p => EuclideanRing n => r -> p -> p

Put a position inside a region by using the modulus operator

area :: forall n s. ToSize n s => Semiring n => s -> n

Get the area of a size

perimeter :: forall n s. ToSize n s => Semiring n => s -> n

Get the perimeter of a size

ratio :: forall n s. ToSize n s => EuclideanRing n => s -> n

Get the ratio of a size by dividing the width by the height

midPos :: forall n p s. ToRegion n s => FromPos n p => EuclideanRing n => s -> p

Get the center position of a region

dot :: forall n p. ToPos n p => Semiring n => p -> p -> n

Get the dot product of two vectors

perpendicular :: forall n p. ToPos n p => Semiring n => Eq n => p -> p -> Boolean

Check if two vectors are perpendicular

parallel :: forall n p. ToPos n p => EuclideanRing n => Eq n => p -> p -> Boolean

Check if two vectors are parallel

toRectangleWith :: forall r n. ToRegion n r => Semiring n => (n -> Number) -> r -> Rectangle

Turn a region into a Rectangle

toRectangle :: forall r. ToRegion Number r => r -> Rectangle

Turn a region represented with Numbers into a Rectangle

data Vector2 a

Constructors

• Vector2 a a

Instances

• (Eq a) => Eq (Vector2 a)
• (Ord a) => Ord (Vector2 a)
• (Show a) => Show (Vector2 a)
• Functor Vector2
• Apply Vector2
• Applicative Vector2
• Bind Vector2
• Monad Vector2
• (Semigroup a) => Semigroup (Vector2 a)
• (Monoid a) => Monoid (Vector2 a)
• (Semiring a) => Semiring (Vector2 a)
• Foldable1 Vector2
• Foldable Vector2
• Traversable1 Vector2
• Traversable Vector2
• Distributive Vector2

data Rect a

Constructors

• Rect (Vector2 a) (Vector2 a)

Instances

• (Eq a) => Eq (Rect a)
• (Ord a) => Ord (Rect a)
• (Show a) => Show (Rect a)
• Functor Rect
• Apply Rect
• Applicative Rect
• Bind Rect
• Monad Rect
• (Semigroup a) => Semigroup (Rect a)
• (Monoid a) => Monoid (Rect a)
• (Semiring a) => Semiring (Rect a)
• Foldable1 Rect
• Foldable Rect
• Traversable1 Rect
• Traversable Rect
• Distributive Rect

makeRect :: forall a. a -> a -> a -> a -> Rect a

Constructs a Rect from four values

getY :: forall a. Vector2 a -> a

Get the y value from a Vector2

getX :: forall a. Vector2 a -> a

Get the x value from a Vector2

getSize :: forall a. Rect a -> Vector2 a

Get the size of a Rect

getPos :: forall a. Rect a -> Vector2 a

Get the topleft position of a Rect

Operator alias for Data.Vector.Polymorphic.Types.Vector2 (non-associative / precedence 2)