| Copyright | (c) Edward Kmett 2013 |
|---|---|
| License | BSD3 |
| Maintainer | Edward Kmett <[email protected]> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell98 |
Data.Approximate.Type
Description
- data Approximate a = Approximate !(Log Double) a a a
- class HasApproximate c a | c -> a where
- approximate :: Lens' c (Approximate a)
- confidence :: Lens' c (Log Double)
- estimate :: Lens' c a
- hi :: Lens' c a
- lo :: Lens' c 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
Documentation
data Approximate a Source
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 Source
Minimal complete definition
Instances
| HasApproximate (Approximate a) a |
exact :: Eq a => Prism' (Approximate a) a Source
withMin :: Ord a => a -> Approximate a -> Approximate a Source
withMax :: Ord a => a -> Approximate a -> Approximate a Source