Safe Haskell | None |
---|
- (*) :: (Fractional f, Convertable a b, Convertable c d, UnitMerge a c u) => Value f a b -> Value f c d -> Value f u (Mul b d)
- (/) :: (Fractional f, Convertable a b, Convertable c d, UnitMerge a c' u, UnitNeg c c') => Value f a b -> Value f c d -> Value f u (Div b d)
- (+) :: (Fractional f, Convertable a b, Convertable c d, UnitEq c a True) => Value f a b -> Value f c d -> Value f a b
- (-) :: (Fractional f, Convertable a b, Convertable c d, UnitEq c a True) => Value f a b -> Value f c d -> Value f a b
- (.) :: (Convertable a b, Fractional f) => f -> Value f a b -> Value f a b
- sin :: (Floating f, Convertable NoDimension b) => Value f NoDimension b -> Value f NoDimension Count
- cos :: (Floating f, Convertable NoDimension b) => Value f NoDimension b -> Value f NoDimension Count
- tan :: (Floating f, Convertable NoDimension b) => Value f NoDimension b -> Value f NoDimension Count
- asin :: Floating f => Value f NoDimension Count -> Value f NoDimension Radian
- acos :: Floating f => Value f NoDimension Count -> Value f NoDimension Radian
- atan :: Floating f => Value f NoDimension Count -> Value f NoDimension Radian
- (==) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> Bool
- (<=) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> Bool
- (<) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> Bool
- (>=) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> Bool
- (>) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> Bool
Documentation
(*) :: (Fractional f, Convertable a b, Convertable c d, UnitMerge a c u) => Value f a b -> Value f c d -> Value f u (Mul b d)Source
See .*.
(/) :: (Fractional f, Convertable a b, Convertable c d, UnitMerge a c' u, UnitNeg c c') => Value f a b -> Value f c d -> Value f u (Div b d)Source
See ./.
(+) :: (Fractional f, Convertable a b, Convertable c d, UnitEq c a True) => Value f a b -> Value f c d -> Value f a bSource
See .+.
(-) :: (Fractional f, Convertable a b, Convertable c d, UnitEq c a True) => Value f a b -> Value f c d -> Value f a bSource
See .-.
(.) :: (Convertable a b, Fractional f) => f -> Value f a b -> Value f a bSource
See .$.
sin :: (Floating f, Convertable NoDimension b) => Value f NoDimension b -> Value f NoDimension CountSource
cos :: (Floating f, Convertable NoDimension b) => Value f NoDimension b -> Value f NoDimension CountSource
tan :: (Floating f, Convertable NoDimension b) => Value f NoDimension b -> Value f NoDimension CountSource
asin :: Floating f => Value f NoDimension Count -> Value f NoDimension RadianSource
Calculate the arcsinus of a value. Always computes Radian
s.
acos :: Floating f => Value f NoDimension Count -> Value f NoDimension RadianSource
Calculate the arccosinus of a value. Always computes Radian
s.
atan :: Floating f => Value f NoDimension Count -> Value f NoDimension RadianSource
Calculate the arctangens of a value. Always computes Radian
s.
(==) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> BoolSource
See .==.
(<=) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> BoolSource
See .<=.
(<) :: (Convertable a b, Convertable c d, UnitEq c a True) => Value Rational a b -> Value Rational c d -> BoolSource
See .<.