factory-0.0.0.2: Rational arithmetic in an irrational world.

Factory.Data.Exponential

Contents

Description

AUTHOR
Dr. Alistair Ward
DESCRIPTION

Synopsis

Types

Type-synonyms

type Exponential base exponent = (base, exponent)Source

Describes an exponential, in terms of its base and exponent.

Functions

evaluate :: (Num base, Integral exponent) => Exponential base exponent -> baseSource

Evaluate the specified Exponential, returning the resulting number.

invert :: Num exponent => Exponential base exponent -> Exponential base exponentSource

Invert the value, by negating the exponent.

Accessors

getBase :: Exponential base exponent -> baseSource

Accessor.

getExponent :: Exponential base exponent -> exponentSource

Accessor.

Constructors

rightIdentity :: Num exponent => base -> Exponential base exponentSource

Operators

(<^)Source

Arguments

:: Num exponent 
=> Exponential base exponent

The operand.

-> exponent

The power to which the exponential is to be raised.

-> Exponential base exponent

The result.

Raise the specified Exponential to a power.

(=~) :: Eq base => Exponential base exponent -> Exponential base exponent -> BoolSource

True if the bases are equal.