Numeric.MixedTypes.Power

Exponentiation

class CanPow b e where

A replacement for Prelude's binary ^ and ^^.

Associated Types

type PowType b e

type PowType b e = b

Methods

pow :: b -> e -> PowType b e

Instances

CanPow Double Double

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Double Double

Methods

pow :: Double -> Double -> PowType Double Double

CanPow Double Int

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Double Int

Methods

pow :: Double -> Int -> PowType Double Int

CanPow Double Integer

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Double Integer

Methods

pow :: Double -> Integer -> PowType Double Integer

CanPow Double Rational

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Double Rational

Methods

pow :: Double -> Rational -> PowType Double Rational

CanPow Int Double

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Int Double

Methods

pow :: Int -> Double -> PowType Int Double

CanPow Int Int

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Int Int

Methods

pow :: Int -> Int -> PowType Int Int

CanPow Int Integer

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Int Integer

Methods

pow :: Int -> Integer -> PowType Int Integer

CanPow Integer Double

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Integer Double

Methods

pow :: Integer -> Double -> PowType Integer Double

CanPow Integer Int

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Integer Int

Methods

pow :: Integer -> Int -> PowType Integer Int

CanPow Integer Integer

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Integer Integer

Methods

pow :: Integer -> Integer -> PowType Integer Integer

CanPow Rational Double

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Rational Double

Methods

pow :: Rational -> Double -> PowType Rational Double

CanPow Rational Int

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Rational Int

Methods

pow :: Rational -> Int -> PowType Rational Int

CanPow Rational Integer

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Rational Integer

Methods

pow :: Rational -> Integer -> PowType Rational Integer

(CanPow Double e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Double (CN e)

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Double (CN e)

Methods

pow :: Double -> CN e -> PowType Double (CN e)

(CanPow Int e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Int (CN e)

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Int (CN e)

Methods

pow :: Int -> CN e -> PowType Int (CN e)

(CanPow Integer e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Integer (CN e)

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Integer (CN e)

Methods

pow :: Integer -> CN e -> PowType Integer (CN e)

(CanPow Rational e, HasOrderCertainly e Integer, CanTestInteger e) => CanPow Rational (CN e)

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType Rational (CN e)

Methods

pow :: Rational -> CN e -> PowType Rational (CN e)

(CanPow b Integer, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CN b) Integer

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType (CN b) Integer

Methods

pow :: CN b -> Integer -> PowType (CN b) Integer

(CanPow b Int, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CN b) Int

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType (CN b) Int

Methods

pow :: CN b -> Int -> PowType (CN b) Int

(CanPow b Rational, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CN b) Rational

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType (CN b) Rational

Methods

pow :: CN b -> Rational -> PowType (CN b) Rational

(CanPow b Double, HasOrderCertainly b Integer, HasEqCertainly b Integer) => CanPow (CN b) Double

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType (CN b) Double

Methods

pow :: CN b -> Double -> PowType (CN b) Double

CanPow a b => CanPow (Maybe a) (Maybe b)

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType (Maybe a) (Maybe b)

Methods

pow :: Maybe a -> Maybe b -> PowType (Maybe a) (Maybe b)

(CanPow b e, HasOrderCertainly b Integer, HasOrderCertainly e Integer, HasEqCertainly b Integer, CanTestInteger e) => CanPow (CN b) (CN e)

Defined in Numeric.MixedTypes.Power

Associated Types

type PowType (CN b) (CN e)

Methods

pow :: CN b -> CN e -> PowType (CN b) (CN e)

type CanPowBy t1 t2 = (CanPow t1 t2, PowType t1 t2 ~ t1)

(^) :: CanPow t1 t2 => t1 -> t2 -> PowType t1 t2 infixl 8

powUsingMul :: (CanBeInteger e, CanMulSameType t) => t -> t -> e -> t

integerPowCN :: (HasOrderCertainly b Integer, HasOrderCertainly e Integer, HasEqCertainly b Integer, HasEqCertainly e Integer) => (b -> e -> r) -> CN b -> CN e -> CN r

powUsingMulRecip :: (CanBeInteger e, CanMulSameType b, CanRecipSameType b) => b -> b -> e -> b

Tests

specCanPow :: _ => T t1 -> T t2 -> Spec

HSpec properties that each implementation of CanPow should satisfy.