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

Data.Units.SI.Prefixes

Description

Prefixes for the International System of Units (abbreviated SI).

Synopsis

newtype Quecto (u :: Unit) a = Quecto (u a)
newtype Ronto (u :: Unit) a = Ronto (u a)
newtype Yocto (u :: Unit) a = Yocto (u a)
newtype Zepto (u :: Unit) a = Zepto (u a)
newtype Atto (u :: Unit) a = Atto (u a)
newtype Femto (u :: Unit) a = Femto (u a)
newtype Pico (u :: Unit) a = Pico (u a)
newtype Nano (u :: Unit) a = Nano (u a)
newtype Micro (u :: Unit) a = Micro (u a)
newtype Milli (u :: Unit) a = Milli (u a)
newtype Centi (u :: Unit) a = Centi (u a)
newtype Deci (u :: Unit) a = Deci (u a)
newtype Deca (u :: Unit) a = Deca (u a)
newtype Hecto (u :: Unit) a = Hecto (u a)
newtype Kilo (u :: Unit) a = Kilo (u a)
newtype Mega (u :: Unit) a = Mega (u a)
newtype Giga (u :: Unit) a = Giga (u a)
newtype Tera (u :: Unit) a = Tera (u a)
newtype Peta (u :: Unit) a = Peta (u a)
newtype Exa (u :: Unit) a = Exa (u a)
newtype Zetta (u :: Unit) a = Zetta (u a)
newtype Yotta (u :: Unit) a = Yotta (u a)
newtype Ronna (u :: Unit) a = Ronna (u a)
newtype Quecca (u :: Unit) a = Quecca (u a)

Documentation

newtype Quecto (u :: Unit) a Source #

SI prefix for 10⁻³⁰

Constructors

Quecto (u a)

Instances

Instances details

ShowPrefix Quecto Source #

Instance details

Defined in Data.Units.SI.Prefixes

Associated Types

type ShowPrefixType Quecto
Instance details Defined in Data.Units.SI.Prefixes type ShowPrefixType Quecto = 'Text "q"

Methods

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Quecto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Ronto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Yocto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Zepto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Atto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Femto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Pico a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Nano a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Micro a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Milli a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Centi a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Deci a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Deca a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Hecto a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Kilo a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Mega a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Giga a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Tera a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Peta a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Exa a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Zetta a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Yotta a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Ronna a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

showsPrefixPrec :: Int -> ShowS Source #

showPrefix :: String Source #

prettysPrefixPrec :: Int -> ShowS Source #

prettyPrefix :: String Source #

Fractional a => PrefixFactor Quecca a Source #

Instance details

Defined in Data.Units.SI.Prefixes

Methods

prefixFactor :: a Source #

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

showsUnitPrec :: Int -> ShowS Source #

showUnit :: String Source #

prettysUnitPrec :: Int -> ShowS Source #

prettyUnit :: String Source #

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

factor :: a Source #

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

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

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

pi :: Quecca u a

exp :: Quecca u a -> Quecca u a

log :: Quecca u a -> Quecca u a

sqrt :: Quecca u a -> Quecca u a

(**) :: Quecca u a -> Quecca u a -> Quecca u a

logBase :: Quecca u a -> Quecca u a -> Quecca u a

sin :: Quecca u a -> Quecca u a

cos :: Quecca u a -> Quecca u a

tan :: Quecca u a -> Quecca u a

asin :: Quecca u a -> Quecca u a

acos :: Quecca u a -> Quecca u a

atan :: Quecca u a -> Quecca u a

sinh :: Quecca u a -> Quecca u a

cosh :: Quecca u a -> Quecca u a

tanh :: Quecca u a -> Quecca u a

asinh :: Quecca u a -> Quecca u a

acosh :: Quecca u a -> Quecca u a

atanh :: Quecca u a -> Quecca u a

log1p :: Quecca u a -> Quecca u a

expm1 :: Quecca u a -> Quecca u a

log1pexp :: Quecca u a -> Quecca u a

log1mexp :: Quecca u a -> Quecca u a

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

floatRadix :: Quecca u a -> Integer

floatDigits :: Quecca u a -> Int

floatRange :: Quecca u a -> (Int, Int)

decodeFloat :: Quecca u a -> (Integer, Int)

encodeFloat :: Integer -> Int -> Quecca u a

exponent :: Quecca u a -> Int

significand :: Quecca u a -> Quecca u a

scaleFloat :: Int -> Quecca u a -> Quecca u a

isNaN :: Quecca u a -> Bool

isInfinite :: Quecca u a -> Bool

isDenormalized :: Quecca u a -> Bool

isNegativeZero :: Quecca u a -> Bool

isIEEE :: Quecca u a -> Bool

atan2 :: Quecca u a -> Quecca u a -> Quecca u a

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(+) :: Quecca u a -> Quecca u a -> Quecca u a

(-) :: Quecca u a -> Quecca u a -> Quecca u a

(*) :: Quecca u a -> Quecca u a -> Quecca u a

negate :: Quecca u a -> Quecca u a

abs :: Quecca u a -> Quecca u a

signum :: Quecca u a -> Quecca u a

fromInteger :: Integer -> Quecca u a

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(/) :: Quecca u a -> Quecca u a -> Quecca u a

recip :: Quecca u a -> Quecca u a

fromRational :: Rational -> Quecca u a

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

toRational :: Quecca u a -> Rational

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

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

truncate :: Integral b => Quecca u a -> b

round :: Integral b => Quecca u a -> b

ceiling :: Integral b => Quecca u a -> b

floor :: Integral b => Quecca u a -> b

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

showsPrec :: Int -> Quecca u a -> ShowS

show :: Quecca u a -> String

showList :: [Quecca u a] -> ShowS

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

(==) :: Quecca u a -> Quecca u a -> Bool

(/=) :: Quecca u a -> Quecca u a -> Bool

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

Instance details

Defined in Data.Units.SI.Prefixes

Methods

compare :: Quecca u a -> Quecca u a -> Ordering

(<) :: Quecca u a -> Quecca u a -> Bool

(<=) :: Quecca u a -> Quecca u a -> Bool

(>) :: Quecca u a -> Quecca u a -> Bool

(>=) :: Quecca u a -> Quecca u a -> Bool

max :: Quecca u a -> Quecca u a -> Quecca u a

min :: Quecca u a -> Quecca u a -> Quecca u a

type ShowPrefixType Quecca Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowPrefixType Quecca = 'Text "Q"

type DimOf (Quecca u0) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type DimOf (Quecca u0) = DimOf (MetaPrefix Quecca u0)

type ShowUnitType (Quecca u) Source #

Instance details

Defined in Data.Units.SI.Prefixes

type ShowUnitType (Quecca u) = ShowUnitType (MetaPrefix Quecca u)