Data.Geo.Coordinate.Seconds

Documentation

data Seconds

Instances

Eq Seconds

Ord Seconds

Show Seconds

A show instance that prints to 4 decimal places. This is to take floating-point rounding errors into account.

HasSeconds Seconds

class HasSeconds t where

Methods

seconds :: Lens' t Seconds

Instances

HasSeconds Seconds

HasSeconds Longitude

HasSeconds Latitude

modSeconds :: Double -> Seconds

Construct seconds such that if the given value is out of bounds, a modulus is taken to keep it within 0 inclusive and 60 exclusive.

>>> modSeconds 7
Seconds 7.0000

>>> modSeconds 0
Seconds 0.0000

>>> modSeconds (-0.0001)
Seconds 59.9999

>>> modSeconds 60
Seconds 0.0000

>>> modSeconds 59.99999
Seconds 60.0000

>>> modSeconds 59.999
Seconds 59.9990

nSeconds :: Prism' Double Seconds

A prism on seconds to a double between 0 inclusive and 60 exclusive.

>>> 7 ^? nSeconds
Just (Seconds 7.0000)

>>> 0 ^? nSeconds
Just (Seconds 0.0000)

>>> 59 ^? nSeconds
Just (Seconds 59.0000)

>>> 59.99 ^? nSeconds
Just (Seconds 59.9900)

>>> 60 ^? nSeconds
Nothing

all (\m -> nSeconds # m == n) (n ^? nSeconds)