Contents Index

Org.Org.Semantic.HBase.Mathematics.Divide

Description

These classes are nominal.

Synopsis

class MaybeReciprocatable a where maybeReciprocate :: a -> Maybe a failingReciprocate :: MaybeReciprocatable a => a -> a recip :: MaybeReciprocatable a => a -> a class MaybeReciprocatable a => Reciprocatable a where reciprocate :: a -> a class Divisible a b ab | a b -> ab where divide :: a -> b -> ab (/) :: Divisible a a a => a -> a -> a failingDivide :: (Divisible a b ab, IsA (NaNExtended c) ab) => a -> b -> c (/!) :: (Divisible a a aa, IsA (NaNExtended a) aa) => a -> a -> a

Documentation

class MaybeReciprocatable a where

Methods maybeReciprocate :: a -> Maybe a Instances MaybeReciprocatable Double MaybeReciprocatable EIReal MaybeReciprocatable InfRational MaybeReciprocatable Rational

failingReciprocate :: MaybeReciprocatable a => a -> a

recip :: MaybeReciprocatable a => a -> a

class MaybeReciprocatable a => Reciprocatable a where

Methods reciprocate :: a -> a Instances Reciprocatable Double Reciprocatable EIReal Reciprocatable InfRational

class Divisible a b ab | a b -> ab where

Methods divide :: a -> b -> ab Watch out, "divide a b" means "divide b by a" i.e. "b / a". Instances (Additive a a a, Subtractive a a a, Multiplicative a a a, Divisible a a a) => Divisible (Complex a) (Complex a) (Complex a) Divisible a a a => Divisible a (Complex a) (Complex a) (Additive a a a, Negatable a, Multiplicative a a a, Divisible a a a) => Divisible (Complex a) a (Complex a) Divisible Double Double Double Divisible EIReal EIReal EIReal (HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) () => Divisible (NaNExtended Rational) (NaNExtended Rational) (NaNExtended Rational) () => Divisible Rational (NaNExtended Rational) (NaNExtended Rational) () => Divisible (NaNExtended Rational) Rational (NaNExtended Rational) () => Divisible (NaNExtended Integer) (NaNExtended Rational) (NaNExtended Rational) () => Divisible Integer (NaNExtended Rational) (NaNExtended Rational) () => Divisible (NaNExtended Integer) Rational (NaNExtended Rational) () => Divisible (NaNExtended Rational) (NaNExtended Integer) (NaNExtended Rational) () => Divisible Rational (NaNExtended Integer) (NaNExtended Rational) () => Divisible (NaNExtended Rational) Integer (NaNExtended Rational) () => Divisible (NaNExtended Integer) (NaNExtended Integer) (NaNExtended Rational) () => Divisible Integer (NaNExtended Integer) (NaNExtended Rational) () => Divisible (NaNExtended Integer) Integer (NaNExtended Rational) Divisible Rational Rational (NaNExtended Rational) Divisible Integer Rational (NaNExtended Rational) Divisible Rational Integer (NaNExtended Rational) Divisible Integer Integer (NaNExtended Rational)

(/) :: Divisible a a a => a -> a -> a

This is divide with the arguments swapped.

failingDivide :: (Divisible a b ab, IsA (NaNExtended c) ab) => a -> b -> c

Watch out, "failingDivide a b" means "divide b by a" i.e. "b / a".

(/!) :: (Divisible a a aa, IsA (NaNExtended a) aa) => a -> a -> a

This is failingDivide with the arguments swapped.

Produced by Haddock version 0.6