Data.Geo.Coordinate.DegreesLongitude

Documentation

data DegreesLongitude

Instances

Eq DegreesLongitude

Ord DegreesLongitude

Show DegreesLongitude

AsDegreesLongitude p f DegreesLongitude

(Choice p, Applicative f) => AsCoordinate p f (Double, (DegreesLongitude, Minutes, Seconds))

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

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

(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) => AsLongitude p f (DegreesLongitude, Minutes, Seconds)

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

>>> do deg <- (7 :: Int) ^? _DegreesLongitude; min <- (7 :: Int) ^? _Minutes; sec <- (7 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Just (Longitude (DegreesLongitude 7) (Minutes 7) (Seconds 7.0000))

>>> do deg <- (179 :: Int) ^? _DegreesLongitude; min <- (59 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Just (Longitude (DegreesLongitude 179) (Minutes 59) (Seconds 59.0000))

>>> do deg <- (-7 :: Int) ^? _DegreesLongitude; min <- (7 :: Int) ^? _Minutes; sec <- (7 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Just (Longitude (DegreesLongitude (-7)) (Minutes 7) (Seconds 7.0000))

>>> do deg <- (-179 :: Int) ^? _DegreesLongitude; min <- (59 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Just (Longitude (DegreesLongitude (-179)) (Minutes 59) (Seconds 59.0000))

>>> do deg <- (180 :: Int) ^? _DegreesLongitude; min <- (59 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Nothing

>>> do deg <- (179 :: Int) ^? _DegreesLongitude; min <- (60 :: Int) ^? _Minutes; sec <- (59 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Nothing

>>> do deg <- (179 :: Int) ^? _DegreesLongitude; min <- (59 :: Int) ^? _Minutes; sec <- (60 :: Double) ^? _Seconds; (deg, min, sec) ^? _Longitude :: Maybe Longitude
Nothing

>>> fmap (\x -> _Longitude # x :: (DegreesLongitude, Minutes, Seconds))  ((7 :: Double) ^? _Longitude :: Maybe Longitude)
Just (DegreesLongitude 7,Minutes 0,Seconds 0.0000)

>>> fmap (\x -> _Longitude # x :: (DegreesLongitude, Minutes, Seconds))  ((7.12 :: Double) ^? _Longitude :: Maybe Longitude)
Just (DegreesLongitude 7,Minutes 7,Seconds 12.0000)

class AsDegreesLongitude p f s where

Minimal complete definition

Nothing

Methods

_DegreesLongitude :: Optic' p f s DegreesLongitude

Instances

(Choice p, Applicative f) => AsDegreesLongitude p f Int

A prism on degrees longitude to an integer between -180 and 180 exclusive.

>>> (7 :: Int) ^? _DegreesLongitude
Just (DegreesLongitude 7)

>>> (0 :: Int) ^? _DegreesLongitude
Just (DegreesLongitude 0)

>>> (179 :: Int) ^? _DegreesLongitude
Just (DegreesLongitude 179)

>>> (180 :: Int) ^? _DegreesLongitude
Nothing

>>> (-179 :: Int) ^? _DegreesLongitude
Just (DegreesLongitude (-179))

>>> (-180 :: Int) ^? _DegreesLongitude
Nothing

all (\m -> _DegreesLongitude # m == (n :: Int)) (n ^? _DegreesLongitude)

AsDegreesLongitude p f DegreesLongitude

((~) (* -> * -> *) p (->), Functor f) => AsDegreesLongitude p f Longitude

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

modDegreesLongitude :: Int -> DegreesLongitude

Setting a value within the range -180 and 180 using modulo arithmetic.

>>> modDegreesLongitude 7
DegreesLongitude 7

>>> modDegreesLongitude 0
DegreesLongitude 0

>>> modDegreesLongitude 180
DegreesLongitude 180

>>> modDegreesLongitude (-180)
DegreesLongitude (-180)

>>> modDegreesLongitude 1
DegreesLongitude 1

>>> modDegreesLongitude 179
DegreesLongitude 179 

>>> modDegreesLongitude 181
DegreesLongitude (-179)

>>> modDegreesLongitude (-181)
DegreesLongitude 179

>>> modDegreesLongitude 600
DegreesLongitude (-120)

>>> modDegreesLongitude (-600)
DegreesLongitude 120

antipodeDegreesLongitude :: Iso' DegreesLongitude DegreesLongitude

The degrees longitude that is symmetrical around the prime meridian.

>>> antipodeDegreesLongitude # modDegreesLongitude 30
DegreesLongitude (-30)

>>> antipodeDegreesLongitude # modDegreesLongitude 100
DegreesLongitude (-100)

>>> antipodeDegreesLongitude # modDegreesLongitude 190
DegreesLongitude 170

>>> antipodeDegreesLongitude # modDegreesLongitude 0
DegreesLongitude 0