unique-logic-tf-0.5.0.2: 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

C Float Source # 
Instance details

Defined in UniqueLogic.ST.TF.ZeroFractional

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

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

Defined in UniqueLogic.ST.TF.Example.Verify

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 #