Safe Haskell	None
Language	Haskell2010

Statistics.Probability

Contents

Probability in linear space

Description

Probability-related types.

TODO instances for serialization and further stuff TODO vector instances

Synopsis

data IsNormalized
- = Normalized
- | NotNormalized
newtype Probability (n :: IsNormalized) x = Prob {
- getProb :: x
}
prob :: (Ord x, Num x, Show x) => x -> Probability Normalized x
prob' :: (Ord x, Num x, Show x) => x -> Probability NotNormalized x
probabilityToChar :: (Num k, RealFrac k) => Probability Normalized k -> Char

Documentation

data IsNormalized Source #

Constructors

Normalized
NotNormalized

Probability in linear space

newtype Probability (n :: IsNormalized) x Source #

Prob wraps a Double that encodes probabilities. If Prob is tagged as Normalized, the contained values are in the range [0,...,1], otherwise they are in the range [0,...,∞].

Constructors

Prob
Fields getProb :: x

Instances

Unbox x => Vector Vector (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Probability n x) -> m (Vector (Probability n x)) # basicUnsafeThaw :: PrimMonad m => Vector (Probability n x) -> m (Mutable Vector (PrimState m) (Probability n x)) # basicLength :: Vector (Probability n x) -> Int # basicUnsafeSlice :: Int -> Int -> Vector (Probability n x) -> Vector (Probability n x) # basicUnsafeIndexM :: Monad m => Vector (Probability n x) -> Int -> m (Probability n x) # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Probability n x) -> Vector (Probability n x) -> m () # elemseq :: Vector (Probability n x) -> Probability n x -> b -> b #
Unbox x => MVector MVector (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods basicLength :: MVector s (Probability n x) -> Int # basicUnsafeSlice :: Int -> Int -> MVector s (Probability n x) -> MVector s (Probability n x) # basicOverlaps :: MVector s (Probability n x) -> MVector s (Probability n x) -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Probability n x)) # basicInitialize :: PrimMonad m => MVector (PrimState m) (Probability n x) -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Probability n x -> m (MVector (PrimState m) (Probability n x)) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Probability n x) -> Int -> m (Probability n x) # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Probability n x) -> Int -> Probability n x -> m () # basicClear :: PrimMonad m => MVector (PrimState m) (Probability n x) -> m () # basicSet :: PrimMonad m => MVector (PrimState m) (Probability n x) -> Probability n x -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Probability n x) -> MVector (PrimState m) (Probability n x) -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Probability n x) -> MVector (PrimState m) (Probability n x) -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Probability n x) -> Int -> m (MVector (PrimState m) (Probability n x)) #
Enum x => Enum (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods succ :: Probability n x -> Probability n x # pred :: Probability n x -> Probability n x # toEnum :: Int -> Probability n x # fromEnum :: Probability n x -> Int # enumFrom :: Probability n x -> [Probability n x] # enumFromThen :: Probability n x -> Probability n x -> [Probability n x] # enumFromTo :: Probability n x -> Probability n x -> [Probability n x] # enumFromThenTo :: Probability n x -> Probability n x -> Probability n x -> [Probability n x] #
Eq x => Eq (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods (==) :: Probability n x -> Probability n x -> Bool # (/=) :: Probability n x -> Probability n x -> Bool #
Floating x => Floating (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods pi :: Probability n x # exp :: Probability n x -> Probability n x # log :: Probability n x -> Probability n x # sqrt :: Probability n x -> Probability n x # (**) :: Probability n x -> Probability n x -> Probability n x # logBase :: Probability n x -> Probability n x -> Probability n x # sin :: Probability n x -> Probability n x # cos :: Probability n x -> Probability n x # tan :: Probability n x -> Probability n x # asin :: Probability n x -> Probability n x # acos :: Probability n x -> Probability n x # atan :: Probability n x -> Probability n x # sinh :: Probability n x -> Probability n x # cosh :: Probability n x -> Probability n x # tanh :: Probability n x -> Probability n x # asinh :: Probability n x -> Probability n x # acosh :: Probability n x -> Probability n x # atanh :: Probability n x -> Probability n x # log1p :: Probability n x -> Probability n x # expm1 :: Probability n x -> Probability n x # log1pexp :: Probability n x -> Probability n x # log1mexp :: Probability n x -> Probability n x #
Fractional x => Fractional (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods (/) :: Probability n x -> Probability n x -> Probability n x # recip :: Probability n x -> Probability n x # fromRational :: Rational -> Probability n x #
Num x => Num (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods (+) :: Probability n x -> Probability n x -> Probability n x # (-) :: Probability n x -> Probability n x -> Probability n x # (*) :: Probability n x -> Probability n x -> Probability n x # negate :: Probability n x -> Probability n x # abs :: Probability n x -> Probability n x # signum :: Probability n x -> Probability n x # fromInteger :: Integer -> Probability n x #
Ord x => Ord (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods compare :: Probability n x -> Probability n x -> Ordering # (<) :: Probability n x -> Probability n x -> Bool # (<=) :: Probability n x -> Probability n x -> Bool # (>) :: Probability n x -> Probability n x -> Bool # (>=) :: Probability n x -> Probability n x -> Bool # max :: Probability n x -> Probability n x -> Probability n x # min :: Probability n x -> Probability n x -> Probability n x #
Read x => Read (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods readsPrec :: Int -> ReadS (Probability n x) # readList :: ReadS [Probability n x] # readPrec :: ReadPrec (Probability n x) # readListPrec :: ReadPrec [Probability n x] #
Real x => Real (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods toRational :: Probability n x -> Rational #
RealFloat x => RealFloat (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods floatRadix :: Probability n x -> Integer # floatDigits :: Probability n x -> Int # floatRange :: Probability n x -> (Int, Int) # decodeFloat :: Probability n x -> (Integer, Int) # encodeFloat :: Integer -> Int -> Probability n x # exponent :: Probability n x -> Int # significand :: Probability n x -> Probability n x # scaleFloat :: Int -> Probability n x -> Probability n x # isNaN :: Probability n x -> Bool # isInfinite :: Probability n x -> Bool # isDenormalized :: Probability n x -> Bool # isNegativeZero :: Probability n x -> Bool # isIEEE :: Probability n x -> Bool # atan2 :: Probability n x -> Probability n x -> Probability n x #
RealFrac x => RealFrac (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods properFraction :: Integral b => Probability n x -> (b, Probability n x) # truncate :: Integral b => Probability n x -> b # round :: Integral b => Probability n x -> b # ceiling :: Integral b => Probability n x -> b # floor :: Integral b => Probability n x -> b #
Show x => Show (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods showsPrec :: Int -> Probability n x -> ShowS # show :: Probability n x -> String # showList :: [Probability n x] -> ShowS #
Unbox x => Unbox (Probability n x) Source #
Instance details Defined in Statistics.Probability
Precise x => Precise (Probability n x) Source #
Instance details Defined in Statistics.Probability Methods log1p :: Probability n x -> Probability n x # expm1 :: Probability n x -> Probability n x # log1pexp :: Probability n x -> Probability n x # log1mexp :: Probability n x -> Probability n x #
Num r => Semiring (Probability n r) Source #
Instance details Defined in Statistics.Probability Methods plus :: Probability n r -> Probability n r -> Probability n r # zero :: Probability n r # times :: Probability n r -> Probability n r -> Probability n r # one :: Probability n r #
newtype MVector s (Probability n x) Source #
Instance details Defined in Statistics.Probability newtype MVector s (Probability n x) = MV_Probability (MVector s x)
newtype Vector (Probability n x) Source #
Instance details Defined in Statistics.Probability newtype Vector (Probability n x) = V_Probability (Vector x)

prob :: (Ord x, Num x, Show x) => x -> Probability Normalized x Source #

Turns a value into a normalized probability. error if the value is not in the range [0,...,1].

prob' :: (Ord x, Num x, Show x) => x -> Probability NotNormalized x Source #

Simple wrapper around Probability that fixes non-normalization.

probabilityToChar :: (Num k, RealFrac k) => Probability Normalized k -> Char Source #

This simple function represents probabilities with characters between '0' 0.0 -- 0.05 up to '9' 0.85 -- 0.95 and finally * for >0.95.