content: {- Data/Metrology/Internal.hs
  
     The units Package
     Copyright (c) 2013 Richard Eisenberg
     rae@cs.brynmawr.edu
  
     This file gathers and exports user-visible type-level definitions, to
     make error messages less cluttered. Non-expert users should never have
     to use the definitions exported from this module.
  -}
  
  -----------------------------------------------------------------------------
  -- |
  -- Module      :  Data.Metrology.Internal
  -- Copyright   :  (C) 2013 Richard Eisenberg
  -- License     :  BSD-style (see LICENSE)
  -- Maintainer  :  Richard Eisenberg (rae@cs.brynmawr.edu)
  -- Stability   :  experimental
  -- Portability :  non-portable
  --
  -- This file gathers and exports user-visible type-level definitions, to make
  -- error messages less cluttered. Non-expert users should never have to use
  -- the definitions exported from this module.
  --
  -----------------------------------------------------------------------------
  
  {-# LANGUAGE ExplicitNamespaces #-}
  
  module Data.Metrology.Internal (
    -- * LCSU lookup
    Lookup, LookupList,
  
    -- * Validity checking
    ConvertibleLCSUs, ValidDLU, ValidDL, type (*~), CanonicalUnitsOfFactors,
  
    -- * Manipulating units
    DimOfUnitIsConsistent, IsCanonical,
    CanonicalUnit, CanonicalUnit', BaseHasConvRatio,
    UnitFactor, UnitFactorsOf,
  
    -- * Maniuplating dimension specifications
    module Data.Metrology.Factor,
  
    -- * Set operations on lists
    module Data.Metrology.Set,
  
    -- * Dimensions
    DimFactorsOf
    ) where
  
  import Data.Metrology.LCSU
  import Data.Metrology.Validity
  import Data.Metrology.Units
  import Data.Metrology.Factor
  import Data.Metrology.Set
  import Data.Metrology.Dimensions
  