Safe Haskell | None |
---|
- data DegreesLatitude
- class HasDegreesLatitude t where
- nDegreesLatitude :: Prism' Int DegreesLatitude
Documentation
data DegreesLatitude Source
class HasDegreesLatitude t whereSource
nDegreesLatitude :: Prism' Int DegreesLatitudeSource
A prism on degrees latitude to an integer between -90 and 90 exclusive.
>>>
7 ^? nDegreesLatitude
Just (DegreesLatitude 7)
>>>
0 ^? nDegreesLatitude
Just (DegreesLatitude 0)
>>>
89 ^? nDegreesLatitude
Just (DegreesLatitude 89)
>>>
90 ^? nDegreesLatitude
Nothing
>>>
(-89) ^? nDegreesLatitude
Just (DegreesLatitude (-89))
>>>
(-90) ^? nDegreesLatitude
Nothing
all (\m -> nDegreesLatitude # m == n) (n ^? nDegreesLatitude)