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

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 a) a

Typeable (* -> *) Approximate

data MVector s (Approximate a) = MV_Approximate (MVector s (Log Double, a, a, a))

type Rep (Approximate a)

data Vector (Approximate a) = V_Approximate (Vector (Log Double, a, a, a))

class HasApproximate c a | c -> a where

Minimal complete definition

approximate

Methods

approximate :: Lens' c (Approximate a)

confidence :: Lens' c (Log Double)

estimate :: Lens' c a

hi :: Lens' c a

lo :: Lens' c a

Instances

HasApproximate (Approximate a) a

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