Copyright	(c) Alice Rixte 2025
License	BSD 3
Maintainer	alice.rixte@u-bordeaux.fr
Stability	unstable
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	GHC2024

Data.Units.AngleSI.System

Description

This module defines radians as the standard unit for the angle (`A`) dimension.

See Data.Units.SI.Angle for dimensionless radians and steradians.

Synopsis

module Data.Units.SI.System
newtype Angle a = Angle a
newtype Radian a = Radian a
normalizeRadians :: (RealFrac a, Floating a) => Radian a -> Radian a

Documentation

module Data.Units.SI.System

newtype Angle a Source #

The angle dimension, denotated A.

Constructors

Angle a

Instances

Instances details

IsDim Angle Source #

Instance details

Defined in Data.Units.AngleSI.System

Associated Types

type DimToUnit Angle
Instance details Defined in Data.Units.AngleSI.System type DimToUnit Angle = Radian

ShowDim Angle Source #

Instance details

Defined in Data.Units.AngleSI.System

Associated Types

type ShowDimType Angle
Instance details Defined in Data.Units.AngleSI.System type ShowDimType Angle = 'Text "A"

Methods

showsDimPrec :: Int -> ShowS Source #

showDim :: String Source #

prettysDimPrec :: Int -> ShowS Source #

prettyDim :: String Source #

Floating a => Floating (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

pi :: Angle a #

exp :: Angle a -> Angle a #

log :: Angle a -> Angle a #

sqrt :: Angle a -> Angle a #

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

logBase :: Angle a -> Angle a -> Angle a #

sin :: Angle a -> Angle a #

cos :: Angle a -> Angle a #

tan :: Angle a -> Angle a #

asin :: Angle a -> Angle a #

acos :: Angle a -> Angle a #

atan :: Angle a -> Angle a #

sinh :: Angle a -> Angle a #

cosh :: Angle a -> Angle a #

tanh :: Angle a -> Angle a #

asinh :: Angle a -> Angle a #

acosh :: Angle a -> Angle a #

atanh :: Angle a -> Angle a #

log1p :: Angle a -> Angle a #

expm1 :: Angle a -> Angle a #

log1pexp :: Angle a -> Angle a #

log1mexp :: Angle a -> Angle a #

RealFloat a => RealFloat (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

floatRadix :: Angle a -> Integer #

floatDigits :: Angle a -> Int #

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

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

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

exponent :: Angle a -> Int #

significand :: Angle a -> Angle a #

scaleFloat :: Int -> Angle a -> Angle a #

isNaN :: Angle a -> Bool #

isInfinite :: Angle a -> Bool #

isDenormalized :: Angle a -> Bool #

isNegativeZero :: Angle a -> Bool #

isIEEE :: Angle a -> Bool #

atan2 :: Angle a -> Angle a -> Angle a #

Num a => Num (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

(-) :: Angle a -> Angle a -> Angle a #

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

negate :: Angle a -> Angle a #

abs :: Angle a -> Angle a #

signum :: Angle a -> Angle a #

fromInteger :: Integer -> Angle a #

Fractional a => Fractional (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

recip :: Angle a -> Angle a #

fromRational :: Rational -> Angle a #

Real a => Real (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

toRational :: Angle a -> Rational #

RealFrac a => RealFrac (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

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

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

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

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

Show a => Show (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

show :: Angle a -> String #

showList :: [Angle a] -> ShowS #

Eq a => Eq (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

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

Ord a => Ord (Angle a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

compare :: Angle a -> Angle a -> Ordering #

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

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

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

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

max :: Angle a -> Angle a -> Angle a #

min :: Angle a -> Angle a -> Angle a #

type DimId Angle Source #

Instance details

Defined in Data.Units.AngleSI.System

type DimId Angle = 'Pos 1000

type DimToUnit Angle Source #

Instance details

Defined in Data.Units.AngleSI.System

type DimToUnit Angle = Radian

type ShowDimType Angle Source #

Instance details

Defined in Data.Units.AngleSI.System

type ShowDimType Angle = 'Text "A"

newtype Radian a Source #

An angle in radians.

This is the base unit of the angle dimension.

Constructors

Radian a

Instances

Instances details

IsUnit Radian Source #

Instance details

Defined in Data.Units.AngleSI.System

Associated Types

type DimOf Radian
Instance details Defined in Data.Units.AngleSI.System type DimOf Radian = Angle

ShowUnit Radian Source #

Instance details

Defined in Data.Units.AngleSI.System

Associated Types

type ShowUnitType Radian
Instance details Defined in Data.Units.AngleSI.System type ShowUnitType Radian = 'Text "rad"

Methods

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

Fractional a => ConversionFactor Radian a Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Radian a Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

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

Floating a => Floating (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

pi :: Radian a #

exp :: Radian a -> Radian a #

log :: Radian a -> Radian a #

sqrt :: Radian a -> Radian a #

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

logBase :: Radian a -> Radian a -> Radian a #

sin :: Radian a -> Radian a #

cos :: Radian a -> Radian a #

tan :: Radian a -> Radian a #

asin :: Radian a -> Radian a #

acos :: Radian a -> Radian a #

atan :: Radian a -> Radian a #

sinh :: Radian a -> Radian a #

cosh :: Radian a -> Radian a #

tanh :: Radian a -> Radian a #

asinh :: Radian a -> Radian a #

acosh :: Radian a -> Radian a #

atanh :: Radian a -> Radian a #

log1p :: Radian a -> Radian a #

expm1 :: Radian a -> Radian a #

log1pexp :: Radian a -> Radian a #

log1mexp :: Radian a -> Radian a #

RealFloat a => RealFloat (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

floatRadix :: Radian a -> Integer #

floatDigits :: Radian a -> Int #

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

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

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

exponent :: Radian a -> Int #

significand :: Radian a -> Radian a #

scaleFloat :: Int -> Radian a -> Radian a #

isNaN :: Radian a -> Bool #

isInfinite :: Radian a -> Bool #

isDenormalized :: Radian a -> Bool #

isNegativeZero :: Radian a -> Bool #

isIEEE :: Radian a -> Bool #

atan2 :: Radian a -> Radian a -> Radian a #

Num a => Num (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

(-) :: Radian a -> Radian a -> Radian a #

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

negate :: Radian a -> Radian a #

abs :: Radian a -> Radian a #

signum :: Radian a -> Radian a #

fromInteger :: Integer -> Radian a #

Fractional a => Fractional (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

recip :: Radian a -> Radian a #

fromRational :: Rational -> Radian a #

Real a => Real (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

toRational :: Radian a -> Rational #

RealFrac a => RealFrac (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

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

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

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

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

Show a => Show (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

show :: Radian a -> String #

showList :: [Radian a] -> ShowS #

Eq a => Eq (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

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

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

Ord a => Ord (Radian a) Source #

Instance details

Defined in Data.Units.AngleSI.System

Methods

compare :: Radian a -> Radian a -> Ordering #

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

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

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

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

max :: Radian a -> Radian a -> Radian a #

min :: Radian a -> Radian a -> Radian a #

type DimOf Radian Source #

Instance details

Defined in Data.Units.AngleSI.System

type DimOf Radian = Angle

type ShowUnitType Radian Source #

Instance details

Defined in Data.Units.AngleSI.System

type ShowUnitType Radian = 'Text "rad"

normalizeRadians :: (RealFrac a, Floating a) => Radian a -> Radian a Source #

Normalize an angle to the range ]-pi, pi]