NumHask.Algebra.Metric

Metric structure

Metric

class Metric a b where

distance between numbers

Minimal complete definition

distance

Methods

distance :: a -> a -> b

Instances

Metric Double Double

Methods

distance :: Double -> Double -> Double

Metric Float Float

Methods

distance :: Float -> Float -> Float

Metric Int Int

Methods

distance :: Int -> Int -> Int

Metric Integer Integer

Methods

distance :: Integer -> Integer -> Integer

(Multiplicative a, ExpField a, Normed a a) => Metric (Complex a) a

Methods

distance :: Complex a -> Complex a -> a

class Normed a b where

Normed is a current wart on the NumHask api, causing all sorts of runaway constraint boiler-plate.

Minimal complete definition

size

Methods

size :: a -> b

Instances

Normed Double Double

Methods

size :: Double -> Double

Normed Float Float

Methods

size :: Float -> Float

Normed Int Int

Methods

size :: Int -> Int

Normed Integer Integer

Methods

size :: Integer -> Integer

(Multiplicative a, ExpField a, Normed a a) => Normed (Complex a) a

Methods

size :: Complex a -> a

class (AdditiveUnital a, AdditiveGroup a, Multiplicative a) => Signed a where

abs and signnum are warts on the standard Num class, and are separated here to provide a cleaner structure.

Minimal complete definition

sign, abs

Methods

sign :: a -> a

abs :: a -> a

Instances

Signed Double

Methods

sign :: Double -> Double

abs :: Double -> Double

Signed Float

Methods

sign :: Float -> Float

abs :: Float -> Float

Signed Int

Methods

sign :: Int -> Int

abs :: Int -> Int

Signed Integer

Methods

sign :: Integer -> Integer

abs :: Integer -> Integer

class AdditiveGroup a => Epsilon a where

This should probably be split off into some sort of alternative Equality logic, but to what end?

Minimal complete definition

nearZero, aboutEqual

Methods

nearZero :: a -> Bool

aboutEqual :: a -> a -> Bool

Instances

Epsilon Double

Methods

nearZero :: Double -> Bool

aboutEqual :: Double -> Double -> Bool

Epsilon Float

Methods

nearZero :: Float -> Bool

aboutEqual :: Float -> Float -> Bool

Epsilon Int

Methods

nearZero :: Int -> Bool

aboutEqual :: Int -> Int -> Bool

Epsilon Integer

Methods

nearZero :: Integer -> Bool

aboutEqual :: Integer -> Integer -> Bool

Epsilon a => Epsilon (Complex a)

Methods

nearZero :: Complex a -> Bool

aboutEqual :: Complex a -> Complex a -> Bool

(≈) :: Epsilon a => a -> a -> Bool infixl 4

utf ???