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	Haskell2010

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.

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]