Game.LambdaHack.Common.Vector

Basic operations on bounded 2D vectors, with an efficient, but not 1-1 and not monotonic Enum instance.

Documentation

data Vector

2D vectors in cartesian representation. Coordinates grow to the right and down, so that the (1, 1) vector points to the bottom-right corner of the screen.

Constructors

Vector

Fields

• vx :: X
• vy :: Y

Instances

Enum Vector

Defined in Game.LambdaHack.Common.Vector

Methods

succ :: Vector -> Vector

pred :: Vector -> Vector

toEnum :: Int -> Vector

fromEnum :: Vector -> Int

enumFrom :: Vector -> [Vector]

enumFromThen :: Vector -> Vector -> [Vector]

enumFromTo :: Vector -> Vector -> [Vector]

enumFromThenTo :: Vector -> Vector -> Vector -> [Vector]

Eq Vector

Defined in Game.LambdaHack.Common.Vector

Methods

(==) :: Vector -> Vector -> Bool

(/=) :: Vector -> Vector -> Bool

Ord Vector

Defined in Game.LambdaHack.Common.Vector

Methods

compare :: Vector -> Vector -> Ordering

(<) :: Vector -> Vector -> Bool

(<=) :: Vector -> Vector -> Bool

(>) :: Vector -> Vector -> Bool

(>=) :: Vector -> Vector -> Bool

max :: Vector -> Vector -> Vector

min :: Vector -> Vector -> Vector

Read Vector

Defined in Game.LambdaHack.Common.Vector

Methods

readsPrec :: Int -> ReadS Vector

readList :: ReadS [Vector]

readPrec :: ReadPrec Vector

readListPrec :: ReadPrec [Vector]

Show Vector

Defined in Game.LambdaHack.Common.Vector

Methods

showsPrec :: Int -> Vector -> ShowS

show :: Vector -> String

showList :: [Vector] -> ShowS

Generic Vector

Defined in Game.LambdaHack.Common.Vector

Associated Types

type Rep Vector :: Type -> Type

Methods

from :: Vector -> Rep Vector x

to :: Rep Vector x -> Vector

Binary Vector

Defined in Game.LambdaHack.Common.Vector

Methods

put :: Vector -> Put

get :: Get Vector

putList :: [Vector] -> Put

NFData Vector

Defined in Game.LambdaHack.Common.Vector

Methods

rnf :: Vector -> ()

type Rep Vector

Defined in Game.LambdaHack.Common.Vector

type Rep Vector = D1 ('MetaData "Vector" "Game.LambdaHack.Common.Vector" "LambdaHack-0.11.0.0-inplace" 'False) (C1 ('MetaCons "Vector" 'PrefixI 'True) (S1 ('MetaSel ('Just "vx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 X) :*: S1 ('MetaSel ('Just "vy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Y)))

type VectorI = Int

Enumeration representation of Vector.

isUnit :: Vector -> Bool

Tells if a vector has length 1 in the chessboard metric.

neg :: Vector -> Vector

Reverse an arbirary vector.

chessDistVector :: Vector -> Int

The lenght of a vector in the chessboard metric, where diagonal moves cost 1.

euclidDistSqVector :: Vector -> Vector -> Int

Squared euclidean distance between two vectors.

moves :: [Vector]

Vectors of all unit moves in the chessboard metric, clockwise, starting north-west.

movesCardinal :: [Vector]

Vectors of all cardinal direction unit moves, clockwise, starting north.

movesCardinalI :: [VectorI]

movesDiagonal :: [Vector]

Vectors of all diagonal direction unit moves, clockwise, starting north.

movesDiagonalI :: [VectorI]

compassText :: Vector -> Text

vicinityBounded

Arguments

:: X

-> Y

limit the search to this area

-> Point

position to find neighbours of

-> [Point]

All (8 at most) closest neighbours of a point within an area.

vicinityUnsafe :: Point -> [Point]

vicinityCardinal

Arguments

:: X

-> Y

limit the search to this area

-> Point

position to find neighbours of

-> [Point]

All (4 at most) cardinal direction neighbours of a point within an area.

vicinityCardinalUnsafe :: Point -> [Point]

squareUnsafeSet :: Point -> EnumSet Point

shift :: Point -> Vector -> Point

Translate a point by a vector.

shiftBounded :: X -> Y -> Point -> Vector -> Point

Translate a point by a vector, but only if the result fits in an area.

trajectoryToPath :: Point -> [Vector] -> [Point]

A list of points that a list of vectors leads to.

trajectoryToPathBounded :: X -> Y -> Point -> [Vector] -> [Point]

A list of points that a list of vectors leads to, bounded by level size.

vectorToFrom :: Point -> Point -> Vector

The vector between the second point and the first. We have

shift pos1 (pos2 `vectorToFrom` pos1) == pos2

The arguments are in the same order as in the underlying scalar subtraction.

computeTrajectory :: Int -> Int -> Int -> [Point] -> ([Vector], (Speed, Int))

type RadianAngle = Double

rotate :: RadianAngle -> Vector -> Vector

Rotate a vector by the given angle (expressed in radians) counterclockwise and return a unit vector approximately in the resulting direction.

towards :: Point -> Point -> Vector

Given two distinct positions, determine the direction (a unit vector) in which one should move from the first in order to get closer to the second. Ignores obstacles. Of several equally good directions (in the chessboard metric) it picks one of those that visually (in the euclidean metric) maximally align with the vector between the two points.

Internal operations

longMoveTexts :: [Text]

movesSquare :: [VectorI]

pathToTrajectory :: [Point] -> [Vector]

A list of vectors between a list of points.

normalize :: Double -> Double -> Vector

Given a vector of arbitrary non-zero length, produce a unit vector that points in the same direction (in the chessboard metric). Of several equally good directions it picks one of those that visually (in the euclidean metric) maximally align with the original vector.

normalizeVector :: Vector -> Vector