convert-units-0.1: Statically typed unit conversions
Safe HaskellNone
LanguageGHC2024

Data.Units.UsCustomary.Length

Synopsis

Documentation

data Mil a Source #

Length in mils.

Instances

Instances details
IsUnit Mil Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Associated Types

type DimOf Mil 
Instance details

Defined in Data.Units.UsCustomary.Length

ShowUnit Mil Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Associated Types

type ShowUnitType Mil 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Mil = 'Text "mil"
Fractional a => ConversionFactor Mil a Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Mil a Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

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

Defined in Data.Units.UsCustomary.Length

Methods

pi :: Mil a #

exp :: Mil a -> Mil a #

log :: Mil a -> Mil a #

sqrt :: Mil a -> Mil a #

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

logBase :: Mil a -> Mil a -> Mil a #

sin :: Mil a -> Mil a #

cos :: Mil a -> Mil a #

tan :: Mil a -> Mil a #

asin :: Mil a -> Mil a #

acos :: Mil a -> Mil a #

atan :: Mil a -> Mil a #

sinh :: Mil a -> Mil a #

cosh :: Mil a -> Mil a #

tanh :: Mil a -> Mil a #

asinh :: Mil a -> Mil a #

acosh :: Mil a -> Mil a #

atanh :: Mil a -> Mil a #

log1p :: Mil a -> Mil a #

expm1 :: Mil a -> Mil a #

log1pexp :: Mil a -> Mil a #

log1mexp :: Mil a -> Mil a #

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

Defined in Data.Units.UsCustomary.Length

Methods

floatRadix :: Mil a -> Integer #

floatDigits :: Mil a -> Int #

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

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

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

exponent :: Mil a -> Int #

significand :: Mil a -> Mil a #

scaleFloat :: Int -> Mil a -> Mil a #

isNaN :: Mil a -> Bool #

isInfinite :: Mil a -> Bool #

isDenormalized :: Mil a -> Bool #

isNegativeZero :: Mil a -> Bool #

isIEEE :: Mil a -> Bool #

atan2 :: Mil a -> Mil a -> Mil a #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

(-) :: Mil a -> Mil a -> Mil a #

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

negate :: Mil a -> Mil a #

abs :: Mil a -> Mil a #

signum :: Mil a -> Mil a #

fromInteger :: Integer -> Mil a #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

recip :: Mil a -> Mil a #

fromRational :: Rational -> Mil a #

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

Defined in Data.Units.UsCustomary.Length

Methods

toRational :: Mil a -> Rational #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.UsCustomary.Length

Methods

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

show :: Mil a -> String #

showList :: [Mil a] -> ShowS #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

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

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

Defined in Data.Units.UsCustomary.Length

Methods

compare :: Mil a -> Mil a -> Ordering #

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

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

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

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

max :: Mil a -> Mil a -> Mil a #

min :: Mil a -> Mil a -> Mil a #

type DimOf Mil Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Mil Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Mil = 'Text "mil"

data Point a Source #

Length in points.

Instances

Instances details
IsUnit Point Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Associated Types

type DimOf Point 
Instance details

Defined in Data.Units.UsCustomary.Length

ShowUnit Point Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Associated Types

type ShowUnitType Point 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Point = 'Text "p"
Fractional a => ConversionFactor Point a Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Point a Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

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

Defined in Data.Units.UsCustomary.Length

Methods

pi :: Point a #

exp :: Point a -> Point a #

log :: Point a -> Point a #

sqrt :: Point a -> Point a #

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

logBase :: Point a -> Point a -> Point a #

sin :: Point a -> Point a #

cos :: Point a -> Point a #

tan :: Point a -> Point a #

asin :: Point a -> Point a #

acos :: Point a -> Point a #

atan :: Point a -> Point a #

sinh :: Point a -> Point a #

cosh :: Point a -> Point a #

tanh :: Point a -> Point a #

asinh :: Point a -> Point a #

acosh :: Point a -> Point a #

atanh :: Point a -> Point a #

log1p :: Point a -> Point a #

expm1 :: Point a -> Point a #

log1pexp :: Point a -> Point a #

log1mexp :: Point a -> Point a #

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

Defined in Data.Units.UsCustomary.Length

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

Defined in Data.Units.UsCustomary.Length

Methods

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

(-) :: Point a -> Point a -> Point a #

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

negate :: Point a -> Point a #

abs :: Point a -> Point a #

signum :: Point a -> Point a #

