Module

Data.Vector.Polymorphic.Class

Package: purescript-polymorphic-vectors
Repository: artemisSystem/purescript-polymorphic-vectors

#XY Source

type XY a r = (x :: a, y :: a | r)

#WH Source

type WH a r = (height :: a, width :: a | r)

#XYWH Source

type XYWH a r = (XY a) + (WH a) + r

#ToPos Source

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)

#FromPos Source

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)

#AsPosEndo Source

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)

#AsPos Source

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)

#ToSize Source

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)

#FromSize Source

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)

#AsSizeEndo Source

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)

#AsSize Source

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)

#ToRegion Source

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)
```

#FromRegion Source

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)

#AsRegionEndo Source

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)

#AsRegion Source

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)

Modules: Data.Vector.Polymorphic; Data.Vector.Polymorphic.Class; Data.Vector.Polymorphic.Types