Data.Vector.Polymorphic.Class

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)

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)

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)

class AsPos a b pa pb | pa -> a, pb -> b 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)

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)

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)

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)

class AsSize a b sa sb | sa -> a, sb -> b 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)

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)

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)

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)

class AsRegion a b ra rb | ra -> a, rb -> b 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)