NumHask.Algebra.Field

Field

Documentation

class (AdditiveGroup a, MultiplicativeGroup a, Distribution a, Ring a) => Field a

Field

Instances

Field Double

Field Float

Field a => Field (Complex a)

class Field a => ExpField a where

ExpField

Minimal complete definition

exp, log

Methods

exp :: a -> a

log :: a -> a

logBase :: a -> a -> a

(**) :: a -> a -> a

sqrt :: a -> a

Instances

ExpField Double

Methods

exp :: Double -> Double

log :: Double -> Double

logBase :: Double -> Double -> Double

(**) :: Double -> Double -> Double

sqrt :: Double -> Double

ExpField Float

Methods

exp :: Float -> Float

log :: Float -> Float

logBase :: Float -> Float -> Float

(**) :: Float -> Float -> Float

sqrt :: Float -> Float

ExpField a => ExpField (Complex a)

Methods

exp :: Complex a -> Complex a

log :: Complex a -> Complex a

logBase :: Complex a -> Complex a -> Complex a

(**) :: Complex a -> Complex a -> Complex a

sqrt :: Complex a -> Complex a

class Field a => QuotientField a where

quotient fields explode constraints if they are polymorphed to emit general integrals

Minimal complete definition

round, ceiling, floor, (^^)

Methods

round :: a -> Integer

ceiling :: a -> Integer

floor :: a -> Integer

(^^) :: a -> Integer -> a

Instances

QuotientField Double

Methods

round :: Double -> Integer

ceiling :: Double -> Integer

floor :: Double -> Integer

(^^) :: Double -> Integer -> Double

QuotientField Float

Methods

round :: Float -> Integer

ceiling :: Float -> Integer

floor :: Float -> Integer

(^^) :: Float -> Integer -> Float

class Field a => BoundedField a where

providing the concepts of infinity and NaN, thus moving away from error throwing

Minimal complete definition

isNaN

Methods

maxBound :: a

minBound :: a

nan :: a

isNaN :: a -> Bool

Instances

BoundedField Double

Methods

maxBound :: Double

minBound :: Double

nan :: Double

isNaN :: Double -> Bool

BoundedField Float

Methods

maxBound :: Float

minBound :: Float

nan :: Float

isNaN :: Float -> Bool

BoundedField a => BoundedField (Complex a)

Methods

maxBound :: Complex a

minBound :: Complex a

nan :: Complex a

isNaN :: Complex a -> Bool

infinity :: BoundedField a => a

prints as Infinity

neginfinity :: BoundedField a => a

prints as `-Infinity`