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

Safe HaskellSafe
LanguageHaskell98

UniqueLogic.ST.TF.Example.Term

Description

This module is intended for documentation purposes. Do not import it!

Documentation

data T Source #

Constructors

Const Rational 
Var Name 
Max T T 
Add T T 
Sub T T 
Mul T T 
Div T T 
Abs T 
Signum T 
Instances
Fractional T Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Term

Methods

(/) :: T -> T -> T #

recip :: T -> T #

fromRational :: Rational -> T #

Num T Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Term

Methods

(+) :: T -> T -> T #

(-) :: T -> T -> T #

(*) :: T -> T -> T #

negate :: T -> T #

abs :: T -> T #

signum :: T -> T #

fromInteger :: Integer -> T #

Show T Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Term

Methods

showsPrec :: Int -> T -> ShowS #

show :: T -> String #

showList :: [T] -> ShowS #

C T Source # 
Instance details

Defined in UniqueLogic.ST.TF.Example.Term

Methods

multiply :: T -> Maybe T Source #

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