convert-units-0.1: Statically typed unit conversions
Copyright(c) Alice Rixte 2025
LicenseBSD 3
Maintaineralice.rixte@u-bordeaux.fr
Stabilityunstable
Portabilitynon-portable (GHC extensions)
Safe HaskellNone
LanguageGHC2024

Data.Units.AngleSI.Derived

Description

This module defines SI derived units that use angles, where angles have a dimension A.

See Data.Units.SI.Derived.Angle for an equivalent of this where angles are dimensionless.

Synopsis

Documentation

module Data.Units.SI.Derived.NonAngle

type SolidAngle = Angle .^+ 2 Source #

Solid angle quantity.

newtype Steradian a Source #

A solid angle in steradians.

Constructors

Steradian a 

Instances

Instances details
IsUnit Steradian Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Associated Types

type DimOf Steradian 
Instance details

Defined in Data.Units.AngleSI.Derived

type DimOf Steradian = SolidAngle
ShowUnit Steradian Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Associated Types

type ShowUnitType Steradian 
Instance details

Defined in Data.Units.AngleSI.Derived

type ShowUnitType Steradian = 'Text "sr"

Methods

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

Fractional a => ConversionFactor Steradian a Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Steradian a Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

toBaseUnit :: Steradian a -> BaseUnitOf Steradian a Source #

fromBaseUnit :: BaseUnitOf Steradian a -> Steradian a Source #

