Documentation

Fractional a => PrefixFactor Quecto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Quecto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Quecto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Quecto u0) = DimOf (MetaPrefix Quecto u0)

ShowUnit u => ShowUnit (Quecto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Quecto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Quecto u) = ShowUnitType (MetaPrefix Quecto u)

Methods

ConversionFactor u a => ConversionFactor (Quecto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Quecto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Quecto u a -> BaseUnitOf (Quecto u) a Source #

fromBaseUnit :: BaseUnitOf (Quecto u) a -> Quecto u a Source #

Floating (u a) => Floating (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Quecto u a #

exp :: Quecto u a -> Quecto u a #

log :: Quecto u a -> Quecto u a #

sqrt :: Quecto u a -> Quecto u a #

(**) :: Quecto u a -> Quecto u a -> Quecto u a #

logBase :: Quecto u a -> Quecto u a -> Quecto u a #

sin :: Quecto u a -> Quecto u a #

cos :: Quecto u a -> Quecto u a #

tan :: Quecto u a -> Quecto u a #

asin :: Quecto u a -> Quecto u a #

acos :: Quecto u a -> Quecto u a #

atan :: Quecto u a -> Quecto u a #

sinh :: Quecto u a -> Quecto u a #

cosh :: Quecto u a -> Quecto u a #

tanh :: Quecto u a -> Quecto u a #

asinh :: Quecto u a -> Quecto u a #

acosh :: Quecto u a -> Quecto u a #

atanh :: Quecto u a -> Quecto u a #

log1p :: Quecto u a -> Quecto u a #

expm1 :: Quecto u a -> Quecto u a #

log1pexp :: Quecto u a -> Quecto u a #

log1mexp :: Quecto u a -> Quecto u a #

RealFloat (u a) => RealFloat (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Quecto u a -> Integer #

floatDigits :: Quecto u a -> Int #

floatRange :: Quecto u a -> (Int, Int) #

decodeFloat :: Quecto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Quecto u a #

exponent :: Quecto u a -> Int #

significand :: Quecto u a -> Quecto u a #

scaleFloat :: Int -> Quecto u a -> Quecto u a #

isNaN :: Quecto u a -> Bool #

isInfinite :: Quecto u a -> Bool #

isDenormalized :: Quecto u a -> Bool #

isNegativeZero :: Quecto u a -> Bool #

isIEEE :: Quecto u a -> Bool #

atan2 :: Quecto u a -> Quecto u a -> Quecto u a #

Num (u a) => Num (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Quecto u a -> Quecto u a -> Quecto u a #

(-) :: Quecto u a -> Quecto u a -> Quecto u a #

(*) :: Quecto u a -> Quecto u a -> Quecto u a #

negate :: Quecto u a -> Quecto u a #

abs :: Quecto u a -> Quecto u a #

signum :: Quecto u a -> Quecto u a #

fromInteger :: Integer -> Quecto u a #

Fractional (u a) => Fractional (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Quecto u a -> Quecto u a -> Quecto u a #

recip :: Quecto u a -> Quecto u a #

fromRational :: Rational -> Quecto u a #

Real (u a) => Real (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Quecto u a -> Rational #

RealFrac (u a) => RealFrac (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Quecto u a -> b #

round :: Integral b => Quecto u a -> b #

ceiling :: Integral b => Quecto u a -> b #

floor :: Integral b => Quecto u a -> b #

(Show a, ShowUnit u) => Show (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Quecto u a -> ShowS #

show :: Quecto u a -> String #

showList :: [Quecto u a] -> ShowS #

Eq (u a) => Eq (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Quecto u a -> Quecto u a -> Bool #

(/=) :: Quecto u a -> Quecto u a -> Bool #

Ord (u a) => Ord (Quecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Quecto u a -> Quecto u a -> Ordering #

(<) :: Quecto u a -> Quecto u a -> Bool #

(<=) :: Quecto u a -> Quecto u a -> Bool #

(>) :: Quecto u a -> Quecto u a -> Bool #

(>=) :: Quecto u a -> Quecto u a -> Bool #

max :: Quecto u a -> Quecto u a -> Quecto u a #

min :: Quecto u a -> Quecto u a -> Quecto u a #

type ShowPrefixType Quecto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Quecto = 'Text "q"

type DimOf (Quecto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Quecto u0) = DimOf (MetaPrefix Quecto u0)

type ShowUnitType (Quecto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Quecto u) = ShowUnitType (MetaPrefix Quecto u)

newtype Ronto (u :: Unit) a Source #

SI prefix for 10⁻²⁷

Constructors

Ronto (u a)

Instances

Instances details

ShowPrefix Ronto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Ronto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Ronto = 'Text "r"

Methods

Fractional a => PrefixFactor Ronto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Ronto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Ronto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Ronto u0) = DimOf (MetaPrefix Ronto u0)

ShowUnit u => ShowUnit (Ronto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Ronto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Ronto u) = ShowUnitType (MetaPrefix Ronto u)

Methods

ConversionFactor u a => ConversionFactor (Ronto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Ronto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Ronto u a -> BaseUnitOf (Ronto u) a Source #

fromBaseUnit :: BaseUnitOf (Ronto u) a -> Ronto u a Source #

Floating (u a) => Floating (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Ronto u a #

exp :: Ronto u a -> Ronto u a #

log :: Ronto u a -> Ronto u a #

sqrt :: Ronto u a -> Ronto u a #

(**) :: Ronto u a -> Ronto u a -> Ronto u a #

logBase :: Ronto u a -> Ronto u a -> Ronto u a #

sin :: Ronto u a -> Ronto u a #

cos :: Ronto u a -> Ronto u a #

tan :: Ronto u a -> Ronto u a #

asin :: Ronto u a -> Ronto u a #

acos :: Ronto u a -> Ronto u a #

atan :: Ronto u a -> Ronto u a #

sinh :: Ronto u a -> Ronto u a #

cosh :: Ronto u a -> Ronto u a #

tanh :: Ronto u a -> Ronto u a #

asinh :: Ronto u a -> Ronto u a #

acosh :: Ronto u a -> Ronto u a #

atanh :: Ronto u a -> Ronto u a #

log1p :: Ronto u a -> Ronto u a #

expm1 :: Ronto u a -> Ronto u a #

log1pexp :: Ronto u a -> Ronto u a #

log1mexp :: Ronto u a -> Ronto u a #

RealFloat (u a) => RealFloat (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Ronto u a -> Integer #

floatDigits :: Ronto u a -> Int #

floatRange :: Ronto u a -> (Int, Int) #

decodeFloat :: Ronto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Ronto u a #

exponent :: Ronto u a -> Int #

significand :: Ronto u a -> Ronto u a #

scaleFloat :: Int -> Ronto u a -> Ronto u a #

isNaN :: Ronto u a -> Bool #

isInfinite :: Ronto u a -> Bool #

isDenormalized :: Ronto u a -> Bool #

isNegativeZero :: Ronto u a -> Bool #

isIEEE :: Ronto u a -> Bool #

atan2 :: Ronto u a -> Ronto u a -> Ronto u a #

Num (u a) => Num (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Ronto u a -> Ronto u a -> Ronto u a #

(-) :: Ronto u a -> Ronto u a -> Ronto u a #

(*) :: Ronto u a -> Ronto u a -> Ronto u a #

negate :: Ronto u a -> Ronto u a #

abs :: Ronto u a -> Ronto u a #

signum :: Ronto u a -> Ronto u a #

fromInteger :: Integer -> Ronto u a #

Fractional (u a) => Fractional (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Ronto u a -> Ronto u a -> Ronto u a #

recip :: Ronto u a -> Ronto u a #

fromRational :: Rational -> Ronto u a #

Real (u a) => Real (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Ronto u a -> Rational #

RealFrac (u a) => RealFrac (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Ronto u a -> b #

round :: Integral b => Ronto u a -> b #

ceiling :: Integral b => Ronto u a -> b #

floor :: Integral b => Ronto u a -> b #

(Show a, ShowUnit u) => Show (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Ronto u a -> ShowS #

show :: Ronto u a -> String #

showList :: [Ronto u a] -> ShowS #

Eq (u a) => Eq (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Ronto u a -> Ronto u a -> Bool #

(/=) :: Ronto u a -> Ronto u a -> Bool #

Ord (u a) => Ord (Ronto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Ronto u a -> Ronto u a -> Ordering #

(<) :: Ronto u a -> Ronto u a -> Bool #

(<=) :: Ronto u a -> Ronto u a -> Bool #

(>) :: Ronto u a -> Ronto u a -> Bool #

(>=) :: Ronto u a -> Ronto u a -> Bool #

max :: Ronto u a -> Ronto u a -> Ronto u a #

min :: Ronto u a -> Ronto u a -> Ronto u a #

type ShowPrefixType Ronto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Ronto = 'Text "r"

type DimOf (Ronto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Ronto u0) = DimOf (MetaPrefix Ronto u0)

type ShowUnitType (Ronto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Ronto u) = ShowUnitType (MetaPrefix Ronto u)

newtype Yocto (u :: Unit) a Source #

SI prefix for 10⁻²⁴

Constructors

Yocto (u a)

Instances

Instances details

ShowPrefix Yocto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Yocto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Yocto = 'Text "y"

Methods

Fractional a => PrefixFactor Yocto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Yocto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Yocto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Yocto u0) = DimOf (MetaPrefix Yocto u0)

ShowUnit u => ShowUnit (Yocto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Yocto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Yocto u) = ShowUnitType (MetaPrefix Yocto u)

Methods

ConversionFactor u a => ConversionFactor (Yocto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Yocto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Yocto u a -> BaseUnitOf (Yocto u) a Source #

fromBaseUnit :: BaseUnitOf (Yocto u) a -> Yocto u a Source #

Floating (u a) => Floating (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Yocto u a #

exp :: Yocto u a -> Yocto u a #

log :: Yocto u a -> Yocto u a #

sqrt :: Yocto u a -> Yocto u a #

(**) :: Yocto u a -> Yocto u a -> Yocto u a #

logBase :: Yocto u a -> Yocto u a -> Yocto u a #

sin :: Yocto u a -> Yocto u a #

cos :: Yocto u a -> Yocto u a #

tan :: Yocto u a -> Yocto u a #

asin :: Yocto u a -> Yocto u a #

acos :: Yocto u a -> Yocto u a #

atan :: Yocto u a -> Yocto u a #

sinh :: Yocto u a -> Yocto u a #

cosh :: Yocto u a -> Yocto u a #

tanh :: Yocto u a -> Yocto u a #

asinh :: Yocto u a -> Yocto u a #

acosh :: Yocto u a -> Yocto u a #

atanh :: Yocto u a -> Yocto u a #

log1p :: Yocto u a -> Yocto u a #

expm1 :: Yocto u a -> Yocto u a #

log1pexp :: Yocto u a -> Yocto u a #

log1mexp :: Yocto u a -> Yocto u a #

RealFloat (u a) => RealFloat (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Yocto u a -> Integer #

floatDigits :: Yocto u a -> Int #

floatRange :: Yocto u a -> (Int, Int) #

decodeFloat :: Yocto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Yocto u a #

exponent :: Yocto u a -> Int #

significand :: Yocto u a -> Yocto u a #

scaleFloat :: Int -> Yocto u a -> Yocto u a #

isNaN :: Yocto u a -> Bool #

isInfinite :: Yocto u a -> Bool #

isDenormalized :: Yocto u a -> Bool #

isNegativeZero :: Yocto u a -> Bool #

isIEEE :: Yocto u a -> Bool #

atan2 :: Yocto u a -> Yocto u a -> Yocto u a #

Num (u a) => Num (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Yocto u a -> Yocto u a -> Yocto u a #

(-) :: Yocto u a -> Yocto u a -> Yocto u a #

(*) :: Yocto u a -> Yocto u a -> Yocto u a #

negate :: Yocto u a -> Yocto u a #

abs :: Yocto u a -> Yocto u a #

signum :: Yocto u a -> Yocto u a #

fromInteger :: Integer -> Yocto u a #

Fractional (u a) => Fractional (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Yocto u a -> Yocto u a -> Yocto u a #

recip :: Yocto u a -> Yocto u a #

fromRational :: Rational -> Yocto u a #

Real (u a) => Real (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Yocto u a -> Rational #

RealFrac (u a) => RealFrac (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Yocto u a -> b #

round :: Integral b => Yocto u a -> b #

ceiling :: Integral b => Yocto u a -> b #

floor :: Integral b => Yocto u a -> b #

(Show a, ShowUnit u) => Show (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Yocto u a -> ShowS #

show :: Yocto u a -> String #

showList :: [Yocto u a] -> ShowS #

Eq (u a) => Eq (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Yocto u a -> Yocto u a -> Bool #

(/=) :: Yocto u a -> Yocto u a -> Bool #

Ord (u a) => Ord (Yocto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Yocto u a -> Yocto u a -> Ordering #

(<) :: Yocto u a -> Yocto u a -> Bool #

(<=) :: Yocto u a -> Yocto u a -> Bool #

(>) :: Yocto u a -> Yocto u a -> Bool #

(>=) :: Yocto u a -> Yocto u a -> Bool #

max :: Yocto u a -> Yocto u a -> Yocto u a #

min :: Yocto u a -> Yocto u a -> Yocto u a #

type ShowPrefixType Yocto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Yocto = 'Text "y"

type DimOf (Yocto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Yocto u0) = DimOf (MetaPrefix Yocto u0)

type ShowUnitType (Yocto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Yocto u) = ShowUnitType (MetaPrefix Yocto u)

newtype Zepto (u :: Unit) a Source #

SI prefix for 10⁻²¹

Constructors

Zepto (u a)

Instances

Instances details

ShowPrefix Zepto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Zepto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Zepto = 'Text "z"

Methods

Fractional a => PrefixFactor Zepto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Zepto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Zepto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Zepto u0) = DimOf (MetaPrefix Zepto u0)

ShowUnit u => ShowUnit (Zepto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Zepto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Zepto u) = ShowUnitType (MetaPrefix Zepto u)

Methods

ConversionFactor u a => ConversionFactor (Zepto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Zepto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Zepto u a -> BaseUnitOf (Zepto u) a Source #

fromBaseUnit :: BaseUnitOf (Zepto u) a -> Zepto u a Source #

Floating (u a) => Floating (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Zepto u a #

exp :: Zepto u a -> Zepto u a #

log :: Zepto u a -> Zepto u a #

sqrt :: Zepto u a -> Zepto u a #

(**) :: Zepto u a -> Zepto u a -> Zepto u a #

logBase :: Zepto u a -> Zepto u a -> Zepto u a #

sin :: Zepto u a -> Zepto u a #

cos :: Zepto u a -> Zepto u a #

tan :: Zepto u a -> Zepto u a #

asin :: Zepto u a -> Zepto u a #

acos :: Zepto u a -> Zepto u a #

atan :: Zepto u a -> Zepto u a #

sinh :: Zepto u a -> Zepto u a #

cosh :: Zepto u a -> Zepto u a #

tanh :: Zepto u a -> Zepto u a #

asinh :: Zepto u a -> Zepto u a #

acosh :: Zepto u a -> Zepto u a #

atanh :: Zepto u a -> Zepto u a #

log1p :: Zepto u a -> Zepto u a #

expm1 :: Zepto u a -> Zepto u a #

log1pexp :: Zepto u a -> Zepto u a #

log1mexp :: Zepto u a -> Zepto u a #

RealFloat (u a) => RealFloat (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Zepto u a -> Integer #

floatDigits :: Zepto u a -> Int #

floatRange :: Zepto u a -> (Int, Int) #

decodeFloat :: Zepto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Zepto u a #

exponent :: Zepto u a -> Int #

significand :: Zepto u a -> Zepto u a #

scaleFloat :: Int -> Zepto u a -> Zepto u a #

isNaN :: Zepto u a -> Bool #

isInfinite :: Zepto u a -> Bool #

isDenormalized :: Zepto u a -> Bool #

isNegativeZero :: Zepto u a -> Bool #

isIEEE :: Zepto u a -> Bool #

atan2 :: Zepto u a -> Zepto u a -> Zepto u a #

Num (u a) => Num (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Zepto u a -> Zepto u a -> Zepto u a #

(-) :: Zepto u a -> Zepto u a -> Zepto u a #

(*) :: Zepto u a -> Zepto u a -> Zepto u a #

negate :: Zepto u a -> Zepto u a #

abs :: Zepto u a -> Zepto u a #

signum :: Zepto u a -> Zepto u a #

fromInteger :: Integer -> Zepto u a #

Fractional (u a) => Fractional (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Zepto u a -> Zepto u a -> Zepto u a #

recip :: Zepto u a -> Zepto u a #

fromRational :: Rational -> Zepto u a #

Real (u a) => Real (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Zepto u a -> Rational #

RealFrac (u a) => RealFrac (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Zepto u a -> b #

round :: Integral b => Zepto u a -> b #

ceiling :: Integral b => Zepto u a -> b #

floor :: Integral b => Zepto u a -> b #

(Show a, ShowUnit u) => Show (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Zepto u a -> ShowS #

show :: Zepto u a -> String #

showList :: [Zepto u a] -> ShowS #

Eq (u a) => Eq (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Zepto u a -> Zepto u a -> Bool #

(/=) :: Zepto u a -> Zepto u a -> Bool #

Ord (u a) => Ord (Zepto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Zepto u a -> Zepto u a -> Ordering #

(<) :: Zepto u a -> Zepto u a -> Bool #

(<=) :: Zepto u a -> Zepto u a -> Bool #

(>) :: Zepto u a -> Zepto u a -> Bool #

(>=) :: Zepto u a -> Zepto u a -> Bool #

max :: Zepto u a -> Zepto u a -> Zepto u a #

min :: Zepto u a -> Zepto u a -> Zepto u a #

type ShowPrefixType Zepto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Zepto = 'Text "z"

type DimOf (Zepto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Zepto u0) = DimOf (MetaPrefix Zepto u0)

type ShowUnitType (Zepto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Zepto u) = ShowUnitType (MetaPrefix Zepto u)

newtype Atto (u :: Unit) a Source #

SI prefix for 10⁻¹⁸

Constructors

Atto (u a)

Instances

Instances details

ShowPrefix Atto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Atto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Atto = 'Text "a"

Methods

Fractional a => PrefixFactor Atto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Atto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Atto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Atto u0) = DimOf (MetaPrefix Atto u0)

ShowUnit u => ShowUnit (Atto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Atto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Atto u) = ShowUnitType (MetaPrefix Atto u)

Methods

ConversionFactor u a => ConversionFactor (Atto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Atto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Atto u a -> BaseUnitOf (Atto u) a Source #

fromBaseUnit :: BaseUnitOf (Atto u) a -> Atto u a Source #

Floating (u a) => Floating (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Atto u a #

exp :: Atto u a -> Atto u a #

log :: Atto u a -> Atto u a #

sqrt :: Atto u a -> Atto u a #

(**) :: Atto u a -> Atto u a -> Atto u a #

logBase :: Atto u a -> Atto u a -> Atto u a #

sin :: Atto u a -> Atto u a #

cos :: Atto u a -> Atto u a #

tan :: Atto u a -> Atto u a #

asin :: Atto u a -> Atto u a #

acos :: Atto u a -> Atto u a #

atan :: Atto u a -> Atto u a #

sinh :: Atto u a -> Atto u a #

cosh :: Atto u a -> Atto u a #

tanh :: Atto u a -> Atto u a #

asinh :: Atto u a -> Atto u a #

acosh :: Atto u a -> Atto u a #

atanh :: Atto u a -> Atto u a #

log1p :: Atto u a -> Atto u a #

expm1 :: Atto u a -> Atto u a #

log1pexp :: Atto u a -> Atto u a #

log1mexp :: Atto u a -> Atto u a #

RealFloat (u a) => RealFloat (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Atto u a -> Integer #

floatDigits :: Atto u a -> Int #

floatRange :: Atto u a -> (Int, Int) #

decodeFloat :: Atto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Atto u a #

exponent :: Atto u a -> Int #

significand :: Atto u a -> Atto u a #

scaleFloat :: Int -> Atto u a -> Atto u a #

isNaN :: Atto u a -> Bool #

isInfinite :: Atto u a -> Bool #

isDenormalized :: Atto u a -> Bool #

isNegativeZero :: Atto u a -> Bool #

isIEEE :: Atto u a -> Bool #

atan2 :: Atto u a -> Atto u a -> Atto u a #

Num (u a) => Num (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Atto u a -> Atto u a -> Atto u a #

(-) :: Atto u a -> Atto u a -> Atto u a #

(*) :: Atto u a -> Atto u a -> Atto u a #

negate :: Atto u a -> Atto u a #

abs :: Atto u a -> Atto u a #

signum :: Atto u a -> Atto u a #

fromInteger :: Integer -> Atto u a #

Fractional (u a) => Fractional (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Atto u a -> Atto u a -> Atto u a #

recip :: Atto u a -> Atto u a #

fromRational :: Rational -> Atto u a #

Real (u a) => Real (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Atto u a -> Rational #

RealFrac (u a) => RealFrac (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Atto u a -> b #

round :: Integral b => Atto u a -> b #

ceiling :: Integral b => Atto u a -> b #

floor :: Integral b => Atto u a -> b #

(Show a, ShowUnit u) => Show (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Atto u a -> ShowS #

show :: Atto u a -> String #

showList :: [Atto u a] -> ShowS #

Eq (u a) => Eq (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Atto u a -> Atto u a -> Bool #

(/=) :: Atto u a -> Atto u a -> Bool #

Ord (u a) => Ord (Atto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Atto u a -> Atto u a -> Ordering #

(<) :: Atto u a -> Atto u a -> Bool #

(<=) :: Atto u a -> Atto u a -> Bool #

(>) :: Atto u a -> Atto u a -> Bool #

(>=) :: Atto u a -> Atto u a -> Bool #

max :: Atto u a -> Atto u a -> Atto u a #

min :: Atto u a -> Atto u a -> Atto u a #

type ShowPrefixType Atto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Atto = 'Text "a"

type DimOf (Atto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Atto u0) = DimOf (MetaPrefix Atto u0)

type ShowUnitType (Atto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Atto u) = ShowUnitType (MetaPrefix Atto u)

newtype Femto (u :: Unit) a Source #

SI prefix for 10⁻¹⁵

Constructors

Femto (u a)

Instances

Instances details

ShowPrefix Femto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Femto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Femto = 'Text "f"

Methods

Fractional a => PrefixFactor Femto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Femto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Femto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Femto u0) = DimOf (MetaPrefix Femto u0)

ShowUnit u => ShowUnit (Femto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Femto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Femto u) = ShowUnitType (MetaPrefix Femto u)

Methods

ConversionFactor u a => ConversionFactor (Femto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Femto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Femto u a -> BaseUnitOf (Femto u) a Source #

fromBaseUnit :: BaseUnitOf (Femto u) a -> Femto u a Source #

Floating (u a) => Floating (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Femto u a #

exp :: Femto u a -> Femto u a #

log :: Femto u a -> Femto u a #

sqrt :: Femto u a -> Femto u a #

(**) :: Femto u a -> Femto u a -> Femto u a #

logBase :: Femto u a -> Femto u a -> Femto u a #

sin :: Femto u a -> Femto u a #

cos :: Femto u a -> Femto u a #

tan :: Femto u a -> Femto u a #

asin :: Femto u a -> Femto u a #

acos :: Femto u a -> Femto u a #

atan :: Femto u a -> Femto u a #

sinh :: Femto u a -> Femto u a #

cosh :: Femto u a -> Femto u a #

tanh :: Femto u a -> Femto u a #

asinh :: Femto u a -> Femto u a #

acosh :: Femto u a -> Femto u a #

atanh :: Femto u a -> Femto u a #

log1p :: Femto u a -> Femto u a #

expm1 :: Femto u a -> Femto u a #

log1pexp :: Femto u a -> Femto u a #

log1mexp :: Femto u a -> Femto u a #

RealFloat (u a) => RealFloat (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Femto u a -> Integer #

floatDigits :: Femto u a -> Int #

floatRange :: Femto u a -> (Int, Int) #

decodeFloat :: Femto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Femto u a #

exponent :: Femto u a -> Int #

significand :: Femto u a -> Femto u a #

scaleFloat :: Int -> Femto u a -> Femto u a #

isNaN :: Femto u a -> Bool #

isInfinite :: Femto u a -> Bool #

isDenormalized :: Femto u a -> Bool #

isNegativeZero :: Femto u a -> Bool #

isIEEE :: Femto u a -> Bool #

atan2 :: Femto u a -> Femto u a -> Femto u a #

Num (u a) => Num (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Femto u a -> Femto u a -> Femto u a #

(-) :: Femto u a -> Femto u a -> Femto u a #

(*) :: Femto u a -> Femto u a -> Femto u a #

negate :: Femto u a -> Femto u a #

abs :: Femto u a -> Femto u a #

signum :: Femto u a -> Femto u a #

fromInteger :: Integer -> Femto u a #

Fractional (u a) => Fractional (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Femto u a -> Femto u a -> Femto u a #

recip :: Femto u a -> Femto u a #

fromRational :: Rational -> Femto u a #

Real (u a) => Real (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Femto u a -> Rational #

RealFrac (u a) => RealFrac (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Femto u a -> b #

round :: Integral b => Femto u a -> b #

ceiling :: Integral b => Femto u a -> b #

floor :: Integral b => Femto u a -> b #

(Show a, ShowUnit u) => Show (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Femto u a -> ShowS #

show :: Femto u a -> String #

showList :: [Femto u a] -> ShowS #

Eq (u a) => Eq (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Femto u a -> Femto u a -> Bool #

(/=) :: Femto u a -> Femto u a -> Bool #

Ord (u a) => Ord (Femto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Femto u a -> Femto u a -> Ordering #

(<) :: Femto u a -> Femto u a -> Bool #

(<=) :: Femto u a -> Femto u a -> Bool #

(>) :: Femto u a -> Femto u a -> Bool #

(>=) :: Femto u a -> Femto u a -> Bool #

max :: Femto u a -> Femto u a -> Femto u a #

min :: Femto u a -> Femto u a -> Femto u a #

type ShowPrefixType Femto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Femto = 'Text "f"

type DimOf (Femto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Femto u0) = DimOf (MetaPrefix Femto u0)

type ShowUnitType (Femto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Femto u) = ShowUnitType (MetaPrefix Femto u)

newtype Pico (u :: Unit) a Source #

SI prefix for 10⁻¹²

Constructors

Pico (u a)

Instances

Instances details

ShowPrefix Pico Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Pico
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Pico = 'Text "p"

Methods

Fractional a => PrefixFactor Pico a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Pico u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Pico u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Pico u0) = DimOf (MetaPrefix Pico u0)

ShowUnit u => ShowUnit (Pico u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Pico u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Pico u) = ShowUnitType (MetaPrefix Pico u)

Methods

ConversionFactor u a => ConversionFactor (Pico u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Pico u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Pico u a -> BaseUnitOf (Pico u) a Source #

fromBaseUnit :: BaseUnitOf (Pico u) a -> Pico u a Source #

Floating (u a) => Floating (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Pico u a #

exp :: Pico u a -> Pico u a #

log :: Pico u a -> Pico u a #

sqrt :: Pico u a -> Pico u a #

(**) :: Pico u a -> Pico u a -> Pico u a #

logBase :: Pico u a -> Pico u a -> Pico u a #

sin :: Pico u a -> Pico u a #

cos :: Pico u a -> Pico u a #

tan :: Pico u a -> Pico u a #

asin :: Pico u a -> Pico u a #

acos :: Pico u a -> Pico u a #

atan :: Pico u a -> Pico u a #

sinh :: Pico u a -> Pico u a #

cosh :: Pico u a -> Pico u a #

tanh :: Pico u a -> Pico u a #

asinh :: Pico u a -> Pico u a #

acosh :: Pico u a -> Pico u a #

atanh :: Pico u a -> Pico u a #

log1p :: Pico u a -> Pico u a #

expm1 :: Pico u a -> Pico u a #

log1pexp :: Pico u a -> Pico u a #

log1mexp :: Pico u a -> Pico u a #

RealFloat (u a) => RealFloat (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Pico u a -> Integer #

floatDigits :: Pico u a -> Int #

floatRange :: Pico u a -> (Int, Int) #

decodeFloat :: Pico u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Pico u a #

exponent :: Pico u a -> Int #

significand :: Pico u a -> Pico u a #

scaleFloat :: Int -> Pico u a -> Pico u a #

isNaN :: Pico u a -> Bool #

isInfinite :: Pico u a -> Bool #

isDenormalized :: Pico u a -> Bool #

isNegativeZero :: Pico u a -> Bool #

isIEEE :: Pico u a -> Bool #

atan2 :: Pico u a -> Pico u a -> Pico u a #

Num (u a) => Num (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Pico u a -> Pico u a -> Pico u a #

(-) :: Pico u a -> Pico u a -> Pico u a #

(*) :: Pico u a -> Pico u a -> Pico u a #

negate :: Pico u a -> Pico u a #

abs :: Pico u a -> Pico u a #

signum :: Pico u a -> Pico u a #

fromInteger :: Integer -> Pico u a #

Fractional (u a) => Fractional (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Pico u a -> Pico u a -> Pico u a #

recip :: Pico u a -> Pico u a #

fromRational :: Rational -> Pico u a #

Real (u a) => Real (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Pico u a -> Rational #

RealFrac (u a) => RealFrac (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Pico u a -> b #

round :: Integral b => Pico u a -> b #

ceiling :: Integral b => Pico u a -> b #

floor :: Integral b => Pico u a -> b #

(Show a, ShowUnit u) => Show (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Pico u a -> ShowS #

show :: Pico u a -> String #

showList :: [Pico u a] -> ShowS #

Eq (u a) => Eq (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Pico u a -> Pico u a -> Bool #

(/=) :: Pico u a -> Pico u a -> Bool #

Ord (u a) => Ord (Pico u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Pico u a -> Pico u a -> Ordering #

(<) :: Pico u a -> Pico u a -> Bool #

(<=) :: Pico u a -> Pico u a -> Bool #

(>) :: Pico u a -> Pico u a -> Bool #

(>=) :: Pico u a -> Pico u a -> Bool #

max :: Pico u a -> Pico u a -> Pico u a #

min :: Pico u a -> Pico u a -> Pico u a #

type ShowPrefixType Pico Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Pico = 'Text "p"

type DimOf (Pico u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Pico u0) = DimOf (MetaPrefix Pico u0)

type ShowUnitType (Pico u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Pico u) = ShowUnitType (MetaPrefix Pico u)

newtype Nano (u :: Unit) a Source #

SI prefix for 10⁻⁹

Constructors

Nano (u a)

Instances

Instances details

ShowPrefix Nano Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Nano
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Nano = 'Text "n"

Methods

Fractional a => PrefixFactor Nano a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Nano u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Nano u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Nano u0) = DimOf (MetaPrefix Nano u0)

ShowUnit u => ShowUnit (Nano u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Nano u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Nano u) = ShowUnitType (MetaPrefix Nano u)

Methods

ConversionFactor u a => ConversionFactor (Nano u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Nano u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Nano u a -> BaseUnitOf (Nano u) a Source #

fromBaseUnit :: BaseUnitOf (Nano u) a -> Nano u a Source #

Floating (u a) => Floating (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Nano u a #

exp :: Nano u a -> Nano u a #

log :: Nano u a -> Nano u a #

sqrt :: Nano u a -> Nano u a #

(**) :: Nano u a -> Nano u a -> Nano u a #

logBase :: Nano u a -> Nano u a -> Nano u a #

sin :: Nano u a -> Nano u a #

cos :: Nano u a -> Nano u a #

tan :: Nano u a -> Nano u a #

asin :: Nano u a -> Nano u a #

acos :: Nano u a -> Nano u a #

atan :: Nano u a -> Nano u a #

sinh :: Nano u a -> Nano u a #

cosh :: Nano u a -> Nano u a #

tanh :: Nano u a -> Nano u a #

asinh :: Nano u a -> Nano u a #

acosh :: Nano u a -> Nano u a #

atanh :: Nano u a -> Nano u a #

log1p :: Nano u a -> Nano u a #

expm1 :: Nano u a -> Nano u a #

log1pexp :: Nano u a -> Nano u a #

log1mexp :: Nano u a -> Nano u a #

RealFloat (u a) => RealFloat (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Nano u a -> Integer #

floatDigits :: Nano u a -> Int #

floatRange :: Nano u a -> (Int, Int) #

decodeFloat :: Nano u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Nano u a #

exponent :: Nano u a -> Int #

significand :: Nano u a -> Nano u a #

scaleFloat :: Int -> Nano u a -> Nano u a #

isNaN :: Nano u a -> Bool #

isInfinite :: Nano u a -> Bool #

isDenormalized :: Nano u a -> Bool #

isNegativeZero :: Nano u a -> Bool #

isIEEE :: Nano u a -> Bool #

atan2 :: Nano u a -> Nano u a -> Nano u a #

Num (u a) => Num (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Nano u a -> Nano u a -> Nano u a #

(-) :: Nano u a -> Nano u a -> Nano u a #

(*) :: Nano u a -> Nano u a -> Nano u a #

negate :: Nano u a -> Nano u a #

abs :: Nano u a -> Nano u a #

signum :: Nano u a -> Nano u a #

fromInteger :: Integer -> Nano u a #

Fractional (u a) => Fractional (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Nano u a -> Nano u a -> Nano u a #

recip :: Nano u a -> Nano u a #

fromRational :: Rational -> Nano u a #

Real (u a) => Real (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Nano u a -> Rational #

RealFrac (u a) => RealFrac (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Nano u a -> b #

round :: Integral b => Nano u a -> b #

ceiling :: Integral b => Nano u a -> b #

floor :: Integral b => Nano u a -> b #

(Show a, ShowUnit u) => Show (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Nano u a -> ShowS #

show :: Nano u a -> String #

showList :: [Nano u a] -> ShowS #

Eq (u a) => Eq (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Nano u a -> Nano u a -> Bool #

(/=) :: Nano u a -> Nano u a -> Bool #

Ord (u a) => Ord (Nano u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Nano u a -> Nano u a -> Ordering #

(<) :: Nano u a -> Nano u a -> Bool #

(<=) :: Nano u a -> Nano u a -> Bool #

(>) :: Nano u a -> Nano u a -> Bool #

(>=) :: Nano u a -> Nano u a -> Bool #

max :: Nano u a -> Nano u a -> Nano u a #

min :: Nano u a -> Nano u a -> Nano u a #

type ShowPrefixType Nano Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Nano = 'Text "n"

type DimOf (Nano u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Nano u0) = DimOf (MetaPrefix Nano u0)

type ShowUnitType (Nano u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Nano u) = ShowUnitType (MetaPrefix Nano u)

newtype Micro (u :: Unit) a Source #

SI prefix for 10⁻⁶

Constructors

Micro (u a)

Instances

Instances details

ShowPrefix Micro Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Micro
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Micro = 'Text "\181"

Methods

Fractional a => PrefixFactor Micro a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Micro u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Micro u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Micro u0) = DimOf (MetaPrefix Micro u0)

ShowUnit u => ShowUnit (Micro u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Micro u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Micro u) = ShowUnitType (MetaPrefix Micro u)

Methods

ConversionFactor u a => ConversionFactor (Micro u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Micro u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Micro u a -> BaseUnitOf (Micro u) a Source #

fromBaseUnit :: BaseUnitOf (Micro u) a -> Micro u a Source #

Floating (u a) => Floating (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Micro u a #

exp :: Micro u a -> Micro u a #

log :: Micro u a -> Micro u a #

sqrt :: Micro u a -> Micro u a #

(**) :: Micro u a -> Micro u a -> Micro u a #

logBase :: Micro u a -> Micro u a -> Micro u a #

sin :: Micro u a -> Micro u a #

cos :: Micro u a -> Micro u a #

tan :: Micro u a -> Micro u a #

asin :: Micro u a -> Micro u a #

acos :: Micro u a -> Micro u a #

atan :: Micro u a -> Micro u a #

sinh :: Micro u a -> Micro u a #

cosh :: Micro u a -> Micro u a #

tanh :: Micro u a -> Micro u a #

asinh :: Micro u a -> Micro u a #

acosh :: Micro u a -> Micro u a #

atanh :: Micro u a -> Micro u a #

log1p :: Micro u a -> Micro u a #

expm1 :: Micro u a -> Micro u a #

log1pexp :: Micro u a -> Micro u a #

log1mexp :: Micro u a -> Micro u a #

RealFloat (u a) => RealFloat (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Micro u a -> Integer #

floatDigits :: Micro u a -> Int #

floatRange :: Micro u a -> (Int, Int) #

decodeFloat :: Micro u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Micro u a #

exponent :: Micro u a -> Int #

significand :: Micro u a -> Micro u a #

scaleFloat :: Int -> Micro u a -> Micro u a #

isNaN :: Micro u a -> Bool #

isInfinite :: Micro u a -> Bool #

isDenormalized :: Micro u a -> Bool #

isNegativeZero :: Micro u a -> Bool #

isIEEE :: Micro u a -> Bool #

atan2 :: Micro u a -> Micro u a -> Micro u a #

Num (u a) => Num (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Micro u a -> Micro u a -> Micro u a #

(-) :: Micro u a -> Micro u a -> Micro u a #

(*) :: Micro u a -> Micro u a -> Micro u a #

negate :: Micro u a -> Micro u a #

abs :: Micro u a -> Micro u a #

signum :: Micro u a -> Micro u a #

fromInteger :: Integer -> Micro u a #

Fractional (u a) => Fractional (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Micro u a -> Micro u a -> Micro u a #

recip :: Micro u a -> Micro u a #

fromRational :: Rational -> Micro u a #

Real (u a) => Real (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Micro u a -> Rational #

RealFrac (u a) => RealFrac (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Micro u a -> b #

round :: Integral b => Micro u a -> b #

ceiling :: Integral b => Micro u a -> b #

floor :: Integral b => Micro u a -> b #

(Show a, ShowUnit u) => Show (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Micro u a -> ShowS #

show :: Micro u a -> String #

showList :: [Micro u a] -> ShowS #

Eq (u a) => Eq (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Micro u a -> Micro u a -> Bool #

(/=) :: Micro u a -> Micro u a -> Bool #

Ord (u a) => Ord (Micro u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Micro u a -> Micro u a -> Ordering #

(<) :: Micro u a -> Micro u a -> Bool #

(<=) :: Micro u a -> Micro u a -> Bool #

(>) :: Micro u a -> Micro u a -> Bool #

(>=) :: Micro u a -> Micro u a -> Bool #

max :: Micro u a -> Micro u a -> Micro u a #

min :: Micro u a -> Micro u a -> Micro u a #

type ShowPrefixType Micro Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Micro = 'Text "\181"

type DimOf (Micro u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Micro u0) = DimOf (MetaPrefix Micro u0)

type ShowUnitType (Micro u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Micro u) = ShowUnitType (MetaPrefix Micro u)

newtype Milli (u :: Unit) a Source #

SI prefix for 10⁻³

Constructors

Milli (u a)

Instances

Instances details

ShowPrefix Milli Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Milli
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Milli = 'Text "m"

Methods

Fractional a => PrefixFactor Milli a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Milli u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Milli u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Milli u0) = DimOf (MetaPrefix Milli u0)

ShowUnit u => ShowUnit (Milli u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Milli u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Milli u) = ShowUnitType (MetaPrefix Milli u)

Methods

ConversionFactor u a => ConversionFactor (Milli u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Milli u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Milli u a -> BaseUnitOf (Milli u) a Source #

fromBaseUnit :: BaseUnitOf (Milli u) a -> Milli u a Source #

Floating (u a) => Floating (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Milli u a #

exp :: Milli u a -> Milli u a #

log :: Milli u a -> Milli u a #

sqrt :: Milli u a -> Milli u a #

(**) :: Milli u a -> Milli u a -> Milli u a #

logBase :: Milli u a -> Milli u a -> Milli u a #

sin :: Milli u a -> Milli u a #

cos :: Milli u a -> Milli u a #

tan :: Milli u a -> Milli u a #

asin :: Milli u a -> Milli u a #

acos :: Milli u a -> Milli u a #

atan :: Milli u a -> Milli u a #

sinh :: Milli u a -> Milli u a #

cosh :: Milli u a -> Milli u a #

tanh :: Milli u a -> Milli u a #

asinh :: Milli u a -> Milli u a #

acosh :: Milli u a -> Milli u a #

atanh :: Milli u a -> Milli u a #

log1p :: Milli u a -> Milli u a #

expm1 :: Milli u a -> Milli u a #

log1pexp :: Milli u a -> Milli u a #

log1mexp :: Milli u a -> Milli u a #

RealFloat (u a) => RealFloat (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Milli u a -> Integer #

floatDigits :: Milli u a -> Int #

floatRange :: Milli u a -> (Int, Int) #

decodeFloat :: Milli u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Milli u a #

exponent :: Milli u a -> Int #

significand :: Milli u a -> Milli u a #

scaleFloat :: Int -> Milli u a -> Milli u a #

isNaN :: Milli u a -> Bool #

isInfinite :: Milli u a -> Bool #

isDenormalized :: Milli u a -> Bool #

isNegativeZero :: Milli u a -> Bool #

isIEEE :: Milli u a -> Bool #

atan2 :: Milli u a -> Milli u a -> Milli u a #

Num (u a) => Num (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Milli u a -> Milli u a -> Milli u a #

(-) :: Milli u a -> Milli u a -> Milli u a #

(*) :: Milli u a -> Milli u a -> Milli u a #

negate :: Milli u a -> Milli u a #

abs :: Milli u a -> Milli u a #

signum :: Milli u a -> Milli u a #

fromInteger :: Integer -> Milli u a #

Fractional (u a) => Fractional (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Milli u a -> Milli u a -> Milli u a #

recip :: Milli u a -> Milli u a #

fromRational :: Rational -> Milli u a #

Real (u a) => Real (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Milli u a -> Rational #

RealFrac (u a) => RealFrac (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Milli u a -> b #

round :: Integral b => Milli u a -> b #

ceiling :: Integral b => Milli u a -> b #

floor :: Integral b => Milli u a -> b #

(Show a, ShowUnit u) => Show (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Milli u a -> ShowS #

show :: Milli u a -> String #

showList :: [Milli u a] -> ShowS #

Eq (u a) => Eq (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Milli u a -> Milli u a -> Bool #

(/=) :: Milli u a -> Milli u a -> Bool #

Ord (u a) => Ord (Milli u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Milli u a -> Milli u a -> Ordering #

(<) :: Milli u a -> Milli u a -> Bool #

(<=) :: Milli u a -> Milli u a -> Bool #

(>) :: Milli u a -> Milli u a -> Bool #

(>=) :: Milli u a -> Milli u a -> Bool #

max :: Milli u a -> Milli u a -> Milli u a #

min :: Milli u a -> Milli u a -> Milli u a #

type ShowPrefixType Milli Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Milli = 'Text "m"

type DimOf (Milli u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Milli u0) = DimOf (MetaPrefix Milli u0)

type ShowUnitType (Milli u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Milli u) = ShowUnitType (MetaPrefix Milli u)

newtype Centi (u :: Unit) a Source #

SI prefix for 10⁻²

Constructors

Centi (u a)

Instances

Instances details

ShowPrefix Centi Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Centi
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Centi = 'Text "c"

Methods

Fractional a => PrefixFactor Centi a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Centi u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Centi u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Centi u0) = DimOf (MetaPrefix Centi u0)

ShowUnit u => ShowUnit (Centi u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Centi u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Centi u) = ShowUnitType (MetaPrefix Centi u)

Methods

ConversionFactor u a => ConversionFactor (Centi u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Centi u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Centi u a -> BaseUnitOf (Centi u) a Source #

fromBaseUnit :: BaseUnitOf (Centi u) a -> Centi u a Source #

Floating (u a) => Floating (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Centi u a #

exp :: Centi u a -> Centi u a #

log :: Centi u a -> Centi u a #

sqrt :: Centi u a -> Centi u a #

(**) :: Centi u a -> Centi u a -> Centi u a #

logBase :: Centi u a -> Centi u a -> Centi u a #

sin :: Centi u a -> Centi u a #

cos :: Centi u a -> Centi u a #

tan :: Centi u a -> Centi u a #

asin :: Centi u a -> Centi u a #

acos :: Centi u a -> Centi u a #

atan :: Centi u a -> Centi u a #

sinh :: Centi u a -> Centi u a #

cosh :: Centi u a -> Centi u a #

tanh :: Centi u a -> Centi u a #

asinh :: Centi u a -> Centi u a #

acosh :: Centi u a -> Centi u a #

atanh :: Centi u a -> Centi u a #

log1p :: Centi u a -> Centi u a #

expm1 :: Centi u a -> Centi u a #

log1pexp :: Centi u a -> Centi u a #

log1mexp :: Centi u a -> Centi u a #

RealFloat (u a) => RealFloat (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Centi u a -> Integer #

floatDigits :: Centi u a -> Int #

floatRange :: Centi u a -> (Int, Int) #

decodeFloat :: Centi u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Centi u a #

exponent :: Centi u a -> Int #

significand :: Centi u a -> Centi u a #

scaleFloat :: Int -> Centi u a -> Centi u a #

isNaN :: Centi u a -> Bool #

isInfinite :: Centi u a -> Bool #

isDenormalized :: Centi u a -> Bool #

isNegativeZero :: Centi u a -> Bool #

isIEEE :: Centi u a -> Bool #

atan2 :: Centi u a -> Centi u a -> Centi u a #

Num (u a) => Num (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Centi u a -> Centi u a -> Centi u a #

(-) :: Centi u a -> Centi u a -> Centi u a #

(*) :: Centi u a -> Centi u a -> Centi u a #

negate :: Centi u a -> Centi u a #

abs :: Centi u a -> Centi u a #

signum :: Centi u a -> Centi u a #

fromInteger :: Integer -> Centi u a #

Fractional (u a) => Fractional (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Centi u a -> Centi u a -> Centi u a #

recip :: Centi u a -> Centi u a #

fromRational :: Rational -> Centi u a #

Real (u a) => Real (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Centi u a -> Rational #

RealFrac (u a) => RealFrac (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Centi u a -> b #

round :: Integral b => Centi u a -> b #

ceiling :: Integral b => Centi u a -> b #

floor :: Integral b => Centi u a -> b #

(Show a, ShowUnit u) => Show (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Centi u a -> ShowS #

show :: Centi u a -> String #

showList :: [Centi u a] -> ShowS #

Eq (u a) => Eq (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Centi u a -> Centi u a -> Bool #

(/=) :: Centi u a -> Centi u a -> Bool #

Ord (u a) => Ord (Centi u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Centi u a -> Centi u a -> Ordering #

(<) :: Centi u a -> Centi u a -> Bool #

(<=) :: Centi u a -> Centi u a -> Bool #

(>) :: Centi u a -> Centi u a -> Bool #

(>=) :: Centi u a -> Centi u a -> Bool #

max :: Centi u a -> Centi u a -> Centi u a #

min :: Centi u a -> Centi u a -> Centi u a #

type ShowPrefixType Centi Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Centi = 'Text "c"

type DimOf (Centi u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Centi u0) = DimOf (MetaPrefix Centi u0)

type ShowUnitType (Centi u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Centi u) = ShowUnitType (MetaPrefix Centi u)

newtype Deci (u :: Unit) a Source #

SI prefix for 10⁻¹

Constructors

Deci (u a)

Instances

Instances details

ShowPrefix Deci Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Deci
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Deci = 'Text "d"

Methods

Fractional a => PrefixFactor Deci a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Deci u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Deci u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Deci u0) = DimOf (MetaPrefix Deci u0)

ShowUnit u => ShowUnit (Deci u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Deci u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Deci u) = ShowUnitType (MetaPrefix Deci u)

Methods

ConversionFactor u a => ConversionFactor (Deci u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Deci u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Deci u a -> BaseUnitOf (Deci u) a Source #

fromBaseUnit :: BaseUnitOf (Deci u) a -> Deci u a Source #

Floating (u a) => Floating (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Deci u a #

exp :: Deci u a -> Deci u a #

log :: Deci u a -> Deci u a #

sqrt :: Deci u a -> Deci u a #

(**) :: Deci u a -> Deci u a -> Deci u a #

logBase :: Deci u a -> Deci u a -> Deci u a #

sin :: Deci u a -> Deci u a #

cos :: Deci u a -> Deci u a #

tan :: Deci u a -> Deci u a #

asin :: Deci u a -> Deci u a #

acos :: Deci u a -> Deci u a #

atan :: Deci u a -> Deci u a #

sinh :: Deci u a -> Deci u a #

cosh :: Deci u a -> Deci u a #

tanh :: Deci u a -> Deci u a #

asinh :: Deci u a -> Deci u a #

acosh :: Deci u a -> Deci u a #

atanh :: Deci u a -> Deci u a #

log1p :: Deci u a -> Deci u a #

expm1 :: Deci u a -> Deci u a #

log1pexp :: Deci u a -> Deci u a #

log1mexp :: Deci u a -> Deci u a #

RealFloat (u a) => RealFloat (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Deci u a -> Integer #

floatDigits :: Deci u a -> Int #

floatRange :: Deci u a -> (Int, Int) #

decodeFloat :: Deci u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Deci u a #

exponent :: Deci u a -> Int #

significand :: Deci u a -> Deci u a #

scaleFloat :: Int -> Deci u a -> Deci u a #

isNaN :: Deci u a -> Bool #

isInfinite :: Deci u a -> Bool #

isDenormalized :: Deci u a -> Bool #

isNegativeZero :: Deci u a -> Bool #

isIEEE :: Deci u a -> Bool #

atan2 :: Deci u a -> Deci u a -> Deci u a #

Num (u a) => Num (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Deci u a -> Deci u a -> Deci u a #

(-) :: Deci u a -> Deci u a -> Deci u a #

(*) :: Deci u a -> Deci u a -> Deci u a #

negate :: Deci u a -> Deci u a #

abs :: Deci u a -> Deci u a #

signum :: Deci u a -> Deci u a #

fromInteger :: Integer -> Deci u a #

Fractional (u a) => Fractional (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Deci u a -> Deci u a -> Deci u a #

recip :: Deci u a -> Deci u a #

fromRational :: Rational -> Deci u a #

Real (u a) => Real (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Deci u a -> Rational #

RealFrac (u a) => RealFrac (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Deci u a -> b #

round :: Integral b => Deci u a -> b #

ceiling :: Integral b => Deci u a -> b #

floor :: Integral b => Deci u a -> b #

(Show a, ShowUnit u) => Show (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Deci u a -> ShowS #

show :: Deci u a -> String #

showList :: [Deci u a] -> ShowS #

Eq (u a) => Eq (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Deci u a -> Deci u a -> Bool #

(/=) :: Deci u a -> Deci u a -> Bool #

Ord (u a) => Ord (Deci u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Deci u a -> Deci u a -> Ordering #

(<) :: Deci u a -> Deci u a -> Bool #

(<=) :: Deci u a -> Deci u a -> Bool #

(>) :: Deci u a -> Deci u a -> Bool #

(>=) :: Deci u a -> Deci u a -> Bool #

max :: Deci u a -> Deci u a -> Deci u a #

min :: Deci u a -> Deci u a -> Deci u a #

type ShowPrefixType Deci Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Deci = 'Text "d"

type DimOf (Deci u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Deci u0) = DimOf (MetaPrefix Deci u0)

type ShowUnitType (Deci u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Deci u) = ShowUnitType (MetaPrefix Deci u)

newtype Deca (u :: Unit) a Source #

SI prefix for 10¹

Constructors

Deca (u a)

Instances

Instances details

ShowPrefix Deca Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Deca
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Deca = 'Text "da"

Methods

Fractional a => PrefixFactor Deca a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Deca u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Deca u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Deca u0) = DimOf (MetaPrefix Deca u0)

ShowUnit u => ShowUnit (Deca u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Deca u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Deca u) = ShowUnitType (MetaPrefix Deca u)

Methods

ConversionFactor u a => ConversionFactor (Deca u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Deca u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Deca u a -> BaseUnitOf (Deca u) a Source #

fromBaseUnit :: BaseUnitOf (Deca u) a -> Deca u a Source #

Floating (u a) => Floating (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Deca u a #

exp :: Deca u a -> Deca u a #

log :: Deca u a -> Deca u a #

sqrt :: Deca u a -> Deca u a #

(**) :: Deca u a -> Deca u a -> Deca u a #

logBase :: Deca u a -> Deca u a -> Deca u a #

sin :: Deca u a -> Deca u a #

cos :: Deca u a -> Deca u a #

tan :: Deca u a -> Deca u a #

asin :: Deca u a -> Deca u a #

acos :: Deca u a -> Deca u a #

atan :: Deca u a -> Deca u a #

sinh :: Deca u a -> Deca u a #

cosh :: Deca u a -> Deca u a #

tanh :: Deca u a -> Deca u a #

asinh :: Deca u a -> Deca u a #

acosh :: Deca u a -> Deca u a #

atanh :: Deca u a -> Deca u a #

log1p :: Deca u a -> Deca u a #

expm1 :: Deca u a -> Deca u a #

log1pexp :: Deca u a -> Deca u a #

log1mexp :: Deca u a -> Deca u a #

RealFloat (u a) => RealFloat (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Deca u a -> Integer #

floatDigits :: Deca u a -> Int #

floatRange :: Deca u a -> (Int, Int) #

decodeFloat :: Deca u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Deca u a #

exponent :: Deca u a -> Int #

significand :: Deca u a -> Deca u a #

scaleFloat :: Int -> Deca u a -> Deca u a #

isNaN :: Deca u a -> Bool #

isInfinite :: Deca u a -> Bool #

isDenormalized :: Deca u a -> Bool #

isNegativeZero :: Deca u a -> Bool #

isIEEE :: Deca u a -> Bool #

atan2 :: Deca u a -> Deca u a -> Deca u a #

Num (u a) => Num (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Deca u a -> Deca u a -> Deca u a #

(-) :: Deca u a -> Deca u a -> Deca u a #

(*) :: Deca u a -> Deca u a -> Deca u a #

negate :: Deca u a -> Deca u a #

abs :: Deca u a -> Deca u a #

signum :: Deca u a -> Deca u a #

fromInteger :: Integer -> Deca u a #

Fractional (u a) => Fractional (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Deca u a -> Deca u a -> Deca u a #

recip :: Deca u a -> Deca u a #

fromRational :: Rational -> Deca u a #

Real (u a) => Real (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Deca u a -> Rational #

RealFrac (u a) => RealFrac (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Deca u a -> b #

round :: Integral b => Deca u a -> b #

ceiling :: Integral b => Deca u a -> b #

floor :: Integral b => Deca u a -> b #

(Show a, ShowUnit u) => Show (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Deca u a -> ShowS #

show :: Deca u a -> String #

showList :: [Deca u a] -> ShowS #

Eq (u a) => Eq (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Deca u a -> Deca u a -> Bool #

(/=) :: Deca u a -> Deca u a -> Bool #

Ord (u a) => Ord (Deca u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Deca u a -> Deca u a -> Ordering #

(<) :: Deca u a -> Deca u a -> Bool #

(<=) :: Deca u a -> Deca u a -> Bool #

(>) :: Deca u a -> Deca u a -> Bool #

(>=) :: Deca u a -> Deca u a -> Bool #

max :: Deca u a -> Deca u a -> Deca u a #

min :: Deca u a -> Deca u a -> Deca u a #

type ShowPrefixType Deca Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Deca = 'Text "da"

type DimOf (Deca u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Deca u0) = DimOf (MetaPrefix Deca u0)

type ShowUnitType (Deca u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Deca u) = ShowUnitType (MetaPrefix Deca u)

newtype Hecto (u :: Unit) a Source #

SI prefix for 10²

Constructors

Hecto (u a)

Instances

Instances details

ShowPrefix Hecto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Hecto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Hecto = 'Text "h"

Methods

Fractional a => PrefixFactor Hecto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Hecto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Hecto u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Hecto u0) = DimOf (MetaPrefix Hecto u0)

ShowUnit u => ShowUnit (Hecto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Hecto u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Hecto u) = ShowUnitType (MetaPrefix Hecto u)

Methods

ConversionFactor u a => ConversionFactor (Hecto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Hecto u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Hecto u a -> BaseUnitOf (Hecto u) a Source #

fromBaseUnit :: BaseUnitOf (Hecto u) a -> Hecto u a Source #

Floating (u a) => Floating (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Hecto u a #

exp :: Hecto u a -> Hecto u a #

log :: Hecto u a -> Hecto u a #

sqrt :: Hecto u a -> Hecto u a #

(**) :: Hecto u a -> Hecto u a -> Hecto u a #

logBase :: Hecto u a -> Hecto u a -> Hecto u a #

sin :: Hecto u a -> Hecto u a #

cos :: Hecto u a -> Hecto u a #

tan :: Hecto u a -> Hecto u a #

asin :: Hecto u a -> Hecto u a #

acos :: Hecto u a -> Hecto u a #

atan :: Hecto u a -> Hecto u a #

sinh :: Hecto u a -> Hecto u a #

cosh :: Hecto u a -> Hecto u a #

tanh :: Hecto u a -> Hecto u a #

asinh :: Hecto u a -> Hecto u a #

acosh :: Hecto u a -> Hecto u a #

atanh :: Hecto u a -> Hecto u a #

log1p :: Hecto u a -> Hecto u a #

expm1 :: Hecto u a -> Hecto u a #

log1pexp :: Hecto u a -> Hecto u a #

log1mexp :: Hecto u a -> Hecto u a #

RealFloat (u a) => RealFloat (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Hecto u a -> Integer #

floatDigits :: Hecto u a -> Int #

floatRange :: Hecto u a -> (Int, Int) #

decodeFloat :: Hecto u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Hecto u a #

exponent :: Hecto u a -> Int #

significand :: Hecto u a -> Hecto u a #

scaleFloat :: Int -> Hecto u a -> Hecto u a #

isNaN :: Hecto u a -> Bool #

isInfinite :: Hecto u a -> Bool #

isDenormalized :: Hecto u a -> Bool #

isNegativeZero :: Hecto u a -> Bool #

isIEEE :: Hecto u a -> Bool #

atan2 :: Hecto u a -> Hecto u a -> Hecto u a #

Num (u a) => Num (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Hecto u a -> Hecto u a -> Hecto u a #

(-) :: Hecto u a -> Hecto u a -> Hecto u a #

(*) :: Hecto u a -> Hecto u a -> Hecto u a #

negate :: Hecto u a -> Hecto u a #

abs :: Hecto u a -> Hecto u a #

signum :: Hecto u a -> Hecto u a #

fromInteger :: Integer -> Hecto u a #

Fractional (u a) => Fractional (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Hecto u a -> Hecto u a -> Hecto u a #

recip :: Hecto u a -> Hecto u a #

fromRational :: Rational -> Hecto u a #

Real (u a) => Real (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Hecto u a -> Rational #

RealFrac (u a) => RealFrac (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Hecto u a -> b #

round :: Integral b => Hecto u a -> b #

ceiling :: Integral b => Hecto u a -> b #

floor :: Integral b => Hecto u a -> b #

(Show a, ShowUnit u) => Show (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Hecto u a -> ShowS #

show :: Hecto u a -> String #

showList :: [Hecto u a] -> ShowS #

Eq (u a) => Eq (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Hecto u a -> Hecto u a -> Bool #

(/=) :: Hecto u a -> Hecto u a -> Bool #

Ord (u a) => Ord (Hecto u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Hecto u a -> Hecto u a -> Ordering #

(<) :: Hecto u a -> Hecto u a -> Bool #

(<=) :: Hecto u a -> Hecto u a -> Bool #

(>) :: Hecto u a -> Hecto u a -> Bool #

(>=) :: Hecto u a -> Hecto u a -> Bool #

max :: Hecto u a -> Hecto u a -> Hecto u a #

min :: Hecto u a -> Hecto u a -> Hecto u a #

type ShowPrefixType Hecto Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Hecto = 'Text "h"

type DimOf (Hecto u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Hecto u0) = DimOf (MetaPrefix Hecto u0)

type ShowUnitType (Hecto u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Hecto u) = ShowUnitType (MetaPrefix Hecto u)

newtype Kilo (u :: Unit) a Source #

SI prefix for 10³

Constructors

Kilo (u a)

Instances

Instances details

ShowPrefix Kilo Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Kilo
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Kilo = 'Text "k"

Methods

Fractional a => PrefixFactor Kilo a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Kilo u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Kilo u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Kilo u0) = DimOf (MetaPrefix Kilo u0)

ShowUnit u => ShowUnit (Kilo u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Kilo u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Kilo u) = ShowUnitType (MetaPrefix Kilo u)

Methods

ConversionFactor u a => ConversionFactor (Kilo u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Kilo u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Kilo u a -> BaseUnitOf (Kilo u) a Source #

fromBaseUnit :: BaseUnitOf (Kilo u) a -> Kilo u a Source #

Floating (u a) => Floating (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Kilo u a #

exp :: Kilo u a -> Kilo u a #

log :: Kilo u a -> Kilo u a #

sqrt :: Kilo u a -> Kilo u a #

(**) :: Kilo u a -> Kilo u a -> Kilo u a #

logBase :: Kilo u a -> Kilo u a -> Kilo u a #

sin :: Kilo u a -> Kilo u a #

cos :: Kilo u a -> Kilo u a #

tan :: Kilo u a -> Kilo u a #

asin :: Kilo u a -> Kilo u a #

acos :: Kilo u a -> Kilo u a #

atan :: Kilo u a -> Kilo u a #

sinh :: Kilo u a -> Kilo u a #

cosh :: Kilo u a -> Kilo u a #

tanh :: Kilo u a -> Kilo u a #

asinh :: Kilo u a -> Kilo u a #

acosh :: Kilo u a -> Kilo u a #

atanh :: Kilo u a -> Kilo u a #

log1p :: Kilo u a -> Kilo u a #

expm1 :: Kilo u a -> Kilo u a #

log1pexp :: Kilo u a -> Kilo u a #

log1mexp :: Kilo u a -> Kilo u a #

RealFloat (u a) => RealFloat (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Kilo u a -> Integer #

floatDigits :: Kilo u a -> Int #

floatRange :: Kilo u a -> (Int, Int) #

decodeFloat :: Kilo u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Kilo u a #

exponent :: Kilo u a -> Int #

significand :: Kilo u a -> Kilo u a #

scaleFloat :: Int -> Kilo u a -> Kilo u a #

isNaN :: Kilo u a -> Bool #

isInfinite :: Kilo u a -> Bool #

isDenormalized :: Kilo u a -> Bool #

isNegativeZero :: Kilo u a -> Bool #

isIEEE :: Kilo u a -> Bool #

atan2 :: Kilo u a -> Kilo u a -> Kilo u a #

Num (u a) => Num (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Kilo u a -> Kilo u a -> Kilo u a #

(-) :: Kilo u a -> Kilo u a -> Kilo u a #

(*) :: Kilo u a -> Kilo u a -> Kilo u a #

negate :: Kilo u a -> Kilo u a #

abs :: Kilo u a -> Kilo u a #

signum :: Kilo u a -> Kilo u a #

fromInteger :: Integer -> Kilo u a #

Fractional (u a) => Fractional (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Kilo u a -> Kilo u a -> Kilo u a #

recip :: Kilo u a -> Kilo u a #

fromRational :: Rational -> Kilo u a #

Real (u a) => Real (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Kilo u a -> Rational #

RealFrac (u a) => RealFrac (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Kilo u a -> b #

round :: Integral b => Kilo u a -> b #

ceiling :: Integral b => Kilo u a -> b #

floor :: Integral b => Kilo u a -> b #

(Show a, ShowUnit u) => Show (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Kilo u a -> ShowS #

show :: Kilo u a -> String #

showList :: [Kilo u a] -> ShowS #

Eq (u a) => Eq (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Kilo u a -> Kilo u a -> Bool #

(/=) :: Kilo u a -> Kilo u a -> Bool #

Ord (u a) => Ord (Kilo u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Kilo u a -> Kilo u a -> Ordering #

(<) :: Kilo u a -> Kilo u a -> Bool #

(<=) :: Kilo u a -> Kilo u a -> Bool #

(>) :: Kilo u a -> Kilo u a -> Bool #

(>=) :: Kilo u a -> Kilo u a -> Bool #

max :: Kilo u a -> Kilo u a -> Kilo u a #

min :: Kilo u a -> Kilo u a -> Kilo u a #

type ShowPrefixType Kilo Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Kilo = 'Text "k"

type DimOf (Kilo u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Kilo u0) = DimOf (MetaPrefix Kilo u0)

type ShowUnitType (Kilo u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Kilo u) = ShowUnitType (MetaPrefix Kilo u)

newtype Mega (u :: Unit) a Source #

SI prefix for 10⁶

Constructors

Mega (u a)

Instances

Instances details

ShowPrefix Mega Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Mega
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Mega = 'Text "M"

Methods

Fractional a => PrefixFactor Mega a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Mega u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Mega u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Mega u0) = DimOf (MetaPrefix Mega u0)

ShowUnit u => ShowUnit (Mega u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Mega u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Mega u) = ShowUnitType (MetaPrefix Mega u)

Methods

ConversionFactor u a => ConversionFactor (Mega u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Mega u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Mega u a -> BaseUnitOf (Mega u) a Source #

fromBaseUnit :: BaseUnitOf (Mega u) a -> Mega u a Source #

Floating (u a) => Floating (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Mega u a #

exp :: Mega u a -> Mega u a #

log :: Mega u a -> Mega u a #

sqrt :: Mega u a -> Mega u a #

(**) :: Mega u a -> Mega u a -> Mega u a #

logBase :: Mega u a -> Mega u a -> Mega u a #

sin :: Mega u a -> Mega u a #

cos :: Mega u a -> Mega u a #

tan :: Mega u a -> Mega u a #

asin :: Mega u a -> Mega u a #

acos :: Mega u a -> Mega u a #

atan :: Mega u a -> Mega u a #

sinh :: Mega u a -> Mega u a #

cosh :: Mega u a -> Mega u a #

tanh :: Mega u a -> Mega u a #

asinh :: Mega u a -> Mega u a #

acosh :: Mega u a -> Mega u a #

atanh :: Mega u a -> Mega u a #

log1p :: Mega u a -> Mega u a #

expm1 :: Mega u a -> Mega u a #

log1pexp :: Mega u a -> Mega u a #

log1mexp :: Mega u a -> Mega u a #

RealFloat (u a) => RealFloat (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Mega u a -> Integer #

floatDigits :: Mega u a -> Int #

floatRange :: Mega u a -> (Int, Int) #

decodeFloat :: Mega u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Mega u a #

exponent :: Mega u a -> Int #

significand :: Mega u a -> Mega u a #

scaleFloat :: Int -> Mega u a -> Mega u a #

isNaN :: Mega u a -> Bool #

isInfinite :: Mega u a -> Bool #

isDenormalized :: Mega u a -> Bool #

isNegativeZero :: Mega u a -> Bool #

isIEEE :: Mega u a -> Bool #

atan2 :: Mega u a -> Mega u a -> Mega u a #

Num (u a) => Num (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Mega u a -> Mega u a -> Mega u a #

(-) :: Mega u a -> Mega u a -> Mega u a #

(*) :: Mega u a -> Mega u a -> Mega u a #

negate :: Mega u a -> Mega u a #

abs :: Mega u a -> Mega u a #

signum :: Mega u a -> Mega u a #

fromInteger :: Integer -> Mega u a #

Fractional (u a) => Fractional (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Mega u a -> Mega u a -> Mega u a #

recip :: Mega u a -> Mega u a #

fromRational :: Rational -> Mega u a #

Real (u a) => Real (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Mega u a -> Rational #

RealFrac (u a) => RealFrac (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Mega u a -> b #

round :: Integral b => Mega u a -> b #

ceiling :: Integral b => Mega u a -> b #

floor :: Integral b => Mega u a -> b #

(Show a, ShowUnit u) => Show (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Mega u a -> ShowS #

show :: Mega u a -> String #

showList :: [Mega u a] -> ShowS #

Eq (u a) => Eq (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Mega u a -> Mega u a -> Bool #

(/=) :: Mega u a -> Mega u a -> Bool #

Ord (u a) => Ord (Mega u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Mega u a -> Mega u a -> Ordering #

(<) :: Mega u a -> Mega u a -> Bool #

(<=) :: Mega u a -> Mega u a -> Bool #

(>) :: Mega u a -> Mega u a -> Bool #

(>=) :: Mega u a -> Mega u a -> Bool #

max :: Mega u a -> Mega u a -> Mega u a #

min :: Mega u a -> Mega u a -> Mega u a #

type ShowPrefixType Mega Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Mega = 'Text "M"

type DimOf (Mega u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Mega u0) = DimOf (MetaPrefix Mega u0)

type ShowUnitType (Mega u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Mega u) = ShowUnitType (MetaPrefix Mega u)

newtype Giga (u :: Unit) a Source #

SI prefix for 10⁹

Constructors

Giga (u a)

Instances

Instances details

ShowPrefix Giga Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Giga
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Giga = 'Text "G"

Methods

Fractional a => PrefixFactor Giga a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Giga u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Giga u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Giga u0) = DimOf (MetaPrefix Giga u0)

ShowUnit u => ShowUnit (Giga u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Giga u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Giga u) = ShowUnitType (MetaPrefix Giga u)

Methods

ConversionFactor u a => ConversionFactor (Giga u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Giga u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Giga u a -> BaseUnitOf (Giga u) a Source #

fromBaseUnit :: BaseUnitOf (Giga u) a -> Giga u a Source #

Floating (u a) => Floating (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Giga u a #

exp :: Giga u a -> Giga u a #

log :: Giga u a -> Giga u a #

sqrt :: Giga u a -> Giga u a #

(**) :: Giga u a -> Giga u a -> Giga u a #

logBase :: Giga u a -> Giga u a -> Giga u a #

sin :: Giga u a -> Giga u a #

cos :: Giga u a -> Giga u a #

tan :: Giga u a -> Giga u a #

asin :: Giga u a -> Giga u a #

acos :: Giga u a -> Giga u a #

atan :: Giga u a -> Giga u a #

sinh :: Giga u a -> Giga u a #

cosh :: Giga u a -> Giga u a #

tanh :: Giga u a -> Giga u a #

asinh :: Giga u a -> Giga u a #

acosh :: Giga u a -> Giga u a #

atanh :: Giga u a -> Giga u a #

log1p :: Giga u a -> Giga u a #

expm1 :: Giga u a -> Giga u a #

log1pexp :: Giga u a -> Giga u a #

log1mexp :: Giga u a -> Giga u a #

RealFloat (u a) => RealFloat (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Giga u a -> Integer #

floatDigits :: Giga u a -> Int #

floatRange :: Giga u a -> (Int, Int) #

decodeFloat :: Giga u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Giga u a #

exponent :: Giga u a -> Int #

significand :: Giga u a -> Giga u a #

scaleFloat :: Int -> Giga u a -> Giga u a #

isNaN :: Giga u a -> Bool #

isInfinite :: Giga u a -> Bool #

isDenormalized :: Giga u a -> Bool #

isNegativeZero :: Giga u a -> Bool #

isIEEE :: Giga u a -> Bool #

atan2 :: Giga u a -> Giga u a -> Giga u a #

Num (u a) => Num (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Giga u a -> Giga u a -> Giga u a #

(-) :: Giga u a -> Giga u a -> Giga u a #

(*) :: Giga u a -> Giga u a -> Giga u a #

negate :: Giga u a -> Giga u a #

abs :: Giga u a -> Giga u a #

signum :: Giga u a -> Giga u a #

fromInteger :: Integer -> Giga u a #

Fractional (u a) => Fractional (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Giga u a -> Giga u a -> Giga u a #

recip :: Giga u a -> Giga u a #

fromRational :: Rational -> Giga u a #

Real (u a) => Real (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Giga u a -> Rational #

RealFrac (u a) => RealFrac (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Giga u a -> b #

round :: Integral b => Giga u a -> b #

ceiling :: Integral b => Giga u a -> b #

floor :: Integral b => Giga u a -> b #

(Show a, ShowUnit u) => Show (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Giga u a -> ShowS #

show :: Giga u a -> String #

showList :: [Giga u a] -> ShowS #

Eq (u a) => Eq (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Giga u a -> Giga u a -> Bool #

(/=) :: Giga u a -> Giga u a -> Bool #

Ord (u a) => Ord (Giga u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Giga u a -> Giga u a -> Ordering #

(<) :: Giga u a -> Giga u a -> Bool #

(<=) :: Giga u a -> Giga u a -> Bool #

(>) :: Giga u a -> Giga u a -> Bool #

(>=) :: Giga u a -> Giga u a -> Bool #

max :: Giga u a -> Giga u a -> Giga u a #

min :: Giga u a -> Giga u a -> Giga u a #

type ShowPrefixType Giga Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Giga = 'Text "G"

type DimOf (Giga u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Giga u0) = DimOf (MetaPrefix Giga u0)

type ShowUnitType (Giga u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Giga u) = ShowUnitType (MetaPrefix Giga u)

newtype Tera (u :: Unit) a Source #

SI prefix for 10¹²

Constructors

Tera (u a)

Instances

Instances details

ShowPrefix Tera Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Tera
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Tera = 'Text "T"

Methods

Fractional a => PrefixFactor Tera a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Tera u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Tera u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Tera u0) = DimOf (MetaPrefix Tera u0)

ShowUnit u => ShowUnit (Tera u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Tera u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Tera u) = ShowUnitType (MetaPrefix Tera u)

Methods

ConversionFactor u a => ConversionFactor (Tera u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Tera u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Tera u a -> BaseUnitOf (Tera u) a Source #

fromBaseUnit :: BaseUnitOf (Tera u) a -> Tera u a Source #

Floating (u a) => Floating (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Tera u a #

exp :: Tera u a -> Tera u a #

log :: Tera u a -> Tera u a #

sqrt :: Tera u a -> Tera u a #

(**) :: Tera u a -> Tera u a -> Tera u a #

logBase :: Tera u a -> Tera u a -> Tera u a #

sin :: Tera u a -> Tera u a #

cos :: Tera u a -> Tera u a #

tan :: Tera u a -> Tera u a #

asin :: Tera u a -> Tera u a #

acos :: Tera u a -> Tera u a #

atan :: Tera u a -> Tera u a #

sinh :: Tera u a -> Tera u a #

cosh :: Tera u a -> Tera u a #

tanh :: Tera u a -> Tera u a #

asinh :: Tera u a -> Tera u a #

acosh :: Tera u a -> Tera u a #

atanh :: Tera u a -> Tera u a #

log1p :: Tera u a -> Tera u a #

expm1 :: Tera u a -> Tera u a #

log1pexp :: Tera u a -> Tera u a #

log1mexp :: Tera u a -> Tera u a #

RealFloat (u a) => RealFloat (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Tera u a -> Integer #

floatDigits :: Tera u a -> Int #

floatRange :: Tera u a -> (Int, Int) #

decodeFloat :: Tera u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Tera u a #

exponent :: Tera u a -> Int #

significand :: Tera u a -> Tera u a #

scaleFloat :: Int -> Tera u a -> Tera u a #

isNaN :: Tera u a -> Bool #

isInfinite :: Tera u a -> Bool #

isDenormalized :: Tera u a -> Bool #

isNegativeZero :: Tera u a -> Bool #

isIEEE :: Tera u a -> Bool #

atan2 :: Tera u a -> Tera u a -> Tera u a #

Num (u a) => Num (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Tera u a -> Tera u a -> Tera u a #

(-) :: Tera u a -> Tera u a -> Tera u a #

(*) :: Tera u a -> Tera u a -> Tera u a #

negate :: Tera u a -> Tera u a #

abs :: Tera u a -> Tera u a #

signum :: Tera u a -> Tera u a #

fromInteger :: Integer -> Tera u a #

Fractional (u a) => Fractional (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Tera u a -> Tera u a -> Tera u a #

recip :: Tera u a -> Tera u a #

fromRational :: Rational -> Tera u a #

Real (u a) => Real (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Tera u a -> Rational #

RealFrac (u a) => RealFrac (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Tera u a -> b #

round :: Integral b => Tera u a -> b #

ceiling :: Integral b => Tera u a -> b #

floor :: Integral b => Tera u a -> b #

(Show a, ShowUnit u) => Show (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Tera u a -> ShowS #

show :: Tera u a -> String #

showList :: [Tera u a] -> ShowS #

Eq (u a) => Eq (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Tera u a -> Tera u a -> Bool #

(/=) :: Tera u a -> Tera u a -> Bool #

Ord (u a) => Ord (Tera u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Tera u a -> Tera u a -> Ordering #

(<) :: Tera u a -> Tera u a -> Bool #

(<=) :: Tera u a -> Tera u a -> Bool #

(>) :: Tera u a -> Tera u a -> Bool #

(>=) :: Tera u a -> Tera u a -> Bool #

max :: Tera u a -> Tera u a -> Tera u a #

min :: Tera u a -> Tera u a -> Tera u a #

type ShowPrefixType Tera Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Tera = 'Text "T"

type DimOf (Tera u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Tera u0) = DimOf (MetaPrefix Tera u0)

type ShowUnitType (Tera u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Tera u) = ShowUnitType (MetaPrefix Tera u)

newtype Peta (u :: Unit) a Source #

SI prefix for 10¹⁵

Constructors

Peta (u a)

Instances

Instances details

ShowPrefix Peta Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Peta
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Peta = 'Text "P"

Methods

Fractional a => PrefixFactor Peta a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Peta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Peta u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Peta u0) = DimOf (MetaPrefix Peta u0)

ShowUnit u => ShowUnit (Peta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Peta u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Peta u) = ShowUnitType (MetaPrefix Peta u)

Methods

ConversionFactor u a => ConversionFactor (Peta u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Peta u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Peta u a -> BaseUnitOf (Peta u) a Source #

fromBaseUnit :: BaseUnitOf (Peta u) a -> Peta u a Source #

Floating (u a) => Floating (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Peta u a #

exp :: Peta u a -> Peta u a #

log :: Peta u a -> Peta u a #

sqrt :: Peta u a -> Peta u a #

(**) :: Peta u a -> Peta u a -> Peta u a #

logBase :: Peta u a -> Peta u a -> Peta u a #

sin :: Peta u a -> Peta u a #

cos :: Peta u a -> Peta u a #

tan :: Peta u a -> Peta u a #

asin :: Peta u a -> Peta u a #

acos :: Peta u a -> Peta u a #

atan :: Peta u a -> Peta u a #

sinh :: Peta u a -> Peta u a #

cosh :: Peta u a -> Peta u a #

tanh :: Peta u a -> Peta u a #

asinh :: Peta u a -> Peta u a #

acosh :: Peta u a -> Peta u a #

atanh :: Peta u a -> Peta u a #

log1p :: Peta u a -> Peta u a #

expm1 :: Peta u a -> Peta u a #

log1pexp :: Peta u a -> Peta u a #

log1mexp :: Peta u a -> Peta u a #

RealFloat (u a) => RealFloat (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Peta u a -> Integer #

floatDigits :: Peta u a -> Int #

floatRange :: Peta u a -> (Int, Int) #

decodeFloat :: Peta u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Peta u a #

exponent :: Peta u a -> Int #

significand :: Peta u a -> Peta u a #

scaleFloat :: Int -> Peta u a -> Peta u a #

isNaN :: Peta u a -> Bool #

isInfinite :: Peta u a -> Bool #

isDenormalized :: Peta u a -> Bool #

isNegativeZero :: Peta u a -> Bool #

isIEEE :: Peta u a -> Bool #

atan2 :: Peta u a -> Peta u a -> Peta u a #

Num (u a) => Num (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Peta u a -> Peta u a -> Peta u a #

(-) :: Peta u a -> Peta u a -> Peta u a #

(*) :: Peta u a -> Peta u a -> Peta u a #

negate :: Peta u a -> Peta u a #

abs :: Peta u a -> Peta u a #

signum :: Peta u a -> Peta u a #

fromInteger :: Integer -> Peta u a #

Fractional (u a) => Fractional (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Peta u a -> Peta u a -> Peta u a #

recip :: Peta u a -> Peta u a #

fromRational :: Rational -> Peta u a #

Real (u a) => Real (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Peta u a -> Rational #

RealFrac (u a) => RealFrac (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Peta u a -> b #

round :: Integral b => Peta u a -> b #

ceiling :: Integral b => Peta u a -> b #

floor :: Integral b => Peta u a -> b #

(Show a, ShowUnit u) => Show (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Peta u a -> ShowS #

show :: Peta u a -> String #

showList :: [Peta u a] -> ShowS #

Eq (u a) => Eq (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Peta u a -> Peta u a -> Bool #

(/=) :: Peta u a -> Peta u a -> Bool #

Ord (u a) => Ord (Peta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Peta u a -> Peta u a -> Ordering #

(<) :: Peta u a -> Peta u a -> Bool #

(<=) :: Peta u a -> Peta u a -> Bool #

(>) :: Peta u a -> Peta u a -> Bool #

(>=) :: Peta u a -> Peta u a -> Bool #

max :: Peta u a -> Peta u a -> Peta u a #

min :: Peta u a -> Peta u a -> Peta u a #

type ShowPrefixType Peta Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Peta = 'Text "P"

type DimOf (Peta u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Peta u0) = DimOf (MetaPrefix Peta u0)

type ShowUnitType (Peta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Peta u) = ShowUnitType (MetaPrefix Peta u)

newtype Exa (u :: Unit) a Source #

SI prefix for 10¹⁸

Constructors

Exa (u a)

Instances

Instances details

ShowPrefix Exa Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Exa
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Exa = 'Text "E"

Methods

Fractional a => PrefixFactor Exa a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Exa u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Exa u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Exa u0) = DimOf (MetaPrefix Exa u0)

ShowUnit u => ShowUnit (Exa u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Exa u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Exa u) = ShowUnitType (MetaPrefix Exa u)

Methods

ConversionFactor u a => ConversionFactor (Exa u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Exa u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Exa u a -> BaseUnitOf (Exa u) a Source #

fromBaseUnit :: BaseUnitOf (Exa u) a -> Exa u a Source #

Floating (u a) => Floating (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Exa u a #

exp :: Exa u a -> Exa u a #

log :: Exa u a -> Exa u a #

sqrt :: Exa u a -> Exa u a #

(**) :: Exa u a -> Exa u a -> Exa u a #

logBase :: Exa u a -> Exa u a -> Exa u a #

sin :: Exa u a -> Exa u a #

cos :: Exa u a -> Exa u a #

tan :: Exa u a -> Exa u a #

asin :: Exa u a -> Exa u a #

acos :: Exa u a -> Exa u a #

atan :: Exa u a -> Exa u a #

sinh :: Exa u a -> Exa u a #

cosh :: Exa u a -> Exa u a #

tanh :: Exa u a -> Exa u a #

asinh :: Exa u a -> Exa u a #

acosh :: Exa u a -> Exa u a #

atanh :: Exa u a -> Exa u a #

log1p :: Exa u a -> Exa u a #

expm1 :: Exa u a -> Exa u a #

log1pexp :: Exa u a -> Exa u a #

log1mexp :: Exa u a -> Exa u a #

RealFloat (u a) => RealFloat (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Exa u a -> Integer #

floatDigits :: Exa u a -> Int #

floatRange :: Exa u a -> (Int, Int) #

decodeFloat :: Exa u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Exa u a #

exponent :: Exa u a -> Int #

significand :: Exa u a -> Exa u a #

scaleFloat :: Int -> Exa u a -> Exa u a #

isNaN :: Exa u a -> Bool #

isInfinite :: Exa u a -> Bool #

isDenormalized :: Exa u a -> Bool #

isNegativeZero :: Exa u a -> Bool #

isIEEE :: Exa u a -> Bool #

atan2 :: Exa u a -> Exa u a -> Exa u a #

Num (u a) => Num (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Exa u a -> Exa u a -> Exa u a #

(-) :: Exa u a -> Exa u a -> Exa u a #

(*) :: Exa u a -> Exa u a -> Exa u a #

negate :: Exa u a -> Exa u a #

abs :: Exa u a -> Exa u a #

signum :: Exa u a -> Exa u a #

fromInteger :: Integer -> Exa u a #

Fractional (u a) => Fractional (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Exa u a -> Exa u a -> Exa u a #

recip :: Exa u a -> Exa u a #

fromRational :: Rational -> Exa u a #

Real (u a) => Real (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Exa u a -> Rational #

RealFrac (u a) => RealFrac (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Exa u a -> b #

round :: Integral b => Exa u a -> b #

ceiling :: Integral b => Exa u a -> b #

floor :: Integral b => Exa u a -> b #

(Show a, ShowUnit u) => Show (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Exa u a -> ShowS #

show :: Exa u a -> String #

showList :: [Exa u a] -> ShowS #

Eq (u a) => Eq (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Exa u a -> Exa u a -> Bool #

(/=) :: Exa u a -> Exa u a -> Bool #

Ord (u a) => Ord (Exa u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Exa u a -> Exa u a -> Ordering #

(<) :: Exa u a -> Exa u a -> Bool #

(<=) :: Exa u a -> Exa u a -> Bool #

(>) :: Exa u a -> Exa u a -> Bool #

(>=) :: Exa u a -> Exa u a -> Bool #

max :: Exa u a -> Exa u a -> Exa u a #

min :: Exa u a -> Exa u a -> Exa u a #

type ShowPrefixType Exa Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Exa = 'Text "E"

type DimOf (Exa u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Exa u0) = DimOf (MetaPrefix Exa u0)

type ShowUnitType (Exa u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Exa u) = ShowUnitType (MetaPrefix Exa u)

newtype Zetta (u :: Unit) a Source #

SI prefix for 10²¹

Constructors

Zetta (u a)

Instances

Instances details

ShowPrefix Zetta Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Zetta
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Zetta = 'Text "Z"

Methods

Fractional a => PrefixFactor Zetta a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Zetta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Zetta u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Zetta u0) = DimOf (MetaPrefix Zetta u0)

ShowUnit u => ShowUnit (Zetta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Zetta u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Zetta u) = ShowUnitType (MetaPrefix Zetta u)

Methods

ConversionFactor u a => ConversionFactor (Zetta u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Zetta u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Zetta u a -> BaseUnitOf (Zetta u) a Source #

fromBaseUnit :: BaseUnitOf (Zetta u) a -> Zetta u a Source #

Floating (u a) => Floating (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Zetta u a #

exp :: Zetta u a -> Zetta u a #

log :: Zetta u a -> Zetta u a #

sqrt :: Zetta u a -> Zetta u a #

(**) :: Zetta u a -> Zetta u a -> Zetta u a #

logBase :: Zetta u a -> Zetta u a -> Zetta u a #

sin :: Zetta u a -> Zetta u a #

cos :: Zetta u a -> Zetta u a #

tan :: Zetta u a -> Zetta u a #

asin :: Zetta u a -> Zetta u a #

acos :: Zetta u a -> Zetta u a #

atan :: Zetta u a -> Zetta u a #

sinh :: Zetta u a -> Zetta u a #

cosh :: Zetta u a -> Zetta u a #

tanh :: Zetta u a -> Zetta u a #

asinh :: Zetta u a -> Zetta u a #

acosh :: Zetta u a -> Zetta u a #

atanh :: Zetta u a -> Zetta u a #

log1p :: Zetta u a -> Zetta u a #

expm1 :: Zetta u a -> Zetta u a #

log1pexp :: Zetta u a -> Zetta u a #

log1mexp :: Zetta u a -> Zetta u a #

RealFloat (u a) => RealFloat (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Zetta u a -> Integer #

floatDigits :: Zetta u a -> Int #

floatRange :: Zetta u a -> (Int, Int) #

decodeFloat :: Zetta u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Zetta u a #

exponent :: Zetta u a -> Int #

significand :: Zetta u a -> Zetta u a #

scaleFloat :: Int -> Zetta u a -> Zetta u a #

isNaN :: Zetta u a -> Bool #

isInfinite :: Zetta u a -> Bool #

isDenormalized :: Zetta u a -> Bool #

isNegativeZero :: Zetta u a -> Bool #

isIEEE :: Zetta u a -> Bool #

atan2 :: Zetta u a -> Zetta u a -> Zetta u a #

Num (u a) => Num (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Zetta u a -> Zetta u a -> Zetta u a #

(-) :: Zetta u a -> Zetta u a -> Zetta u a #

(*) :: Zetta u a -> Zetta u a -> Zetta u a #

negate :: Zetta u a -> Zetta u a #

abs :: Zetta u a -> Zetta u a #

signum :: Zetta u a -> Zetta u a #

fromInteger :: Integer -> Zetta u a #

Fractional (u a) => Fractional (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Zetta u a -> Zetta u a -> Zetta u a #

recip :: Zetta u a -> Zetta u a #

fromRational :: Rational -> Zetta u a #

Real (u a) => Real (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Zetta u a -> Rational #

RealFrac (u a) => RealFrac (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Zetta u a -> b #

round :: Integral b => Zetta u a -> b #

ceiling :: Integral b => Zetta u a -> b #

floor :: Integral b => Zetta u a -> b #

(Show a, ShowUnit u) => Show (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Zetta u a -> ShowS #

show :: Zetta u a -> String #

showList :: [Zetta u a] -> ShowS #

Eq (u a) => Eq (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Zetta u a -> Zetta u a -> Bool #

(/=) :: Zetta u a -> Zetta u a -> Bool #

Ord (u a) => Ord (Zetta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Zetta u a -> Zetta u a -> Ordering #

(<) :: Zetta u a -> Zetta u a -> Bool #

(<=) :: Zetta u a -> Zetta u a -> Bool #

(>) :: Zetta u a -> Zetta u a -> Bool #

(>=) :: Zetta u a -> Zetta u a -> Bool #

max :: Zetta u a -> Zetta u a -> Zetta u a #

min :: Zetta u a -> Zetta u a -> Zetta u a #

type ShowPrefixType Zetta Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Zetta = 'Text "Z"

type DimOf (Zetta u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Zetta u0) = DimOf (MetaPrefix Zetta u0)

type ShowUnitType (Zetta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Zetta u) = ShowUnitType (MetaPrefix Zetta u)

newtype Yotta (u :: Unit) a Source #

SI prefix for 10²⁴

Constructors

Yotta (u a)

Instances

Instances details

ShowPrefix Yotta Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Yotta
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Yotta = 'Text "Y"

Methods

Fractional a => PrefixFactor Yotta a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Yotta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Yotta u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Yotta u0) = DimOf (MetaPrefix Yotta u0)

ShowUnit u => ShowUnit (Yotta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Yotta u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Yotta u) = ShowUnitType (MetaPrefix Yotta u)

Methods

ConversionFactor u a => ConversionFactor (Yotta u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Yotta u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Yotta u a -> BaseUnitOf (Yotta u) a Source #

fromBaseUnit :: BaseUnitOf (Yotta u) a -> Yotta u a Source #

Floating (u a) => Floating (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Yotta u a #

exp :: Yotta u a -> Yotta u a #

log :: Yotta u a -> Yotta u a #

sqrt :: Yotta u a -> Yotta u a #

(**) :: Yotta u a -> Yotta u a -> Yotta u a #

logBase :: Yotta u a -> Yotta u a -> Yotta u a #

sin :: Yotta u a -> Yotta u a #

cos :: Yotta u a -> Yotta u a #

tan :: Yotta u a -> Yotta u a #

asin :: Yotta u a -> Yotta u a #

acos :: Yotta u a -> Yotta u a #

atan :: Yotta u a -> Yotta u a #

sinh :: Yotta u a -> Yotta u a #

cosh :: Yotta u a -> Yotta u a #

tanh :: Yotta u a -> Yotta u a #

asinh :: Yotta u a -> Yotta u a #

acosh :: Yotta u a -> Yotta u a #

atanh :: Yotta u a -> Yotta u a #

log1p :: Yotta u a -> Yotta u a #

expm1 :: Yotta u a -> Yotta u a #

log1pexp :: Yotta u a -> Yotta u a #

log1mexp :: Yotta u a -> Yotta u a #

RealFloat (u a) => RealFloat (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Yotta u a -> Integer #

floatDigits :: Yotta u a -> Int #

floatRange :: Yotta u a -> (Int, Int) #

decodeFloat :: Yotta u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Yotta u a #

exponent :: Yotta u a -> Int #

significand :: Yotta u a -> Yotta u a #

scaleFloat :: Int -> Yotta u a -> Yotta u a #

isNaN :: Yotta u a -> Bool #

isInfinite :: Yotta u a -> Bool #

isDenormalized :: Yotta u a -> Bool #

isNegativeZero :: Yotta u a -> Bool #

isIEEE :: Yotta u a -> Bool #

atan2 :: Yotta u a -> Yotta u a -> Yotta u a #

Num (u a) => Num (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Yotta u a -> Yotta u a -> Yotta u a #

(-) :: Yotta u a -> Yotta u a -> Yotta u a #

(*) :: Yotta u a -> Yotta u a -> Yotta u a #

negate :: Yotta u a -> Yotta u a #

abs :: Yotta u a -> Yotta u a #

signum :: Yotta u a -> Yotta u a #

fromInteger :: Integer -> Yotta u a #

Fractional (u a) => Fractional (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Yotta u a -> Yotta u a -> Yotta u a #

recip :: Yotta u a -> Yotta u a #

fromRational :: Rational -> Yotta u a #

Real (u a) => Real (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Yotta u a -> Rational #

RealFrac (u a) => RealFrac (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Yotta u a -> b #

round :: Integral b => Yotta u a -> b #

ceiling :: Integral b => Yotta u a -> b #

floor :: Integral b => Yotta u a -> b #

(Show a, ShowUnit u) => Show (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Yotta u a -> ShowS #

show :: Yotta u a -> String #

showList :: [Yotta u a] -> ShowS #

Eq (u a) => Eq (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Yotta u a -> Yotta u a -> Bool #

(/=) :: Yotta u a -> Yotta u a -> Bool #

Ord (u a) => Ord (Yotta u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Yotta u a -> Yotta u a -> Ordering #

(<) :: Yotta u a -> Yotta u a -> Bool #

(<=) :: Yotta u a -> Yotta u a -> Bool #

(>) :: Yotta u a -> Yotta u a -> Bool #

(>=) :: Yotta u a -> Yotta u a -> Bool #

max :: Yotta u a -> Yotta u a -> Yotta u a #

min :: Yotta u a -> Yotta u a -> Yotta u a #

type ShowPrefixType Yotta Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Yotta = 'Text "Y"

type DimOf (Yotta u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Yotta u0) = DimOf (MetaPrefix Yotta u0)

type ShowUnitType (Yotta u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Yotta u) = ShowUnitType (MetaPrefix Yotta u)

newtype Ronna (u :: Unit) a Source #

SI prefix for 10²⁷

Constructors

Ronna (u a)

Instances

Instances details

ShowPrefix Ronna Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Ronna
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Ronna = 'Text "R"

Methods

Fractional a => PrefixFactor Ronna a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Ronna u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Ronna u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Ronna u0) = DimOf (MetaPrefix Ronna u0)

ShowUnit u => ShowUnit (Ronna u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Ronna u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Ronna u) = ShowUnitType (MetaPrefix Ronna u)

Methods

ConversionFactor u a => ConversionFactor (Ronna u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

(ConvertibleUnit u a, Fractional a) => ConvertibleUnit (Ronna u) a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toBaseUnit :: Ronna u a -> BaseUnitOf (Ronna u) a Source #

fromBaseUnit :: BaseUnitOf (Ronna u) a -> Ronna u a Source #

Floating (u a) => Floating (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Ronna u a #

exp :: Ronna u a -> Ronna u a #

log :: Ronna u a -> Ronna u a #

sqrt :: Ronna u a -> Ronna u a #

(**) :: Ronna u a -> Ronna u a -> Ronna u a #

logBase :: Ronna u a -> Ronna u a -> Ronna u a #

sin :: Ronna u a -> Ronna u a #

cos :: Ronna u a -> Ronna u a #

tan :: Ronna u a -> Ronna u a #

asin :: Ronna u a -> Ronna u a #

acos :: Ronna u a -> Ronna u a #

atan :: Ronna u a -> Ronna u a #

sinh :: Ronna u a -> Ronna u a #

cosh :: Ronna u a -> Ronna u a #

tanh :: Ronna u a -> Ronna u a #

asinh :: Ronna u a -> Ronna u a #

acosh :: Ronna u a -> Ronna u a #

atanh :: Ronna u a -> Ronna u a #

log1p :: Ronna u a -> Ronna u a #

expm1 :: Ronna u a -> Ronna u a #

log1pexp :: Ronna u a -> Ronna u a #

log1mexp :: Ronna u a -> Ronna u a #

RealFloat (u a) => RealFloat (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Ronna u a -> Integer #

floatDigits :: Ronna u a -> Int #

floatRange :: Ronna u a -> (Int, Int) #

decodeFloat :: Ronna u a -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Ronna u a #

exponent :: Ronna u a -> Int #

significand :: Ronna u a -> Ronna u a #

scaleFloat :: Int -> Ronna u a -> Ronna u a #

isNaN :: Ronna u a -> Bool #

isInfinite :: Ronna u a -> Bool #

isDenormalized :: Ronna u a -> Bool #

isNegativeZero :: Ronna u a -> Bool #

isIEEE :: Ronna u a -> Bool #

atan2 :: Ronna u a -> Ronna u a -> Ronna u a #

Num (u a) => Num (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Ronna u a -> Ronna u a -> Ronna u a #

(-) :: Ronna u a -> Ronna u a -> Ronna u a #

(*) :: Ronna u a -> Ronna u a -> Ronna u a #

negate :: Ronna u a -> Ronna u a #

abs :: Ronna u a -> Ronna u a #

signum :: Ronna u a -> Ronna u a #

fromInteger :: Integer -> Ronna u a #

Fractional (u a) => Fractional (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Ronna u a -> Ronna u a -> Ronna u a #

recip :: Ronna u a -> Ronna u a #

fromRational :: Rational -> Ronna u a #

Real (u a) => Real (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Ronna u a -> Rational #

RealFrac (u a) => RealFrac (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Ronna u a -> b #

round :: Integral b => Ronna u a -> b #

ceiling :: Integral b => Ronna u a -> b #

floor :: Integral b => Ronna u a -> b #

(Show a, ShowUnit u) => Show (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Ronna u a -> ShowS #

show :: Ronna u a -> String #

showList :: [Ronna u a] -> ShowS #

Eq (u a) => Eq (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Ronna u a -> Ronna u a -> Bool #

(/=) :: Ronna u a -> Ronna u a -> Bool #

Ord (u a) => Ord (Ronna u a) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Ronna u a -> Ronna u a -> Ordering #

(<) :: Ronna u a -> Ronna u a -> Bool #

(<=) :: Ronna u a -> Ronna u a -> Bool #

(>) :: Ronna u a -> Ronna u a -> Bool #

(>=) :: Ronna u a -> Ronna u a -> Bool #

max :: Ronna u a -> Ronna u a -> Ronna u a #

min :: Ronna u a -> Ronna u a -> Ronna u a #

type ShowPrefixType Ronna Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Ronna = 'Text "R"

type DimOf (Ronna u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Ronna u0) = DimOf (MetaPrefix Ronna u0)

type ShowUnitType (Ronna u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Ronna u) = ShowUnitType (MetaPrefix Ronna u)

newtype Quecca (u :: Unit) a Source #

SI prefix for 10³⁰

Constructors

Quecca (u a)

Instances

Instances details

ShowPrefix Quecca Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Quecca
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Quecca = 'Text "Q"

Methods

Fractional a => PrefixFactor Quecca a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

IsUnit u => IsUnit (Quecca u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type DimOf (Quecca u0)
Instance details Defined in Data.Units.SI.Prefixes type DimOf (Quecca u0) = DimOf (MetaPrefix Quecca u0)

ShowUnit u => ShowUnit (Quecca u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowUnitType (Quecca u)
Instance details Defined in Data.Units.SI.Prefixes type ShowUnitType (Quecca u) = ShowUnitType (MetaPrefix Quecca u)

Methods