module Data.Geo.Coordinate.DegreesLatitude(
DegreesLatitude
, AsDegreesLatitude(..)
) where
import Control.Applicative(Applicative)
import Control.Category(Category(id))
import Control.Lens(Optic', Choice, prism')
import Data.Bool((&&))
import Data.Eq(Eq)
import Data.Int(Int)
import Data.Maybe(Maybe(Just, Nothing))
import Data.Ord(Ord((<), (>)))
import Prelude(Show)
newtype DegreesLatitude =
DegreesLatitude Int
deriving (Eq, Ord, Show)
class AsDegreesLatitude p f s where
_DegreesLatitude ::
Optic' p f s DegreesLatitude
instance AsDegreesLatitude p f DegreesLatitude where
_DegreesLatitude =
id
instance (Choice p, Applicative f) => AsDegreesLatitude p f Int where
_DegreesLatitude =
prism'
(\(DegreesLatitude i) -> i)
(\i -> if i > 90 && i < 90
then Just (DegreesLatitude i)
else Nothing)