Naqsha.Position

This module captures position of a point on the globe.

Basics

A point on the globe is specified by giving its geo coordinates captures by the type Geo. It is essentially a pair of the Latitude and Longitude of the point.

Examples

kanpurLatitude  :: Latitude
kanpurLatitude  = lat $ degree 26.4477777
kanpurLongitude :: Longitude
kanpurLongitude = lon $ degree 80.3461111

kanpurLatitude  = lat $ degree 26 <> minute 26 <> second 52
kanpurLongitude = lon $ degree 80 <> minute 20 <> second 46

The show and read instance of the Latitude and Longitude types uses degrees for displaying and reading respectively. Show and Read instances can express these quantities up to Nano degree precision.

Convention on sign.

For latitudes, positive means north and negative means south. For longitudes, positive means east and negative means west. However, if you find these conventions confusing you can use the combinators north, south, east, and west when constructing latitudes or longitudes.

data Geo

The coordinates of a point on the earth's surface.

Constructors

Geo !Latitude !Longitude

Instances

Eq Geo

Methods

(==) :: Geo -> Geo -> Bool

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

Show Geo

Methods

showsPrec :: Int -> Geo -> ShowS

show :: Geo -> String

showList :: [Geo] -> ShowS

Default Geo

Methods

def :: Geo

Vector Vector Geo

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Geo -> m (Vector Geo)

basicUnsafeThaw :: PrimMonad m => Vector Geo -> m (Mutable Vector (PrimState m) Geo)

basicLength :: Vector Geo -> Int

basicUnsafeSlice :: Int -> Int -> Vector Geo -> Vector Geo

basicUnsafeIndexM :: Monad m => Vector Geo -> Int -> m Geo

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Geo -> Vector Geo -> m ()

elemseq :: Vector Geo -> Geo -> b -> b

MVector MVector Geo

Methods

basicLength :: MVector s Geo -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Geo -> MVector s Geo

basicOverlaps :: MVector s Geo -> MVector s Geo -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Geo)

basicInitialize :: PrimMonad m => MVector (PrimState m) Geo -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Geo -> m (MVector (PrimState m) Geo)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Geo -> Int -> m Geo

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Geo -> Int -> Geo -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Geo -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Geo -> Geo -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Geo -> MVector (PrimState m) Geo -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Geo -> MVector (PrimState m) Geo -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Geo -> Int -> m (MVector (PrimState m) Geo)

data Vector Geo

data Vector Geo = GeoV (Vector (Angle, Angle))

data MVector s Geo

data MVector s Geo = MGeoV (MVector s (Angle, Angle))

northPole :: Geo

The North pole

southPole :: Geo

The South pole

Latitudes

data Latitude

The latitude of a point. Positive denotes North of Equator where as negative South.

Instances

Bounded Latitude

Methods

minBound :: Latitude

maxBound :: Latitude

Eq Latitude

Methods

(==) :: Latitude -> Latitude -> Bool

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

Ord Latitude

Methods

compare :: Latitude -> Latitude -> Ordering

(<) :: Latitude -> Latitude -> Bool

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

(>) :: Latitude -> Latitude -> Bool

(>=) :: Latitude -> Latitude -> Bool

max :: Latitude -> Latitude -> Latitude

min :: Latitude -> Latitude -> Latitude

Read Latitude

Methods

readsPrec :: Int -> ReadS Latitude

readList :: ReadS [Latitude]

readPrec :: ReadPrec Latitude

readListPrec :: ReadPrec [Latitude]

Show Latitude

Methods

showsPrec :: Int -> Latitude -> ShowS

show :: Latitude -> String

showList :: [Latitude] -> ShowS

Default Latitude

Methods

def :: Latitude

Angular Latitude

Methods

toAngle :: Latitude -> Angle

Vector Vector Latitude

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Latitude -> m (Vector Latitude)

basicUnsafeThaw :: PrimMonad m => Vector Latitude -> m (Mutable Vector (PrimState m) Latitude)

basicLength :: Vector Latitude -> Int

basicUnsafeSlice :: Int -> Int -> Vector Latitude -> Vector Latitude

basicUnsafeIndexM :: Monad m => Vector Latitude -> Int -> m Latitude

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Latitude -> Vector Latitude -> m ()

elemseq :: Vector Latitude -> Latitude -> b -> b

MVector MVector Latitude

Methods

basicLength :: MVector s Latitude -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Latitude -> MVector s Latitude

