UniqueLogic.ST.Example.Term
Description
This module is intended for documentation purposes. Do not import it!
data T Source #
Constructors
Defined in UniqueLogic.ST.Example.Term
Methods
(+) :: T -> T -> T #
(-) :: T -> T -> T #
(*) :: T -> T -> T #
negate :: T -> T #
abs :: T -> T #
signum :: T -> T #
fromInteger :: Integer -> T #
(/) :: T -> T -> T #
recip :: T -> T #
fromRational :: Rational -> T #
showsPrec :: Int -> T -> ShowS #
show :: T -> String #
showList :: [T] -> ShowS #
type Name = String Source #