AERN2.Sequence.PreludeOps

Instances of Prelude classes Eq, Ord, Num etc

Orphan instances

HasEqCertainly a a => Eq (Sequence a)

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)

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)

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)

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