unique-logic-tf-0.5: Solve simple simultaneous equations
UniqueLogic.ST.TF.Example.Term
Description
This module is intended for documentation purposes. Do not import it!
data T Source #
Constructors
Instances
Methods
(/) :: T -> T -> T #
recip :: T -> T #
fromRational :: Rational -> T #
(+) :: T -> T -> T #
(-) :: T -> T -> T #
(*) :: T -> T -> T #
negate :: T -> T #
abs :: T -> T #
signum :: T -> T #
fromInteger :: Integer -> T #
showsPrec :: Int -> T -> ShowS #
show :: T -> String #
showList :: [T] -> ShowS #
multiply :: T -> Maybe T Source #
divide :: T -> T -> Maybe T Source #
type Name = String Source #
isZero :: T -> Bool Source #