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

Instances

Functor Approximate

Methods

fmap :: (a -> b) -> Approximate a -> Approximate b

(<$) :: a -> Approximate b -> Approximate a

Applicative Approximate

Methods

pure :: a -> Approximate a

(<*>) :: Approximate (a -> b) -> Approximate a -> Approximate b

(*>) :: Approximate a -> Approximate b -> Approximate b

(<*) :: Approximate a -> Approximate b -> Approximate a

Foldable Approximate

Methods

fold :: Monoid m => Approximate m -> m

foldMap :: Monoid m => (a -> m) -> Approximate a -> m

foldr :: (a -> b -> b) -> b -> Approximate a -> b

foldr' :: (a -> b -> b) -> b -> Approximate a -> b

foldl :: (b -> a -> b) -> b -> Approximate a -> b

foldl' :: (b -> a -> b) -> b -> Approximate a -> b

foldr1 :: (a -> a -> a) -> Approximate a -> a

foldl1 :: (a -> a -> a) -> Approximate a -> a

toList :: Approximate a -> [a]

null :: Approximate a -> Bool

length :: Approximate a -> Int

elem :: Eq a => a -> Approximate a -> Bool

maximum :: Ord a => Approximate a -> a

minimum :: Ord a => Approximate a -> a

sum :: Num a => Approximate a -> a

product :: Num a => Approximate a -> a

Traversable Approximate

Methods

traverse :: Applicative f => (a -> f b) -> Approximate a -> f (Approximate b)

sequenceA :: Applicative f => Approximate (f a) -> f (Approximate a)

mapM :: Monad m => (a -> m b) -> Approximate a -> m (Approximate b)

sequence :: Monad m => Approximate (m a) -> m (Approximate a)

Serial1 Approximate

Methods

serializeWith :: MonadPut m => (a -> m ()) -> Approximate a -> m ()

deserializeWith :: MonadGet m => m a -> m (Approximate a)

Hashable1 Approximate

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Approximate a -> Int

Copointed Approximate

Methods

copoint :: Approximate a -> a

Pointed Approximate

Methods

point :: a -> Approximate a

Apply Approximate

Methods

(<.>) :: Approximate (a -> b) -> Approximate a -> Approximate b

(.>) :: Approximate a -> Approximate b -> Approximate b

(<.) :: Approximate a -> Approximate b -> Approximate a

Unbox a => Vector Vector (Approximate a)

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Approximate a) -> m (Vector (Approximate a))

basicUnsafeThaw :: PrimMonad m => Vector (Approximate a) -> m (Mutable Vector (PrimState m) (Approximate a))

basicLength :: Vector (Approximate a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Approximate a) -> Vector (Approximate a)

basicUnsafeIndexM :: Monad m => Vector (Approximate a) -> Int -> m (Approximate a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Approximate a) -> Vector (Approximate a) -> m ()

elemseq :: Vector (Approximate a) -> Approximate a -> b -> b

Unbox a => MVector MVector (Approximate a)

Methods

basicLength :: MVector s (Approximate a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Approximate a) -> MVector s (Approximate a)

basicOverlaps :: MVector s (Approximate a) -> MVector s (Approximate a) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Approximate a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (Approximate a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Approximate a -> m (MVector (PrimState m) (Approximate a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Approximate a) -> Int -> m (Approximate a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Approximate a) -> Int -> Approximate a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (Approximate a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (Approximate a) -> Approximate a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Approximate a) -> MVector (PrimState m) (Approximate a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Approximate a) -> MVector (PrimState m) (Approximate a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Approximate a) -> Int -> m (MVector (PrimState m) (Approximate a))

Eq a => Eq (Approximate a)

Methods

(==) :: Approximate a -> Approximate a -> Bool

(/=) :: Approximate a -> Approximate a -> Bool

Data a => Data (Approximate a)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Approximate a -> c (Approximate a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Approximate a)

toConstr :: Approximate a -> Constr

dataTypeOf :: Approximate a -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Approximate a))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Approximate a))

gmapT :: (forall b. Data b => b -> b) -> Approximate a -> Approximate a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Approximate a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Approximate a -> r

gmapQ :: (forall d. Data d => d -> u) -> Approximate a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Approximate a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Approximate a -> m (Approximate a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Approximate a -> m (Approximate a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Approximate a -> m (Approximate a)

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

Methods

(+) :: Approximate a -> Approximate a -> Approximate a

(-) :: Approximate a -> Approximate a -> Approximate a

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

negate :: Approximate a -> Approximate a

abs :: Approximate a -> Approximate a

signum :: Approximate a -> Approximate a

fromInteger :: Integer -> Approximate a

Read a => Read (Approximate a)

Methods

readsPrec :: Int -> ReadS (Approximate a)

readList :: ReadS [Approximate a]

readPrec :: ReadPrec (Approximate a)

readListPrec :: ReadPrec [Approximate a]

Show a => Show (Approximate a)

Methods

showsPrec :: Int -> Approximate a -> ShowS

show :: Approximate a -> String

showList :: [Approximate a] -> ShowS

Generic (Approximate a)

Associated Types

type Rep (Approximate a) :: * -> *

Methods

from :: Approximate a -> Rep (Approximate a) x

to :: Rep (Approximate a) x -> Approximate a

Binary a => Binary (Approximate a)

Methods

put :: Approximate a -> Put

get :: Get (Approximate a)

putList :: [Approximate a] -> Put

Serial a => Serial (Approximate a)

Methods

serialize :: MonadPut m => Approximate a -> m ()

deserialize :: MonadGet m => m (Approximate a)

Serialize a => Serialize (Approximate a)

Methods

put :: Putter (Approximate a)

get :: Get (Approximate a)

NFData a => NFData (Approximate a)

Methods

rnf :: Approximate a -> ()

Hashable a => Hashable (Approximate a)

Methods

hashWithSalt :: Int -> Approximate a -> Int

hash :: Approximate a -> Int

Unbox a => Unbox (Approximate a)

Serialize a => SafeCopy (Approximate a)

Methods

version :: Version (Approximate a)

kind :: Kind (Approximate a)

getCopy :: Contained (Get (Approximate a))

putCopy :: Approximate a -> Contained Put

internalConsistency :: Consistency (Approximate a)

objectProfile :: Profile (Approximate a)

errorTypeName :: Proxy (Approximate a) -> String

HasApproximate (Approximate a0) a0

Methods

approximate :: Lens' (Approximate a0) (Approximate a0)

confidence :: Lens' (Approximate a0) (Log Double)

estimate :: Lens' (Approximate a0) a0

hi :: Lens' (Approximate a0) a0

lo :: Lens' (Approximate a0) a0

data MVector s (Approximate a)

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

type Rep (Approximate a)

type Rep (Approximate a) = D1 (MetaData "Approximate" "Data.Approximate.Type" "approximate-0.3.1-FS3hJ0LU8K8BWgM9AgtLk8" False) (C1 (MetaCons "Approximate" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_confidence") SourceUnpack SourceStrict DecidedUnpack) (Rec0 (Log Double))) (S1 (MetaSel (Just Symbol "_lo") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) ((:*:) (S1 (MetaSel (Just Symbol "_estimate") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) (S1 (MetaSel (Just Symbol "_hi") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))))

data Vector (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 a0) a0

Methods

approximate :: Lens' (Approximate a0) (Approximate a0)

confidence :: Lens' (Approximate a0) (Log Double)

estimate :: Lens' (Approximate a0) a0

hi :: Lens' (Approximate a0) a0

lo :: Lens' (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