UniqueLogic.ST.TF.Example.Term

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

Documentation

data T

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

Defined in UniqueLogic.ST.TF.Example.Term

Methods

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

recip :: T -> T

fromRational :: Rational -> T

Num T

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

Defined in UniqueLogic.ST.TF.Example.Term

Methods

showsPrec :: Int -> T -> ShowS

show :: T -> String

showList :: [T] -> ShowS

C T

Defined in UniqueLogic.ST.TF.Example.Term

Methods

multiply :: T -> Maybe T

divide :: T -> T -> Maybe T

type Name = String

isZero :: T -> Bool