Data.Approximate.Type

Documentation

data Approximate a

An approximate number, with a likely interval, an expected value and a lower bound on the log of probability that the answer falls in the interval.

NB: The probabilities associated with confidence are stored in the log domain.

Constructors

Approximate !(Log Double) a a a

Instances

Functor Approximate

Typeable1 Approximate

Applicative Approximate

Foldable Approximate

Traversable Approximate

Serial1 Approximate

Hashable1 Approximate

Pointed Approximate

Copointed Approximate

Apply Approximate

Unbox a => Vector Vector (Approximate a)

Unbox a => MVector MVector (Approximate a)

Eq a => Eq (Approximate a)

Data a => Data (Approximate a)

(Ord a, Num a) => Num (Approximate a)

Read a => Read (Approximate a)

Show a => Show (Approximate a)

Generic (Approximate a)

Binary a => Binary (Approximate a)

Serial a => Serial (Approximate a)

Serialize a => Serialize (Approximate a)

NFData a => NFData (Approximate a)

Hashable a => Hashable (Approximate a)

Unbox a => Unbox (Approximate a)

Serialize a => SafeCopy (Approximate a)

HasApproximate (Approximate a0) a0

class HasApproximate t a | t -> a where

Methods

approximate :: Lens' t (Approximate a)

confidence :: Lens' t (Log Double)

estimate :: Lens' t a

hi :: Lens' t a

lo :: Lens' t a

Instances

HasApproximate (Approximate a0) a0

exact :: Eq a => Prism' (Approximate a) a

zero :: (Num a, Eq a) => Prism' (Approximate a) ()

one :: (Num a, Eq a) => Prism' (Approximate a) ()

withMin :: Ord a => a -> Approximate a -> Approximate a

withMax :: Ord a => a -> Approximate a -> Approximate a