Data.Vector.Polymorphic.Class

type XY :: forall k. k -> Row k -> Row ktype XY a r = (x :: a, y :: a | r)

Shorthand describing a row containing x and y fields

type WH :: forall k. k -> Row k -> Row ktype WH a r = (height :: a, width :: a | r)

Shorthand describing a row containing width and height fields

type XYWH :: forall k. k -> Row k -> Row ktype XYWH a r = (XY a) + (WH a) + r

Shorthand describing a row containing x, y, width and height fields

class ToPos a pa | pa -> a where

Class describing types which represent a position on a 2D plane and can be turned into a Vector2 a.

Members

• toPos :: pa -> Vector2 a

Instances

• ToPos a (Vector2 a)
• ToPos a (Rect a)
• (TypeEquals r1 (XY a r)) => ToPos a (Record r1)

class FromPos a pa | pa -> a where

Class describing types which represent a position on a 2D plane and can be constructed from a Vector2 a.

Members

• fromPos :: Vector2 a -> pa

Instances

• FromPos a (Vector2 a)
• (Semiring a) => FromPos a (Rect a)
• (TypeEquals r1 (XY a r), Nub (XY a r) (XY a r), Semiring (Record r)) => FromPos a (Record r1)

class AsPosEndo a pa | pa -> a where

Class describing types which represent a position on a 2D plane and can be modified by any function of type Vector2 a → Vector2 a.

Instances must satisfy the following law:

• Identity: asPosEndo identity = identity

Members

• asPosEndo :: (Vector2 a -> Vector2 a) -> pa -> pa

Instances

• AsPosEndo a (Vector2 a)
• AsPosEndo a (Rect a)
• (TypeEquals r1 (XY a r)) => AsPosEndo a (Record r1)

class AsPos a b pa pb | pa -> a, pb -> b, pa b -> pb where

Class describing types which represent a position on a 2D plane and can be modified by any function of type Vector2 a → Vector2 b.

Instances must satisfy the following law:

• Identity: asPos identity = identity

Members

• asPos :: (Vector2 a -> Vector2 b) -> pa -> pb

Instances

• AsPos a b (Vector2 a) (Vector2 b)
• (TypeEquals r1 (XY a r), TypeEquals r2 (XY b r)) => AsPos a b (Record r1) (Record r2)

class ToSize a sa | sa -> a where

Class describing types which represent a size on a 2D plane and can be turned into a Vector2 a.

Members

• toSize :: sa -> Vector2 a

Instances

• ToSize a (Vector2 a)
• ToSize a (Rect a)
• (TypeEquals r1 (WH a r)) => ToSize a (Record r1)

class FromSize a sa | sa -> a where

Class describing types which represent a size on a 2D plane and can be constructed from a Vector2 a.

Members

• fromSize :: Vector2 a -> sa

Instances

• FromSize a (Vector2 a)
• (Semiring a) => FromSize a (Rect a)
• (TypeEquals r1 (WH a r), Semiring (Record r), Nub (WH a r) (WH a r)) => FromSize a (Record r1)

class AsSizeEndo a sa | sa -> a where

Class describing types which represent a size on a 2D plane and can be modified by any function of type Vector2 a → Vector2 a.

Instances must satisfy the following law:

• Identity: asSizeEndo identity = identity

Members

• asSizeEndo :: (Vector2 a -> Vector2 a) -> sa -> sa

Instances

• AsSizeEndo a (Vector2 a)
• AsSizeEndo a (Rect a)
• (TypeEquals r1 (WH a r)) => AsSizeEndo a (Record r1)

class AsSize a b sa sb | sa -> a, sb -> b, sa b -> sb where

Class describing types which represent a size on a 2D plane and can be modified by any function of type Vector2 a → Vector2 b.

Instances must satisfy the following law:

• Identity: asSize identity = identity

Members

• asSize :: (Vector2 a -> Vector2 b) -> sa -> sb

Instances

• AsSize a b (Vector2 a) (Vector2 b)
• (TypeEquals r1 (WH a r), TypeEquals r2 (WH b r)) => AsSize a b (Record r1) (Record r2)

class ToRegion a ra | ra -> a where

Class describing types which represent a rectangular region on a 2D plane and can be turned into a Rect a.

Members

• toRegion :: ra -> Rect a

Instances

• (Semiring a) => ToRegion a (Vector2 a)
• ToRegion a (Rect a)
• (TypeEquals r1 (XYWH a r)) => ToRegion a (Record r1)

  With how the compiler works currently, it's not possible to have instances of ToRegion for both WH a r and XYWH a r, so you can't use a value like {width: 50, height: 50} for toRegion. If you want to use a record as a region the same way you would a Vector2, you can call toSize with it first:

  -- All these do the same thing
  outside (toSize { width: 50, height: 50 })
  outside { width: 50, height: 50, x: 0, y: 0 }
  outside (50 >< 50)
  

class FromRegion a ra | ra -> a where

Class describing types which represent a rectangular region on a 2D plane and can be constructed from a Rect a.

Members

• fromRegion :: Rect a -> ra

Instances

• FromRegion a (Vector2 a)
• FromRegion a (Rect a)
• (TypeEquals r1 (XYWH a r), Semiring (Record r), Nub (XYWH a r) (XYWH a r)) => FromRegion a (Record r1)

class AsRegionEndo a ra | ra -> a where

Class describing types which represent a rectangular region on a 2D plane and can be modified by any function of type Rect a → Rect a.

Instances must satisfy the following law:

• Identity: asRegionEndo identity = identity

Members

• asRegionEndo :: (Rect a -> Rect a) -> ra -> ra

Instances

• (Semiring a) => AsRegionEndo a (Vector2 a)
• AsRegionEndo a (Rect a)
• (TypeEquals r1 (XYWH a r)) => AsRegionEndo a (Record r1)

class AsRegion a b ra rb | ra -> a, rb -> b, ra b -> rb where

Class describing types which represent a rectangular region on a 2D plane and can be modified by any function of type Rect a → Rect b.

Instances must satisfy the following law:

• Identity: asRegion identity = identity

Members

• asRegion :: (Rect a -> Rect b) -> ra -> rb

Instances

• (Semiring a) => AsRegion a b (Vector2 a) (Vector2 b)
• AsRegion a b (Rect a) (Rect b)
• (TypeEquals r1 (XYWH a r), TypeEquals r2 (XYWH b r)) => AsRegion a b (Record r1) (Record r2)