fromInteger :: Integer -> Point a #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

recip :: Point a -> Point a #

fromRational :: Rational -> Point a #

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

Defined in Data.Units.UsCustomary.Length

Methods

toRational :: Point a -> Rational #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.UsCustomary.Length

Methods

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

show :: Point a -> String #

showList :: [Point a] -> ShowS #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

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

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

Defined in Data.Units.UsCustomary.Length

Methods

compare :: Point a -> Point a -> Ordering #

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

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

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

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

max :: Point a -> Point a -> Point a #

min :: Point a -> Point a -> Point a #

type DimOf Point Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Point Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Point = 'Text "p"

data Pica a Source #

Length in picas.

Instances

Instances details
IsUnit Pica Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Associated Types

type DimOf Pica 
Instance details

Defined in Data.Units.UsCustomary.Length

ShowUnit Pica Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Associated Types

type ShowUnitType Pica 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Pica = 'Text "P"
Fractional a => ConversionFactor Pica a Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Pica a Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

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

Defined in Data.Units.UsCustomary.Length

Methods

pi :: Pica a #

exp :: Pica a -> Pica a #

log :: Pica a -> Pica a #

sqrt :: Pica a -> Pica a #

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

logBase :: Pica a -> Pica a -> Pica a #

sin :: Pica a -> Pica a #

cos :: Pica a -> Pica a #

tan :: Pica a -> Pica a #

asin :: Pica a -> Pica a #

acos :: Pica a -> Pica a #

atan :: Pica a -> Pica a #

sinh :: Pica a -> Pica a #

cosh :: Pica a -> Pica a #

tanh :: Pica a -> Pica a #

asinh :: Pica a -> Pica a #

acosh :: Pica a -> Pica a #

atanh :: Pica a -> Pica a #

log1p :: Pica a -> Pica a #

expm1 :: Pica a -> Pica a #

log1pexp :: Pica a -> Pica a #

log1mexp :: Pica a -> Pica a #

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

Defined in Data.Units.UsCustomary.Length

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

Defined in Data.Units.UsCustomary.Length

Methods

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

(-) :: Pica a -> Pica a -> Pica a #

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

negate :: Pica a -> Pica a #

abs :: Pica a -> Pica a #

signum :: Pica a -> Pica a #

fromInteger :: Integer -> Pica a #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

recip :: Pica a -> Pica a #

fromRational :: Rational -> Pica a #

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

Defined in Data.Units.UsCustomary.Length

Methods

toRational :: Pica a -> Rational #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.UsCustomary.Length

Methods

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

show :: Pica a -> String #

showList :: [Pica a] -> ShowS #

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

Defined in Data.Units.UsCustomary.Length

Methods

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

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

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

Defined in Data.Units.UsCustomary.Length

Methods

compare :: Pica a -> Pica a -> Ordering #

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

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

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

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

max :: Pica a -> Pica a -> Pica a #

min :: Pica a -> Pica a -> Pica a #

type DimOf Pica Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Pica Source # 
Instance details

Defined in Data.Units.UsCustomary.Length

type ShowUnitType Pica = 'Text "P"

data Twip a Source #

Length in twips.

Instances

Instances details
IsUnit Twip Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Twip 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Twip Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Twip 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Twip = 'Text "twip"
Fractional a => ConversionFactor Twip a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Twip a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Twip a #

exp :: Twip a -> Twip a #

log :: Twip a -> Twip a #

sqrt :: Twip a -> Twip a #

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

logBase :: Twip a -> Twip a -> Twip a #

sin :: Twip a -> Twip a #

cos :: Twip a -> Twip a #

tan :: Twip a -> Twip a #

asin :: Twip a -> Twip a #

acos :: Twip a -> Twip a #

atan :: Twip a -> Twip a #

sinh :: Twip a -> Twip a #

cosh :: Twip a -> Twip a #

tanh :: Twip a -> Twip a #

asinh :: Twip a -> Twip a #

acosh :: Twip a -> Twip a #

atanh :: Twip a -> Twip a #

log1p :: Twip a -> Twip a #

expm1 :: Twip a -> Twip a #

log1pexp :: Twip a -> Twip a #

log1mexp :: Twip a -> Twip a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Twip a -> Twip a -> Twip a #

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

negate :: Twip a -> Twip a #

abs :: Twip a -> Twip a #

signum :: Twip a -> Twip a #

fromInteger :: Integer -> Twip a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Twip a -> Twip a #

