{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE FlexibleInstances #-}

module Data.Aviation.Units.Thouinches(
  Thouinches(thouinches)
) where

import Control.Category(id)
import Control.Lens(Iso')
import Prelude(Rational)

class Thouinches a where
  thouinches ::
    Iso' Rational a

instance Thouinches Rational where
  thouinches :: p Rational (f Rational) -> p Rational (f Rational)
thouinches =
    p Rational (f Rational) -> p Rational (f Rational)
forall k (cat :: k -> k -> *) (a :: k). Category cat => cat a a
id