Data.Geo.Coordinate.Latitude

Documentation

data Latitude

Instances

Eq Latitude

Ord Latitude

Show Latitude

((~) (* -> * -> *) p (->), Functor f) => AsSeconds p f Latitude

((~) (* -> * -> *) p (->), Functor f) => AsMinutes p f Latitude

((~) (* -> * -> *) p (->), Functor f) => AsDegreesLatitude p f Latitude

AsLatitude p f Latitude

(Choice p, Applicative f) => AsCoordinate p f (Latitude, Double)

(Profunctor p, Functor f) => AsCoordinate p f ((DegreesLongitude, Minutes, Seconds), Latitude)

(Profunctor p, Functor f) => AsCoordinate p f (Latitude, (DegreesLongitude, Minutes, Seconds))

(Profunctor p, Functor f) => AsCoordinate p f (Longitude, Latitude)

(Profunctor p, Functor f) => AsCoordinate p f (Latitude, Longitude)

class AsLatitude p f s where

Minimal complete definition

Nothing

Methods

_Latitude :: Optic' p f s Latitude

Instances

(Choice p, Applicative f) => AsLatitude p f Double

A prism on latitude to a double between -90 and 90 exclusive.

>>> (7 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 7) (Minutes 0) (Seconds 0.0000))

>>> (-7 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude (-7)) (Minutes 0) (Seconds 0.0000))

>>> (7.12 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 7) (Minutes 7) (Seconds 12.0000))

>>> (-7.12 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude (-7)) (Minutes 7) (Seconds 12.0000))

>>> fmap (\x -> _Latitude # x :: Double) ((7.12 :: Double) ^? _Latitude :: Maybe Latitude)
Just 7.12

>>> fmap (\x -> _Latitude # x :: Double) ((-7.12 :: Double) ^? _Latitude :: Maybe Latitude)
Just (-7.12)

>>> (90 :: Double) ^? _Latitude :: Maybe Latitude
Nothing

>>> (-90 :: Double) ^? _Latitude :: Maybe Latitude
Nothing

>>> (15.63791 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 15) (Minutes 38) (Seconds 16.4760))

>>> (89.1 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 89) (Minutes 5) (Seconds 60.0000))

>>> (89.2 :: Double) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 89) (Minutes 12) (Seconds 0.0000))

>>> fmap (\x -> _Latitude # x :: Double) (do deg <- (7 :: Int) ^? _DegreesLatitude; min <- (7 :: Int) ^? _Minutes; sec <- (7 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude)
Just 7.118611111111111

>>> fmap (\x -> _Latitude # x  :: Double) (do deg <- (89 :: Int) ^? _DegreesLatitude; min <- (15 :: Int) ^? _Minutes; sec <- (6 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude)
Just 89.25166666666667

AsLatitude p f Latitude

((~) (* -> * -> *) p (->), Functor f) => AsLatitude p f Coordinate

(Profunctor p, Functor f) => AsLatitude p f (DegreesLatitude, Minutes, Seconds)

An isomorphism on the triple of degrees latitude, minutes, seconds to a latitude.

>>> do deg <- (7 :: Int) ^? _DegreesLatitude; min <- (7 :: Int) ^? _Minutes; sec <- (7 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 7) (Minutes 7) (Seconds 7.0000))

>>> do deg <- (89 :: Int) ^? _DegreesLatitude; min <- (59 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude 89) (Minutes 59) (Seconds 59.0000))

>>> do deg <- (-7 :: Int) ^? _DegreesLatitude; min <- (7 :: Int) ^? _Minutes; sec <- (7 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude (-7)) (Minutes 7) (Seconds 7.0000))

>>> do deg <- (-89 :: Int) ^? _DegreesLatitude; min <- (59 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Just (Latitude (DegreesLatitude (-89)) (Minutes 59) (Seconds 59.0000))

>>> do deg <- (90 :: Int) ^? _DegreesLatitude; min <- (59 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Nothing

>>> do deg <- (89 :: Int) ^? _DegreesLatitude; min <- (60 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Nothing

>>> do deg <- (89 :: Int) ^? _DegreesLatitude; min <- (59 :: Int) ^? _Minutes; sec <- (60 :: Double) ^? _Seconds; (deg, min, sec) ^? _Latitude :: Maybe Latitude
Nothing

>>> fmap (\x -> _Latitude # x :: (DegreesLatitude, Minutes, Seconds))  ((7 :: Double) ^? _Latitude :: Maybe Latitude)
Just (DegreesLatitude 7,Minutes 0,Seconds 0.0000)

>>> fmap (\x -> _Latitude # x :: (DegreesLatitude, Minutes, Seconds))  ((7.12 :: Double) ^? _Latitude :: Maybe Latitude)
Just (DegreesLatitude 7,Minutes 7,Seconds 12.0000)

modLatitude :: Int -> Int -> Double -> Latitude

Setting a latitude using modulo arithmetic.

>>> modLatitude 20 20 20
Latitude (DegreesLatitude 20) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 20 20 (-20)
Latitude (DegreesLatitude 20) (Minutes 19) (Seconds 40.0000)

>>> modLatitude 20 20 80
Latitude (DegreesLatitude 20) (Minutes 21) (Seconds 20.0000)

>>> modLatitude 20 80 20
Latitude (DegreesLatitude 21) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 20 80 80
Latitude (DegreesLatitude 21) (Minutes 21) (Seconds 20.0000)

>>> modLatitude 20 80 (-20)
Latitude (DegreesLatitude 21) (Minutes 19) (Seconds 40.0000)

>>> modLatitude 110 20 20
Latitude (DegreesLatitude (-70)) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 110 20 80
Latitude (DegreesLatitude (-70)) (Minutes 21) (Seconds 20.0000)

>>> modLatitude 110 80 20
Latitude (DegreesLatitude (-69)) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 110 20 (-20)
Latitude (DegreesLatitude (-70)) (Minutes 19) (Seconds 40.0000)

>>> modLatitude 110 (-20) (-20)
Latitude (DegreesLatitude (-71)) (Minutes 39) (Seconds 40.0000)

>>> modLatitude 110 (-80) (-20)
Latitude (DegreesLatitude (-72)) (Minutes 39) (Seconds 40.0000)

>>> modLatitude 20 20 3620
Latitude (DegreesLatitude 21) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 20 20 (-3580)
Latitude (DegreesLatitude 19) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 110 20 3620
Latitude (DegreesLatitude (-69)) (Minutes 20) (Seconds 20.0000)

>>> modLatitude 110 20 (-3580)
Latitude (DegreesLatitude (-71)) (Minutes 20) (Seconds 20.0000)

antipodeLatitude :: Iso' Latitude Latitude

The latitude that is symmetrical around the equator.

>>> fmap (\x -> antipodeLatitude # x) (do d <- (7 :: Int) ^? _DegreesLatitude; m <- (7 :: Int) ^? _Minutes; s <- (7 :: Double) ^? _Seconds; (d, m, s) ^? _Latitude :: Maybe Latitude)
Just (Latitude (DegreesLatitude (-7)) (Minutes 7) (Seconds 7.0000))