AERN2.Sequence.PreludeOps

Contents

Description

Instances of Prelude classes Eq, Ord, Num etc

Orphan instances

HasEqCertainly a a => Eq (Sequence a) #
Instance details Methods (==) :: Sequence a -> Sequence a -> Bool # (/=) :: Sequence a -> Sequence a -> Bool #
(Field a, CanAbsSameType a, ConvertibleWithPrecision Rational a, SuitableForSeq a, SuitableForSeq (EnsureCN a), CanSetPrecision a, HasNorm (EnsureNoCN a), CanEnsureCN a, CanIntersectCNSameType a) => Fractional (Sequence a) #
Instance details Methods (/) :: Sequence a -> Sequence a -> Sequence a # recip :: Sequence a -> Sequence a # fromRational :: Rational -> Sequence a #
(Ring a, CanAbsSameType a, SuitableForSeq a, CanSetPrecision a, HasNorm (EnsureNoCN a), CanEnsureCN a) => Num (Sequence a) #
Instance details Methods (+) :: Sequence a -> Sequence a -> Sequence a # (-) :: Sequence a -> Sequence a -> Sequence a # (*) :: Sequence a -> Sequence a -> Sequence a # negate :: Sequence a -> Sequence a # abs :: Sequence a -> Sequence a # signum :: Sequence a -> Sequence a # fromInteger :: Integer -> Sequence a #
(HasEqCertainly a a, HasOrderCertainly a a) => Ord (Sequence a) #
Instance details Methods compare :: Sequence a -> Sequence a -> Ordering # (<) :: Sequence a -> Sequence a -> Bool # (<=) :: Sequence a -> Sequence a -> Bool # (>) :: Sequence a -> Sequence a -> Bool # (>=) :: Sequence a -> Sequence a -> Bool # max :: Sequence a -> Sequence a -> Sequence a # min :: Sequence a -> Sequence a -> Sequence a #