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 r p n. 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 r p n. ToRegion n r => ToPos n p => Ord n => Semiring n => r -> p -> Boolean

inside, but with its result negated.

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

Put a position inside a region by using the modulus operator

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

Get the area of a size

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

Get the perimeter of a size

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

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

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

Get the center position of a region

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

Get the dot product of two vectors

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

Check if two vectors are perpendicular

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

Check if two vectors are parallel

convertPos :: forall p1 p2 n. ToPos n p1 => FromPos n p2 => p1 -> p2

convertSize :: forall p1 p2 n. ToSize n p1 => FromSize n p2 => p1 -> p2

convertRegion :: forall p1 p2 n. ToRegion n p1 => FromRegion n p2 => p1 -> p2

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)
• (Ring a) => Ring (Vector2 a)
• (DivisionRing a) => DivisionRing (Vector2 a)
• (CommutativeRing a) => CommutativeRing (Vector2 a)
• (EuclideanRing a) => EuclideanRing (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)