{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TemplateHaskell #-}

module Data.Geodetic.HasDoubles(
  HasDoubles(..)
) where

import Control.Category(id)
import Control.Lens(Traversal')
import Prelude(Double)

class HasDoubles a where
  doubles ::
    Traversal' a Double

instance HasDoubles Double where
  doubles =
    id