Domain.Math.Safe

Safe division

class Num a => SafeDiv a where

Minimal complete definition

safeDiv

Methods

safeDiv :: a -> a -> Maybe a

safeRecip :: a -> Maybe a

Instances

SafeDiv Double

Defined in Domain.Math.Safe

Methods

safeDiv :: Double -> Double -> Maybe Double

safeRecip :: Double -> Maybe Double

SafeDiv Integer

Defined in Domain.Math.Safe

Methods

safeDiv :: Integer -> Integer -> Maybe Integer

safeRecip :: Integer -> Maybe Integer

SafeDiv DecimalFraction

Defined in Domain.Math.Data.DecimalFraction

Methods

safeDiv :: DecimalFraction -> DecimalFraction -> Maybe DecimalFraction

safeRecip :: DecimalFraction -> Maybe DecimalFraction

Integral a => SafeDiv (Ratio a)

Defined in Domain.Math.Safe

Methods

safeDiv :: Ratio a -> Ratio a -> Maybe (Ratio a)

safeRecip :: Ratio a -> Maybe (Ratio a)

(Eq a, Fractional a) => SafeDiv (SquareRoot a)

Defined in Domain.Math.Data.SquareRoot

Methods

safeDiv :: SquareRoot a -> SquareRoot a -> Maybe (SquareRoot a)

safeRecip :: SquareRoot a -> Maybe (SquareRoot a)

(Eq a, Fractional a) => SafeDiv (Polynomial a)

Defined in Domain.Math.Data.Polynomial

Methods

safeDiv :: Polynomial a -> Polynomial a -> Maybe (Polynomial a)

safeRecip :: Polynomial a -> Maybe (Polynomial a)

safeDivFractional :: (Eq a, Fractional a) => a -> a -> Maybe a

Safe power and root

class Num a => SafePower a where

Minimal complete definition

safePower, safeRoot

Methods

safePower :: a -> a -> Maybe a

safeSqrt :: a -> Maybe a

safeRoot :: a -> a -> Maybe a

Instances

SafePower Double

Defined in Domain.Math.Safe

Methods

safePower :: Double -> Double -> Maybe Double

safeSqrt :: Double -> Maybe Double

safeRoot :: Double -> Double -> Maybe Double

SafePower Integer

Defined in Domain.Math.Safe

Methods

safePower :: Integer -> Integer -> Maybe Integer

safeSqrt :: Integer -> Maybe Integer

safeRoot :: Integer -> Integer -> Maybe Integer

SafePower DecimalFraction

Defined in Domain.Math.Data.DecimalFraction

Methods

safePower :: DecimalFraction -> DecimalFraction -> Maybe DecimalFraction

safeSqrt :: DecimalFraction -> Maybe DecimalFraction

safeRoot :: DecimalFraction -> DecimalFraction -> Maybe DecimalFraction

Integral a => SafePower (Ratio a)

Defined in Domain.Math.Safe

Methods

safePower :: Ratio a -> Ratio a -> Maybe (Ratio a)

safeSqrt :: Ratio a -> Maybe (Ratio a)

safeRoot :: Ratio a -> Ratio a -> Maybe (Ratio a)