Contents Index

Org.Org.Semantic.HBase.Mathematics.Infinite

Synopsis

class HasInfinity a where infinity :: a isFinite :: a -> Bool isInfinite :: a -> Bool data InfExtended n = Infinity | Finite n type InfRational = InfExtended Rational type NaNInfRational = NaNExtended InfRational

Documentation

class HasInfinity a where

Methods infinity :: a isFinite :: a -> Bool isInfinite :: a -> Bool Instances HasInfinity a => HasInfinity (Complex a) HasInfinity Double HasInfinity EIReal HasInfinity (InfExtended a)

data InfExtended n

n or infinity Constructors Infinity Finite n Instances MaybeA (InfExtended a) a IsA (InfExtended a) a MaybeA a (InfExtended a) Subtype (InfExtended a) a Eq a => Eq (InfExtended a) IntensiveEq a => IntensiveEq (InfExtended a) MaybeOrdered a => MaybeOrdered (InfExtended a) HasInfinity (InfExtended a) InterpretIntegerLiteral a => InterpretIntegerLiteral (InfExtended a) InterpretRationalLiteral a => InterpretRationalLiteral (InfExtended a) Show a => Show (InfExtended a) HasZero a => HasZero (InfExtended a) HasOne a => HasOne (InfExtended a) Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) Negatable a => Negatable (InfExtended a) Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) (HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) (HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) (HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) HasAbsolute k a => HasAbsolute (InfExtended k) (InfExtended a) HasAbsolute k a => HasAbsolute (InfExtended k) (InfExtended a) HasSignum a => HasSignum (InfExtended a) MaybeHasIntegerDivide i a a => MaybeHasIntegerDivide i (NaNExtended (InfExtended a)) (InfExtended a) MaybeHasIntegerDivide i a a => MaybeHasIntegerDivide i (NaNExtended (InfExtended a)) (InfExtended a) (HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) (HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) (HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) (HasZero a, HasOne a, MaybePower Integer a) => MaybePower Integer (InfExtended a) (HasZero a, HasOne a, MaybePower Integer a) => Power Integer (InfExtended a)

type InfRational = InfExtended Rational

type NaNInfRational = NaNExtended InfRational

Produced by Haddock version 0.6