Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data DegreesLongitude
- class AsDegreesLongitude p f s where
- _DegreesLongitude :: Optic' p f s DegreesLongitude
- modDegreesLongitude :: Int -> DegreesLongitude
Documentation
data DegreesLongitude Source
Eq DegreesLongitude Source | |
Ord DegreesLongitude Source | |
Show DegreesLongitude Source | |
AsDegreesLongitude p f DegreesLongitude Source | |
(Choice p, Applicative f) => AsCoordinate p f (Double, (DegreesLongitude, Minutes, Seconds)) Source | |
(Profunctor p, Functor f) => AsCoordinate p f ((DegreesLongitude, Minutes, Seconds), (DegreesLatitude, Minutes, Seconds)) Source | |
(Profunctor p, Functor f) => AsCoordinate p f ((DegreesLatitude, Minutes, Seconds), (DegreesLongitude, Minutes, Seconds)) Source | |
(Profunctor p, Functor f) => AsCoordinate p f ((DegreesLongitude, Minutes, Seconds), Latitude) Source | |
(Profunctor p, Functor f) => AsCoordinate p f (Latitude, (DegreesLongitude, Minutes, Seconds)) Source | |
(Profunctor p, Functor f) => AsLongitude p f (DegreesLongitude, Minutes, Seconds) Source | An isomorphism on the triple of degrees longitude, minutes, seconds to a longitude.
|
class AsDegreesLongitude p f s where Source
Nothing
_DegreesLongitude :: Optic' p f s DegreesLongitude Source
(Choice p, Applicative f) => AsDegreesLongitude p f Int Source | A prism on degrees longitude to an integer between -180 and 180 exclusive.
all (\m -> _DegreesLongitude # m == (n :: Int)) (n ^? _DegreesLongitude) |
AsDegreesLongitude p f DegreesLongitude Source | |
((~) (* -> * -> *) p (->), Functor f) => AsDegreesLongitude p f Longitude Source | |
((~) (* -> * -> *) p (->), Functor f) => AsDegreesLongitude p f Coordinate Source |
modDegreesLongitude :: Int -> DegreesLongitude Source
Setting a value >= 180
will get that value (
.rem
180)
>>>
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