Safe Haskell	None
Language	Haskell2010

Naqsha.Position

Contents

Basics
- Latitudes
- Longitudes.

Description

This module captures position of a point on the globe.

Synopsis

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 Source #

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

Constructors

Geo !Latitude !Longitude

Instances

Eq Geo Source #
Methods (==) :: Geo -> Geo -> Bool # (/=) :: Geo -> Geo -> Bool #
Show Geo Source #
Methods showsPrec :: Int -> Geo -> ShowS # show :: Geo -> String # showList :: [Geo] -> ShowS #
Default Geo Source #
Methods def :: Geo #
Vector Vector Geo Source #
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 Source #
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 Source #
data Vector Geo = GeoV (Vector (Angle, Angle))
data MVector s Geo Source #
data MVector s Geo = MGeoV (MVector s (Angle, Angle))

northPole :: Geo Source #

The North pole

southPole :: Geo Source #

The South pole

Latitudes

data Latitude Source #

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

Instances

Bounded Latitude Source #
Methods minBound :: Latitude # maxBound :: Latitude #
Eq Latitude Source #
Methods (==) :: Latitude -> Latitude -> Bool # (/=) :: Latitude -> Latitude -> Bool #
Ord Latitude Source #
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 Source #
Methods readsPrec :: Int -> ReadS Latitude # readList :: ReadS [Latitude] # readPrec :: ReadPrec Latitude # readListPrec :: ReadPrec [Latitude] #
Show Latitude Source #
Methods showsPrec :: Int -> Latitude -> ShowS # show :: Latitude -> String # showList :: [Latitude] -> ShowS #
Default Latitude Source #
Methods def :: Latitude #
Angular Latitude Source #
Methods toAngle :: Latitude -> Angle Source #
Vector Vector Latitude Source #
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 Source #
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 Source #
data Vector Latitude = LatV (Vector Angle)
data MVector s Latitude Source #
data MVector s Latitude = MLatV (MVector s Angle)

north :: Angle -> Latitude Source #

Convert an angle to a northern latitude

tropicOfCancer = north $ degree 23.5

south :: Angle -> Latitude Source #

Convert an angle to a southern latitude.

 tropicOfCapricon = south $ degree 23.5

lat :: Angle -> Latitude Source #

Construct latitude out of an angle.

equator :: Latitude Source #

The latitude of equator.

tropicOfCancer :: Latitude Source #

The latitude corresponding to the Tropic of Cancer.

tropicOfCapricon :: Latitude Source #

The latitude corresponding to the Tropic of Capricon

Longitudes.

data Longitude Source #

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

Instances

Bounded Longitude Source #
Methods minBound :: Longitude # maxBound :: Longitude #
Eq Longitude Source #
Methods (==) :: Longitude -> Longitude -> Bool # (/=) :: Longitude -> Longitude -> Bool #
Ord Longitude Source #
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 Source #
Methods readsPrec :: Int -> ReadS Longitude # readList :: ReadS [Longitude] # readPrec :: ReadPrec Longitude # readListPrec :: ReadPrec [Longitude] #
Show Longitude Source #
Methods showsPrec :: Int -> Longitude -> ShowS # show :: Longitude -> String # showList :: [Longitude] -> ShowS #
Monoid Longitude Source #
Methods mempty :: Longitude # mappend :: Longitude -> Longitude -> Longitude # mconcat :: [Longitude] -> Longitude #
Default Longitude Source #
Methods def :: Longitude #
Group Longitude Source #
Methods invert :: Longitude -> Longitude # pow :: Integral x => Longitude -> x -> Longitude #
Angular Longitude Source #
Methods toAngle :: Longitude -> Angle Source #
Vector Vector Longitude Source #
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 Source #
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 Source #
data Vector Longitude = LongV (Vector Angle)
data MVector s Longitude Source #
data MVector s Longitude = MLongV (MVector s Angle)

east :: Angle -> Longitude Source #

Convert angle to an eastern longitude.

kanpurLongitude = east $ degree 80.3461

west :: Angle -> Longitude Source #

Convert angle to a western longitude

newyorkLongitude = west $ degree 74.0059

lon :: Angle -> Longitude Source #

Convert angles to longitude.

greenwich :: Longitude Source #

The zero longitude.