ContentsIndex
Org.Org.Semantic.HBase.Mathematics.Power
Description
These classes are nominal.
Synopsis
class MaybePower a b where
maybePower :: a -> b -> NaNExtended b
failingPower :: MaybePower a b => a -> b -> b
(**!) :: MaybePower b a => a -> b -> a
(^) :: MaybePower Integer a => a -> Integer -> a
(^!) :: MaybePower Integer a => a -> Integer -> a
(^^!) :: MaybePower Integer a => a -> Integer -> a
class MaybePower a b => Power a b where
power :: a -> b -> b
(**) :: Power b a => a -> b -> a
(^^) :: Power Integer a => a -> Integer -> a
Documentation
class MaybePower a b where
Methods
maybePower :: a -> b -> NaNExtended b
maybePower a b = b ^ a
Instances
(HasZero a, RealApproxMath b, HasPosNegZeros b, Multiplicative a b b, Power a b) => MaybePower (Complex a) (Complex b)
MaybePower Double Double
MaybePower EIReal EIReal
(HasZero a, HasOne a, MaybePower Integer a) => MaybePower Integer (InfExtended a)
MaybePower Integer Integer
MaybePower Integer Rational
failingPower :: MaybePower a b => a -> b -> b
(**!) :: MaybePower b a => a -> b -> a
(^) :: MaybePower Integer a => a -> Integer -> a
(^!) :: MaybePower Integer a => a -> Integer -> a
(^^!) :: MaybePower Integer a => a -> Integer -> a
class MaybePower a b => Power a b where
Methods
power :: a -> b -> b
Instances
(HasZero a, RealApproxMath b, HasPosNegZeros b, Multiplicative a b b, Power a b) => Power (Complex a) (Complex b)
Power Double Double
Power EIReal EIReal
(HasZero a, HasOne a, MaybePower Integer a) => Power Integer (InfExtended a)
Power Integer Rational
(**) :: Power b a => a -> b -> a
general power
(^^) :: Power Integer a => a -> Integer -> a
integer power
Produced by Haddock version 0.6