--------------------------------------------------------------------------------

-- |

--

-- Module      :  Data.Units.AngleSI.Angle

-- Description :  SI with an angle dimension @A@

-- Copyright   :  (c) Alice Rixte 2025

-- License     :  BSD 3

-- Maintainer  :  alice.rixte@u-bordeaux.fr

-- Stability   :  unstable

-- Portability :  non-portable (GHC extensions)

--

-- There is an ongoing debate about including Angle as a dimension of its own,

-- see for instance

--

-- * [On the dimension of angles and their

--   units](https://iopscience.iop.org/article/10.1088/1681-7575/ac7bc2/pdf) ,

--   Peter J Mohr /et all/, in Metrologia

-- * [Angles are inherently neither length ratios nor

--   dimensionless](https://iopscience.iop.org/article/10.1088/1681-7575/ab27d7/pdf),

--   Paul Quincey /et all/, in Metrologia

--

-- This module adds an Angle dimension to the SI system. To use dimensionless

-- angles, see "Data.Units.SI".

--

--------------------------------------------------------------------------------


module Data.Units.AngleSI
  ( module Data.Units.AngleSI.System
  , module Data.Units.AngleSI.Derived
  , module Data.Units.SI.Prefixes

  ) where

import Data.Units.AngleSI.System
import Data.Units.AngleSI.Derived
import Data.Units.SI.Prefixes