unique-logic-tf-0.5.1: Solve simple simultaneous equations

Safe HaskellSafe
LanguageHaskell98

UniqueLogic.ST.TF.ZeroFractional

Description

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

Documentation

class Fractional a => C a Source #

Minimal complete definition

multiply, divide

Instances
C Double Source # 
Instance details

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

multiply :: Double -> Maybe Double Source #

divide :: Double -> Double -> Maybe Double Source #

C Float Source # 
Instance details

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

multiply :: Float -> Maybe Float Source #

divide :: Float -> Float -> Maybe Float Source #

C T Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Term

Methods

multiply :: T -> Maybe T Source #

divide :: T -> T -> Maybe T Source #

Integral a => C (Ratio a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

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

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

RealFloat a => C (Complex a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.ZeroFractional

Methods

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

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

C a => C (TrackedNumber a) Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Verify

Methods

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

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

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

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

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

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