Safe Haskell	Safe
Language	Haskell98

UniqueLogic.ST.TF.Example.Term

Description

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

Documentation

Constructors

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 #