Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Numeric.MixedTypes.Power

Contents

Exponentiation
- Tests

Description

Synopsis

class CanPow b e where
- type PowType b e
- type PPowType b e
- pow :: b -> e -> PowType b e
- ppow :: b -> e -> PPowType b e
type CanPowBy t1 t2 = (CanPow t1 t2, PowType t1 t2 ~ t1)
(^) :: CanPow t1 t2 => t1 -> t2 -> PowType t1 t2
(^^) :: CanPow t1 t2 => t1 -> t2 -> PPowType t1 t2
powUsingMul :: CanBeInteger e => t -> (t -> 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 => t -> (t -> t -> t) -> (t -> t) -> t -> e -> t
class CanTestIsIntegerType t where
- isIntegerType :: t -> Bool
specCanPow :: _ => T t1 -> T t2 -> Spec

Exponentiation

class CanPow b e where Source #

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

Minimal complete definition

pow

Associated Types

type PowType b e Source #

type PowType b e = b

type PPowType b e Source #

type PPowType b e = PowType b e

Methods

pow :: b -> e -> PowType b e Source #

ppow :: b -> e -> PPowType b e Source #

default ppow :: PPowType b e ~ PowType b e => b -> e -> PPowType b e Source #

Instances

Instances details

CanPow Rational Integer Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Rational Integer Source # type PPowType Rational Integer Source # Methods pow :: Rational -> Integer -> PowType Rational Integer Source # ppow :: Rational -> Integer -> PPowType Rational Integer Source #
CanPow Rational Double Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Rational Double Source # type PPowType Rational Double Source # Methods pow :: Rational -> Double -> PowType Rational Double Source # ppow :: Rational -> Double -> PPowType Rational Double Source #
CanPow Rational Int Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Rational Int Source # type PPowType Rational Int Source # Methods pow :: Rational -> Int -> PowType Rational Int Source # ppow :: Rational -> Int -> PPowType Rational Int Source #
CanPow Integer Integer Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Integer Integer Source # type PPowType Integer Integer Source # Methods pow :: Integer -> Integer -> PowType Integer Integer Source # ppow :: Integer -> Integer -> PPowType Integer Integer Source #
CanPow Integer Double Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Integer Double Source # type PPowType Integer Double Source # Methods pow :: Integer -> Double -> PowType Integer Double Source # ppow :: Integer -> Double -> PPowType Integer Double Source #
CanPow Integer Int Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Integer Int Source # type PPowType Integer Int Source # Methods pow :: Integer -> Int -> PowType Integer Int Source # ppow :: Integer -> Int -> PPowType Integer Int Source #
CanPow Double Rational Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Double Rational Source # type PPowType Double Rational Source # Methods pow :: Double -> Rational -> PowType Double Rational Source # ppow :: Double -> Rational -> PPowType Double Rational Source #
CanPow Double Integer Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Double Integer Source # type PPowType Double Integer Source # Methods pow :: Double -> Integer -> PowType Double Integer Source # ppow :: Double -> Integer -> PPowType Double Integer Source #
CanPow Double Double Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Double Double Source # type PPowType Double Double Source # Methods pow :: Double -> Double -> PowType Double Double Source # ppow :: Double -> Double -> PPowType Double Double Source #
CanPow Double Int Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Double Int Source # type PPowType Double Int Source # Methods pow :: Double -> Int -> PowType Double Int Source # ppow :: Double -> Int -> PPowType Double Int Source #
CanPow Int Integer Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Int Integer Source # type PPowType Int Integer Source # Methods pow :: Int -> Integer -> PowType Int Integer Source # ppow :: Int -> Integer -> PPowType Int Integer Source #
CanPow Int Double Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Int Double Source # type PPowType Int Double Source # Methods pow :: Int -> Double -> PowType Int Double Source # ppow :: Int -> Double -> PPowType Int Double Source #
CanPow Int Int Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Int Int Source # type PPowType Int Int Source # Methods pow :: Int -> Int -> PowType Int Int Source # ppow :: Int -> Int -> PPowType Int Int Source #
(CanPow Rational e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Rational (CN e) Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Rational (CN e) Source # type PPowType Rational (CN e) Source # Methods pow :: Rational -> CN e -> PowType Rational (CN e) Source # ppow :: Rational -> CN e -> PPowType Rational (CN e) Source #
(CanPow Integer e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Integer (CN e) Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Integer (CN e) Source # type PPowType Integer (CN e) Source # Methods pow :: Integer -> CN e -> PowType Integer (CN e) Source # ppow :: Integer -> CN e -> PPowType Integer (CN e) Source #
(CanPow Double e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Double (CN e) Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Double (CN e) Source # type PPowType Double (CN e) Source # Methods pow :: Double -> CN e -> PowType Double (CN e) Source # ppow :: Double -> CN e -> PPowType Double (CN e) Source #
(CanPow Int e, HasOrderCertainly e Integer, CanTestIsIntegerType e, CanTestInteger e) => CanPow Int (CN e) Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType Int (CN e) Source # type PPowType Int (CN e) Source # Methods pow :: Int -> CN e -> PowType Int (CN e) Source # ppow :: Int -> CN e -> PPowType Int (CN e) Source #
(CanPow b Rational, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CN b) Rational Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType (CN b) Rational Source # type PPowType (CN b) Rational Source # Methods pow :: CN b -> Rational -> PowType (CN b) Rational Source # ppow :: CN b -> Rational -> PPowType (CN b) Rational Source #
(CanPow b Integer, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CN b) Integer Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType (CN b) Integer Source # type PPowType (CN b) Integer Source # Methods pow :: CN b -> Integer -> PowType (CN b) Integer Source # ppow :: CN b -> Integer -> PPowType (CN b) Integer Source #
(CanPow b Double, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CN b) Double Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType (CN b) Double Source # type PPowType (CN b) Double Source # Methods pow :: CN b -> Double -> PowType (CN b) Double Source # ppow :: CN b -> Double -> PPowType (CN b) Double Source #
(CanPow b Int, HasOrderCertainly b Integer, HasEqCertainly b Integer, CanTestIsIntegerType b) => CanPow (CN b) Int Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType (CN b) Int Source # type PPowType (CN b) Int Source # Methods pow :: CN b -> Int -> PowType (CN b) Int Source # ppow :: CN b -> Int -> PPowType (CN b) Int Source #
(CanPow b e, HasOrderCertainly b Integer, HasOrderCertainly e Integer, HasEqCertainly b Integer, CanTestIsIntegerType b, CanTestIsIntegerType e, CanTestInteger e) => CanPow (CN b) (CN e) Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType (CN b) (CN e) Source # type PPowType (CN b) (CN e) Source # Methods pow :: CN b -> CN e -> PowType (CN b) (CN e) Source # ppow :: CN b -> CN e -> PPowType (CN b) (CN e) Source #
CanPow a b => CanPow (Maybe a) (Maybe b) Source #
Instance details Defined in Numeric.MixedTypes.Power Associated Types type PowType (Maybe a) (Maybe b) Source # type PPowType (Maybe a) (Maybe b) Source # Methods pow :: Maybe a -> Maybe b -> PowType (Maybe a) (Maybe b) Source # ppow :: Maybe a -> Maybe b -> PPowType (Maybe a) (Maybe b) Source #

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

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

(^^) :: CanPow t1 t2 => t1 -> t2 -> PPowType t1 t2 infixl 8 Source #

powUsingMul :: CanBeInteger e => t -> (t -> t -> t) -> t -> e -> t Source #

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

powUsingMulRecip :: CanBeInteger e => t -> (t -> t -> t) -> (t -> t) -> t -> e -> t Source #

class CanTestIsIntegerType t where Source #

Ability to detect whether a numeric type is restricted to (a subset of) integers.

This is useful eg when checking the arguments of the power operator in the CN instance for power.

Minimal complete definition

Nothing

Methods

isIntegerType :: t -> Bool Source #

Instances

Instances details

CanTestIsIntegerType Rational Source #
Instance details Defined in Numeric.MixedTypes.Power Methods isIntegerType :: Rational -> Bool Source #
CanTestIsIntegerType Integer Source #
Instance details Defined in Numeric.MixedTypes.Power Methods isIntegerType :: Integer -> Bool Source #
CanTestIsIntegerType Double Source #
Instance details Defined in Numeric.MixedTypes.Power Methods isIntegerType :: Double -> Bool Source #
CanTestIsIntegerType Int Source #
Instance details Defined in Numeric.MixedTypes.Power Methods isIntegerType :: Int -> Bool Source #
CanTestIsIntegerType t => CanTestIsIntegerType (CN t) Source #
Instance details Defined in Numeric.MixedTypes.Power Methods isIntegerType :: CN t -> Bool Source #

Tests

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

HSpec properties that each implementation of CanPow should satisfy.