basicOverlaps :: MVector s Latitude -> MVector s Latitude -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Latitude)

basicInitialize :: PrimMonad m => MVector (PrimState m) Latitude -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Latitude -> m (MVector (PrimState m) Latitude)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Latitude -> Int -> m Latitude

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Latitude -> Int -> Latitude -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Latitude -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Latitude -> Latitude -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Latitude -> MVector (PrimState m) Latitude -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Latitude -> MVector (PrimState m) Latitude -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Latitude -> Int -> m (MVector (PrimState m) Latitude)

data Vector Latitude

data Vector Latitude = LatV (Vector Angle)

data MVector s Latitude

data MVector s Latitude = MLatV (MVector s Angle)

north :: Angle -> Latitude

Convert an angle to a northern latitude

tropicOfCancer = north $ degree 23.5

south :: Angle -> Latitude

Convert an angle to a southern latitude.

 tropicOfCapricon = south $ degree 23.5

lat :: Angle -> Latitude

Construct latitude out of an angle.

equator :: Latitude

The latitude of equator.

tropicOfCancer :: Latitude

The latitude corresponding to the Tropic of Cancer.

tropicOfCapricon :: Latitude

The latitude corresponding to the Tropic of Capricon

Longitudes.

data Longitude

The longitude of a point. Positive denotes East of the Greenwich meridian where as negative denotes West.

Instances

Bounded Longitude

Methods

minBound :: Longitude

maxBound :: Longitude

Eq Longitude

Methods

(==) :: Longitude -> Longitude -> Bool

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

Ord Longitude

Methods

compare :: Longitude -> Longitude -> Ordering

(<) :: Longitude -> Longitude -> Bool

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

(>) :: Longitude -> Longitude -> Bool

(>=) :: Longitude -> Longitude -> Bool

max :: Longitude -> Longitude -> Longitude

min :: Longitude -> Longitude -> Longitude

Read Longitude

Methods

readsPrec :: Int -> ReadS Longitude

readList :: ReadS [Longitude]

readPrec :: ReadPrec Longitude

readListPrec :: ReadPrec [Longitude]

Show Longitude

Methods

showsPrec :: Int -> Longitude -> ShowS

show :: Longitude -> String

showList :: [Longitude] -> ShowS

Monoid Longitude

Methods

mempty :: Longitude

mappend :: Longitude -> Longitude -> Longitude

mconcat :: [Longitude] -> Longitude

Default Longitude

Methods

def :: Longitude

Group Longitude

Methods

invert :: Longitude -> Longitude

pow :: Integral x => Longitude -> x -> Longitude

Angular Longitude

Methods

toAngle :: Longitude -> Angle

Vector Vector Longitude

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Longitude -> m (Vector Longitude)

basicUnsafeThaw :: PrimMonad m => Vector Longitude -> m (Mutable Vector (PrimState m) Longitude)

basicLength :: Vector Longitude -> Int

basicUnsafeSlice :: Int -> Int -> Vector Longitude -> Vector Longitude

basicUnsafeIndexM :: Monad m => Vector Longitude -> Int -> m Longitude

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Longitude -> Vector Longitude -> m ()

elemseq :: Vector Longitude -> Longitude -> b -> b

MVector MVector Longitude

Methods

basicLength :: MVector s Longitude -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Longitude -> MVector s Longitude

basicOverlaps :: MVector s Longitude -> MVector s Longitude -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Longitude)

basicInitialize :: PrimMonad m => MVector (PrimState m) Longitude -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Longitude -> m (MVector (PrimState m) Longitude)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Longitude -> Int -> m Longitude

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Longitude -> Int -> Longitude -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Longitude -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Longitude -> Longitude -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Longitude -> MVector (PrimState m) Longitude -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Longitude -> MVector (PrimState m) Longitude -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Longitude -> Int -> m (MVector (PrimState m) Longitude)

data Vector Longitude

data Vector Longitude = LongV (Vector Angle)

data MVector s Longitude

data MVector s Longitude = MLongV (MVector s Angle)

east :: Angle -> Longitude

Convert angle to an eastern longitude.

kanpurLongitude = east $ degree 80.3461

west :: Angle -> Longitude

Convert angle to a western longitude

newyorkLongitude = west $ degree 74.0059

lon :: Angle -> Longitude

Convert angles to longitude.

greenwich :: Longitude

The zero longitude.