UniqueLogic.ST.TF.ZeroFractional

This class provides short-cut multiplication and division that checks for 0/0.

Documentation

class Fractional a => C a

Minimal complete definition

multiply, divide

Instances

C Double

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

multiply :: Double -> Maybe Double

divide :: Double -> Double -> Maybe Double

C Float

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

multiply :: Float -> Maybe Float

divide :: Float -> Float -> Maybe Float

C T

Defined in UniqueLogic.ST.TF.Example.Term

Methods

multiply :: T -> Maybe T

divide :: T -> T -> Maybe T

Integral a => C (Ratio a)

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

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

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

RealFloat a => C (Complex a)

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

multiply :: Complex a -> Maybe (Complex a)

divide :: Complex a -> Complex a -> Maybe (Complex a)

C a => C (TrackedNumber a)

Defined in UniqueLogic.ST.TF.Example.Verify

Methods

multiply :: TrackedNumber a -> Maybe (TrackedNumber a)

divide :: TrackedNumber a -> TrackedNumber a -> Maybe (TrackedNumber a)

multiply :: C a => a -> Maybe a

divide :: C a => a -> a -> Maybe a

multiplyDefault :: (Num a, Eq a) => a -> Maybe a

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