Floating a => Floating (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

pi :: Steradian a #

exp :: Steradian a -> Steradian a #

log :: Steradian a -> Steradian a #

sqrt :: Steradian a -> Steradian a #

(**) :: Steradian a -> Steradian a -> Steradian a #

logBase :: Steradian a -> Steradian a -> Steradian a #

sin :: Steradian a -> Steradian a #

cos :: Steradian a -> Steradian a #

tan :: Steradian a -> Steradian a #

asin :: Steradian a -> Steradian a #

acos :: Steradian a -> Steradian a #

atan :: Steradian a -> Steradian a #

sinh :: Steradian a -> Steradian a #

cosh :: Steradian a -> Steradian a #

tanh :: Steradian a -> Steradian a #

asinh :: Steradian a -> Steradian a #

acosh :: Steradian a -> Steradian a #

atanh :: Steradian a -> Steradian a #

log1p :: Steradian a -> Steradian a #

expm1 :: Steradian a -> Steradian a #

log1pexp :: Steradian a -> Steradian a #

log1mexp :: Steradian a -> Steradian a #

RealFloat a => RealFloat (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

floatRadix :: Steradian a -> Integer #

floatDigits :: Steradian a -> Int #

floatRange :: Steradian a -> (Int, Int) #

decodeFloat :: Steradian a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Steradian a #

exponent :: Steradian a -> Int #

significand :: Steradian a -> Steradian a #

scaleFloat :: Int -> Steradian a -> Steradian a #

isNaN :: Steradian a -> Bool #

isInfinite :: Steradian a -> Bool #

isDenormalized :: Steradian a -> Bool #

isNegativeZero :: Steradian a -> Bool #

isIEEE :: Steradian a -> Bool #

atan2 :: Steradian a -> Steradian a -> Steradian a #

Num a => Num (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(+) :: Steradian a -> Steradian a -> Steradian a #

(-) :: Steradian a -> Steradian a -> Steradian a #

(*) :: Steradian a -> Steradian a -> Steradian a #

negate :: Steradian a -> Steradian a #

abs :: Steradian a -> Steradian a #

signum :: Steradian a -> Steradian a #

fromInteger :: Integer -> Steradian a #

Fractional a => Fractional (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(/) :: Steradian a -> Steradian a -> Steradian a #

recip :: Steradian a -> Steradian a #

fromRational :: Rational -> Steradian a #

Real a => Real (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

toRational :: Steradian a -> Rational #

RealFrac a => RealFrac (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

properFraction :: Integral b => Steradian a -> (b, Steradian a) #

truncate :: Integral b => Steradian a -> b #

round :: Integral b => Steradian a -> b #

ceiling :: Integral b => Steradian a -> b #

floor :: Integral b => Steradian a -> b #

Show a => Show (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

showsPrec :: Int -> Steradian a -> ShowS #

show :: Steradian a -> String #

showList :: [Steradian a] -> ShowS #

Eq a => Eq (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(==) :: Steradian a -> Steradian a -> Bool #

(/=) :: Steradian a -> Steradian a -> Bool #

Ord a => Ord (Steradian a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

compare :: Steradian a -> Steradian a -> Ordering #

(<) :: Steradian a -> Steradian a -> Bool #

(<=) :: Steradian a -> Steradian a -> Bool #

(>) :: Steradian a -> Steradian a -> Bool #

(>=) :: Steradian a -> Steradian a -> Bool #

max :: Steradian a -> Steradian a -> Steradian a #

min :: Steradian a -> Steradian a -> Steradian a #

type DimOf Steradian Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

type DimOf Steradian = SolidAngle
type ShowUnitType Steradian Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

type ShowUnitType Steradian = 'Text "sr"

type LuminousFlux = NormalizeDim (LuminousIntensity .*. SolidAngle) Source #

Luminous flux quantity. Equal to

 Angle.^+2 .*. LuminousIntensity

newtype Lumen a Source #

Luminous flux in lumens.

Constructors

Lumen a 

Instances

Instances details
IsUnit Lumen Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Associated Types

type DimOf Lumen 
Instance details

Defined in Data.Units.AngleSI.Derived

type DimOf Lumen = LuminousFlux
ShowUnit Lumen Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Associated Types

type ShowUnitType Lumen 
Instance details

Defined in Data.Units.AngleSI.Derived

type ShowUnitType Lumen = 'Text "lm"

Methods

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

Fractional a => ConversionFactor Lumen a Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Lumen a Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

toBaseUnit :: Lumen a -> BaseUnitOf Lumen a Source #

fromBaseUnit :: BaseUnitOf Lumen a -> Lumen a Source #

Floating a => Floating (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

pi :: Lumen a #

exp :: Lumen a -> Lumen a #

log :: Lumen a -> Lumen a #

sqrt :: Lumen a -> Lumen a #

(**) :: Lumen a -> Lumen a -> Lumen a #

logBase :: Lumen a -> Lumen a -> Lumen a #

sin :: Lumen a -> Lumen a #

cos :: Lumen a -> Lumen a #

tan :: Lumen a -> Lumen a #

asin :: Lumen a -> Lumen a #

acos :: Lumen a -> Lumen a #

atan :: Lumen a -> Lumen a #

sinh :: Lumen a -> Lumen a #

cosh :: Lumen a -> Lumen a #

tanh :: Lumen a -> Lumen a #

asinh :: Lumen a -> Lumen a #

acosh :: Lumen a -> Lumen a #

atanh :: Lumen a -> Lumen a #

log1p :: Lumen a -> Lumen a #

expm1 :: Lumen a -> Lumen a #

log1pexp :: Lumen a -> Lumen a #

log1mexp :: Lumen a -> Lumen a #

RealFloat a => RealFloat (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

floatRadix :: Lumen a -> Integer #

floatDigits :: Lumen a -> Int #

floatRange :: Lumen a -> (Int, Int) #

decodeFloat :: Lumen a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Lumen a #

exponent :: Lumen a -> Int #

significand :: Lumen a -> Lumen a #

scaleFloat :: Int -> Lumen a -> Lumen a #

isNaN :: Lumen a -> Bool #

isInfinite :: Lumen a -> Bool #

isDenormalized :: Lumen a -> Bool #

isNegativeZero :: Lumen a -> Bool #

isIEEE :: Lumen a -> Bool #

atan2 :: Lumen a -> Lumen a -> Lumen a #

Num a => Num (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(+) :: Lumen a -> Lumen a -> Lumen a #

(-) :: Lumen a -> Lumen a -> Lumen a #

(*) :: Lumen a -> Lumen a -> Lumen a #

negate :: Lumen a -> Lumen a #

abs :: Lumen a -> Lumen a #

signum :: Lumen a -> Lumen a #

fromInteger :: Integer -> Lumen a #

Fractional a => Fractional (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(/) :: Lumen a -> Lumen a -> Lumen a #

recip :: Lumen a -> Lumen a #

fromRational :: Rational -> Lumen a #

Real a => Real (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

toRational :: Lumen a -> Rational #

RealFrac a => RealFrac (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

properFraction :: Integral b => Lumen a -> (b, Lumen a) #

truncate :: Integral b => Lumen a -> b #

round :: Integral b => Lumen a -> b #

ceiling :: Integral b => Lumen a -> b #

floor :: Integral b => Lumen a -> b #

Show a => Show (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

showsPrec :: Int -> Lumen a -> ShowS #

show :: Lumen a -> String #

showList :: [Lumen a] -> ShowS #

Eq a => Eq (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(==) :: Lumen a -> Lumen a -> Bool #

(/=) :: Lumen a -> Lumen a -> Bool #

Ord a => Ord (Lumen a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

compare :: Lumen a -> Lumen a -> Ordering #

(<) :: Lumen a -> Lumen a -> Bool #

(<=) :: Lumen a -> Lumen a -> Bool #

(>) :: Lumen a -> Lumen a -> Bool #

(>=) :: Lumen a -> Lumen a -> Bool #

max :: Lumen a -> Lumen a -> Lumen a #

min :: Lumen a -> Lumen a -> Lumen a #

type DimOf Lumen Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

type DimOf Lumen = LuminousFlux
type ShowUnitType Lumen Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

type ShowUnitType Lumen = 'Text "lm"

type Illuminance = NormalizeDim (LuminousFlux ./. Area) Source #

Illuminance quantity. Equal to

 Angle.^+2 .*. Length.^-2 .*. LuminousIntensity

newtype Lux a Source #

Illuminance in lux.

Constructors

Lux a 

Instances

Instances details
IsUnit Lux Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Associated Types

type DimOf Lux 
Instance details

Defined in Data.Units.AngleSI.Derived

type DimOf Lux = Illuminance
ShowUnit Lux Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Associated Types

type ShowUnitType Lux 
Instance details

Defined in Data.Units.AngleSI.Derived

type ShowUnitType Lux = 'Text "lx"

Methods

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

Fractional a => ConversionFactor Lux a Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Lux a Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

toBaseUnit :: Lux a -> BaseUnitOf Lux a Source #

fromBaseUnit :: BaseUnitOf Lux a -> Lux a Source #

Floating a => Floating (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

pi :: Lux a #

exp :: Lux a -> Lux a #

log :: Lux a -> Lux a #

sqrt :: Lux a -> Lux a #

(**) :: Lux a -> Lux a -> Lux a #

logBase :: Lux a -> Lux a -> Lux a #

sin :: Lux a -> Lux a #

cos :: Lux a -> Lux a #

tan :: Lux a -> Lux a #

asin :: Lux a -> Lux a #

acos :: Lux a -> Lux a #

atan :: Lux a -> Lux a #

sinh :: Lux a -> Lux a #

cosh :: Lux a -> Lux a #

tanh :: Lux a -> Lux a #

asinh :: Lux a -> Lux a #

acosh :: Lux a -> Lux a #

atanh :: Lux a -> Lux a #

log1p :: Lux a -> Lux a #

expm1 :: Lux a -> Lux a #

log1pexp :: Lux a -> Lux a #

log1mexp :: Lux a -> Lux a #

RealFloat a => RealFloat (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

floatRadix :: Lux a -> Integer #

floatDigits :: Lux a -> Int #

floatRange :: Lux a -> (Int, Int) #

decodeFloat :: Lux a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Lux a #

exponent :: Lux a -> Int #

significand :: Lux a -> Lux a #

scaleFloat :: Int -> Lux a -> Lux a #

isNaN :: Lux a -> Bool #

isInfinite :: Lux a -> Bool #

isDenormalized :: Lux a -> Bool #

isNegativeZero :: Lux a -> Bool #

isIEEE :: Lux a -> Bool #

atan2 :: Lux a -> Lux a -> Lux a #

Num a => Num (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(+) :: Lux a -> Lux a -> Lux a #

(-) :: Lux a -> Lux a -> Lux a #

(*) :: Lux a -> Lux a -> Lux a #

negate :: Lux a -> Lux a #

abs :: Lux a -> Lux a #

signum :: Lux a -> Lux a #

fromInteger :: Integer -> Lux a #

Fractional a => Fractional (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(/) :: Lux a -> Lux a -> Lux a #

recip :: Lux a -> Lux a #

fromRational :: Rational -> Lux a #

Real a => Real (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

toRational :: Lux a -> Rational #

RealFrac a => RealFrac (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

properFraction :: Integral b => Lux a -> (b, Lux a) #

truncate :: Integral b => Lux a -> b #

round :: Integral b => Lux a -> b #

ceiling :: Integral b => Lux a -> b #

floor :: Integral b => Lux a -> b #

Show a => Show (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

showsPrec :: Int -> Lux a -> ShowS #

show :: Lux a -> String #

showList :: [Lux a] -> ShowS #

Eq a => Eq (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

(==) :: Lux a -> Lux a -> Bool #

(/=) :: Lux a -> Lux a -> Bool #

Ord a => Ord (Lux a) Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

Methods

compare :: Lux a -> Lux a -> Ordering #

(<) :: Lux a -> Lux a -> Bool #

(<=) :: Lux a -> Lux a -> Bool #

(>) :: Lux a -> Lux a -> Bool #

(>=) :: Lux a -> Lux a -> Bool #

max :: Lux a -> Lux a -> Lux a #

min :: Lux a -> Lux a -> Lux a #

type DimOf Lux Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

type DimOf Lux = Illuminance
type ShowUnitType Lux Source # 
Instance details

Defined in Data.Units.AngleSI.Derived

type ShowUnitType Lux = 'Text "lx"