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