fromRational :: Rational -> Twip a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Twip a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Twip a -> String #

showList :: [Twip a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Twip a -> Twip a -> Ordering #

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

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

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

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

max :: Twip a -> Twip a -> Twip a #

min :: Twip a -> Twip a -> Twip a #

type DimOf Twip Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Twip Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Twip = 'Text "twip"

data Inch a Source #

Length in inches.

Instances

Instances details
IsUnit Inch Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Inch 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Inch Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Inch 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Inch = 'Text "in"
Fractional a => ConversionFactor Inch a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Inch a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Inch a #

exp :: Inch a -> Inch a #

log :: Inch a -> Inch a #

sqrt :: Inch a -> Inch a #

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

logBase :: Inch a -> Inch a -> Inch a #

sin :: Inch a -> Inch a #

cos :: Inch a -> Inch a #

tan :: Inch a -> Inch a #

asin :: Inch a -> Inch a #

acos :: Inch a -> Inch a #

atan :: Inch a -> Inch a #

sinh :: Inch a -> Inch a #

cosh :: Inch a -> Inch a #

tanh :: Inch a -> Inch a #

asinh :: Inch a -> Inch a #

acosh :: Inch a -> Inch a #

atanh :: Inch a -> Inch a #

log1p :: Inch a -> Inch a #

expm1 :: Inch a -> Inch a #

log1pexp :: Inch a -> Inch a #

log1mexp :: Inch a -> Inch a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Inch a -> Inch a -> Inch a #

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

negate :: Inch a -> Inch a #

abs :: Inch a -> Inch a #

signum :: Inch a -> Inch a #

fromInteger :: Integer -> Inch a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Inch a -> Inch a #

fromRational :: Rational -> Inch a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Inch a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Inch a -> String #

showList :: [Inch a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Inch a -> Inch a -> Ordering #

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

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

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

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

max :: Inch a -> Inch a -> Inch a #

min :: Inch a -> Inch a -> Inch a #

type DimOf Inch Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Inch Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Inch = 'Text "in"

data Foot a Source #

Length in feet.

Instances

Instances details
IsUnit Foot Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Foot 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Foot Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Foot 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Foot = 'Text "ft"
Fractional a => ConversionFactor Foot a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Foot a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Foot a #

exp :: Foot a -> Foot a #

log :: Foot a -> Foot a #

sqrt :: Foot a -> Foot a #

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

logBase :: Foot a -> Foot a -> Foot a #

sin :: Foot a -> Foot a #

cos :: Foot a -> Foot a #

tan :: Foot a -> Foot a #

asin :: Foot a -> Foot a #

acos :: Foot a -> Foot a #

atan :: Foot a -> Foot a #

sinh :: Foot a -> Foot a #

cosh :: Foot a -> Foot a #

tanh :: Foot a -> Foot a #

asinh :: Foot a -> Foot a #

acosh :: Foot a -> Foot a #

atanh :: Foot a -> Foot a #

log1p :: Foot a -> Foot a #

expm1 :: Foot a -> Foot a #

log1pexp :: Foot a -> Foot a #

log1mexp :: Foot a -> Foot a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Foot a -> Foot a -> Foot a #

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

negate :: Foot a -> Foot a #

abs :: Foot a -> Foot a #

signum :: Foot a -> Foot a #

fromInteger :: Integer -> Foot a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Foot a -> Foot a #

fromRational :: Rational -> Foot a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Foot a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Foot a -> String #

showList :: [Foot a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Foot a -> Foot a -> Ordering #

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

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

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

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

max :: Foot a -> Foot a -> Foot a #

min :: Foot a -> Foot a -> Foot a #

type DimOf Foot Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Foot Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Foot = 'Text "ft"

data Yard a Source #

Length in yards.

Instances

Instances details
IsUnit Yard Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Yard 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Yard Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Yard 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Yard = 'Text "yd"
Fractional a => ConversionFactor Yard a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Yard a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Yard a #

exp :: Yard a -> Yard a #

log :: Yard a -> Yard a #

sqrt :: Yard a -> Yard a #

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

logBase :: Yard a -> Yard a -> Yard a #

sin :: Yard a -> Yard a #

cos :: Yard a -> Yard a #

tan :: Yard a -> Yard a #

asin :: Yard a -> Yard a #

acos :: Yard a -> Yard a #

atan :: Yard a -> Yard a #

sinh :: Yard a -> Yard a #

cosh :: Yard a -> Yard a #

tanh :: Yard a -> Yard a #

asinh :: Yard a -> Yard a #

acosh :: Yard a -> Yard a #

atanh :: Yard a -> Yard a #

log1p :: Yard a -> Yard a #

expm1 :: Yard a -> Yard a #

log1pexp :: Yard a -> Yard a #

log1mexp :: Yard a -> Yard a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Yard a -> Yard a -> Yard a #

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

negate :: Yard a -> Yard a #

abs :: Yard a -> Yard a #

signum :: Yard a -> Yard a #

fromInteger :: Integer -> Yard a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Yard a -> Yard a #

fromRational :: Rational -> Yard a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Yard a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Yard a -> String #

showList :: [Yard a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Yard a -> Yard a -> Ordering #

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

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

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

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

max :: Yard a -> Yard a -> Yard a #

min :: Yard a -> Yard a -> Yard a #

type DimOf Yard Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Yard Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Yard = 'Text "yd"

data Mile a Source #

Length in miles.

Instances

Instances details
IsUnit Mile Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Mile 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Mile Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Mile 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Mile = 'Text "mi"
Fractional a => ConversionFactor Mile a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Mile a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Mile a #

exp :: Mile a -> Mile a #

log :: Mile a -> Mile a #

sqrt :: Mile a -> Mile a #

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

logBase :: Mile a -> Mile a -> Mile a #

sin :: Mile a -> Mile a #

cos :: Mile a -> Mile a #

tan :: Mile a -> Mile a #

asin :: Mile a -> Mile a #

acos :: Mile a -> Mile a #

atan :: Mile a -> Mile a #

sinh :: Mile a -> Mile a #

cosh :: Mile a -> Mile a #

tanh :: Mile a -> Mile a #

asinh :: Mile a -> Mile a #

acosh :: Mile a -> Mile a #

atanh :: Mile a -> Mile a #

log1p :: Mile a -> Mile a #

expm1 :: Mile a -> Mile a #

log1pexp :: Mile a -> Mile a #

log1mexp :: Mile a -> Mile a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Mile a -> Mile a -> Mile a #

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

negate :: Mile a -> Mile a #

abs :: Mile a -> Mile a #

signum :: Mile a -> Mile a #

fromInteger :: Integer -> Mile a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Mile a -> Mile a #

fromRational :: Rational -> Mile a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Mile a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Mile a -> String #

showList :: [Mile a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Mile a -> Mile a -> Ordering #

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

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

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

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

max :: Mile a -> Mile a -> Mile a #

min :: Mile a -> Mile a -> Mile a #

type DimOf Mile Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Mile Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Mile = 'Text "mi"

data League a Source #

Length in leagues.

Instances

Instances details
IsUnit League Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf League 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit League Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType League 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType League = 'Text "lea"
Fractional a => ConversionFactor League a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit League a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: League a #

exp :: League a -> League a #

log :: League a -> League a #

sqrt :: League a -> League a #

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

logBase :: League a -> League a -> League a #

sin :: League a -> League a #

cos :: League a -> League a #

tan :: League a -> League a #

asin :: League a -> League a #

acos :: League a -> League a #

atan :: League a -> League a #

sinh :: League a -> League a #

cosh :: League a -> League a #

tanh :: League a -> League a #

asinh :: League a -> League a #

acosh :: League a -> League a #

atanh :: League a -> League a #

log1p :: League a -> League a #

expm1 :: League a -> League a #

log1pexp :: League a -> League a #

log1mexp :: League a -> League a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: League a -> League a -> League a #

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

negate :: League a -> League a #

abs :: League a -> League a #

signum :: League a -> League a #

fromInteger :: Integer -> League a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: League a -> League a #

fromRational :: Rational -> League a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: League a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: League a -> String #

showList :: [League a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: League a -> League a -> Ordering #

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

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

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

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

max :: League a -> League a -> League a #

min :: League a -> League a -> League a #

type DimOf League Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType League Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType League = 'Text "lea"

data Fathom a Source #

Length in fathoms.

Instances

Instances details
IsUnit Fathom Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Fathom 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Fathom Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Fathom 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Fathom = 'Text "ftm"
Fractional a => ConversionFactor Fathom a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Fathom a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Fathom a #

exp :: Fathom a -> Fathom a #

log :: Fathom a -> Fathom a #

sqrt :: Fathom a -> Fathom a #

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

logBase :: Fathom a -> Fathom a -> Fathom a #

sin :: Fathom a -> Fathom a #

cos :: Fathom a -> Fathom a #

tan :: Fathom a -> Fathom a #

asin :: Fathom a -> Fathom a #

acos :: Fathom a -> Fathom a #

atan :: Fathom a -> Fathom a #

sinh :: Fathom a -> Fathom a #

cosh :: Fathom a -> Fathom a #

tanh :: Fathom a -> Fathom a #

asinh :: Fathom a -> Fathom a #

acosh :: Fathom a -> Fathom a #

atanh :: Fathom a -> Fathom a #

log1p :: Fathom a -> Fathom a #

expm1 :: Fathom a -> Fathom a #

log1pexp :: Fathom a -> Fathom a #

log1mexp :: Fathom a -> Fathom a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Fathom a -> Fathom a -> Fathom a #

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

negate :: Fathom a -> Fathom a #

abs :: Fathom a -> Fathom a #

signum :: Fathom a -> Fathom a #

fromInteger :: Integer -> Fathom a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Fathom a -> Fathom a #

fromRational :: Rational -> Fathom a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Fathom a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Fathom a -> String #

showList :: [Fathom a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Fathom a -> Fathom a -> Ordering #

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

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

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

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

max :: Fathom a -> Fathom a -> Fathom a #

min :: Fathom a -> Fathom a -> Fathom a #

type DimOf Fathom Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Fathom Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Fathom = 'Text "ftm"

data Cable a Source #

Length in cables.

Instances

Instances details
IsUnit Cable Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf Cable 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit Cable Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType Cable 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Cable = 'Text "cable"
Fractional a => ConversionFactor Cable a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit Cable a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

pi :: Cable a #

exp :: Cable a -> Cable a #

log :: Cable a -> Cable a #

sqrt :: Cable a -> Cable a #

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

logBase :: Cable a -> Cable a -> Cable a #

sin :: Cable a -> Cable a #

cos :: Cable a -> Cable a #

tan :: Cable a -> Cable a #

asin :: Cable a -> Cable a #

acos :: Cable a -> Cable a #

atan :: Cable a -> Cable a #

sinh :: Cable a -> Cable a #

cosh :: Cable a -> Cable a #

tanh :: Cable a -> Cable a #

asinh :: Cable a -> Cable a #

acosh :: Cable a -> Cable a #

atanh :: Cable a -> Cable a #

log1p :: Cable a -> Cable a #

expm1 :: Cable a -> Cable a #

log1pexp :: Cable a -> Cable a #

log1mexp :: Cable a -> Cable a #

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

Methods

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

(-) :: Cable a -> Cable a -> Cable a #

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

negate :: Cable a -> Cable a #

abs :: Cable a -> Cable a #

signum :: Cable a -> Cable a #

fromInteger :: Integer -> Cable a #

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

Defined in Data.Units.Imperial.Length

Methods

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

recip :: Cable a -> Cable a #

fromRational :: Rational -> Cable a #

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

Defined in Data.Units.Imperial.Length

Methods

toRational :: Cable a -> Rational #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

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

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

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

Defined in Data.Units.Imperial.Length

Methods

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

show :: Cable a -> String #

showList :: [Cable a] -> ShowS #

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

Defined in Data.Units.Imperial.Length

Methods

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

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

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

Defined in Data.Units.Imperial.Length

Methods

compare :: Cable a -> Cable a -> Ordering #

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

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

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

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

max :: Cable a -> Cable a -> Cable a #

min :: Cable a -> Cable a -> Cable a #

type DimOf Cable Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Cable Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType Cable = 'Text "cable"

data NauticalMile a Source #

Length in nautical miles.

Instances

Instances details
IsUnit NauticalMile Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type DimOf NauticalMile 
Instance details

Defined in Data.Units.Imperial.Length

ShowUnit NauticalMile Source # 
Instance details

Defined in Data.Units.Imperial.Length

Associated Types

type ShowUnitType NauticalMile 
Instance details

Defined in Data.Units.Imperial.Length

Fractional a => ConversionFactor NauticalMile a Source # 
Instance details

Defined in Data.Units.Imperial.Length

Methods

factor :: a Source #

Fractional a => ConvertibleUnit NauticalMile a Source # 
Instance details

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

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

Defined in Data.Units.Imperial.Length

type DimOf NauticalMile Source # 
Instance details

Defined in Data.Units.Imperial.Length

type ShowUnitType NauticalMile Source # 
Instance details

Defined in Data.Units.Imperial.Length