Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- data DegreesLatitude
- class HasDegreesLatitude t where
- nDegreesLatitude :: Prism' Int DegreesLatitude
Documentation
data DegreesLatitude Source
class HasDegreesLatitude t where Source
nDegreesLatitude :: Prism' Int DegreesLatitude Source
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)