packages feed

aviation-units-0.0.2: src/Data/Aviation/Units/Kilograms.hs

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

module Data.Aviation.Units.Kilograms(
  Kilograms(kilograms)
) where

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

class Kilograms a where
  kilograms ::
    Iso' Rational a

instance Kilograms Rational where
  kilograms =
    id