Safe Haskell	None
Language	Haskell2010

Statistics.Odds

Description

Provides newtypes for odds, log-odds, and discretized versions.

TODO This is currently quite ad-hoc and needs better formalization. In particular in terms of wrapping and usage of Num and Semiring.

Synopsis

newtype Odds = Odds {
- getOdds :: Double
}
newtype DiscLogOdds (t :: k) = DiscLogOdds {
- getDiscLogOdds :: Discretized t
}

Documentation

newtype Odds Source #

Odds.

Constructors

Odds
Fields getOdds :: Double

Instances

Eq Odds Source #
Instance details Defined in Statistics.Odds Methods (==) :: Odds -> Odds -> Bool # (/=) :: Odds -> Odds -> Bool #
Num Odds Source #
Instance details Defined in Statistics.Odds Methods (+) :: Odds -> Odds -> Odds # (-) :: Odds -> Odds -> Odds # (*) :: Odds -> Odds -> Odds # negate :: Odds -> Odds # abs :: Odds -> Odds # signum :: Odds -> Odds # fromInteger :: Integer -> Odds #
Ord Odds Source #
Instance details Defined in Statistics.Odds Methods compare :: Odds -> Odds -> Ordering # (<) :: Odds -> Odds -> Bool # (<=) :: Odds -> Odds -> Bool # (>) :: Odds -> Odds -> Bool # (>=) :: Odds -> Odds -> Bool # max :: Odds -> Odds -> Odds # min :: Odds -> Odds -> Odds #
Read Odds Source #
Instance details Defined in Statistics.Odds Methods readsPrec :: Int -> ReadS Odds # readList :: ReadS [Odds] # readPrec :: ReadPrec Odds # readListPrec :: ReadPrec [Odds] #
Show Odds Source #
Instance details Defined in Statistics.Odds Methods showsPrec :: Int -> Odds -> ShowS # show :: Odds -> String # showList :: [Odds] -> ShowS #
Generic Odds Source #
Instance details Defined in Statistics.Odds Associated Types type Rep Odds :: Type -> Type # Methods from :: Odds -> Rep Odds x # to :: Rep Odds x -> Odds #
Semiring Odds Source #
Instance details Defined in Statistics.Odds Methods plus :: Odds -> Odds -> Odds # zero :: Odds # times :: Odds -> Odds -> Odds # one :: Odds #
type Rep Odds Source #
Instance details Defined in Statistics.Odds type Rep Odds = D1 (MetaData "Odds" "Statistics.Odds" "SciBaseTypes-0.1.0.0-8v1Wd4dQxf86ztFKnvLSrc" True) (C1 (MetaCons "Odds" PrefixI True) (S1 (MetaSel (Just "getOdds") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))

newtype DiscLogOdds (t :: k) Source #

Encodes log-odds that have been rounded or clamped to integral numbers. One advantage this provides is more efficient "maximum/minimum" calculations compared to using Doubles.

Note that these are "explicit" log-odds. Each numeric operation uses the underlying operation on Int. If you want automatic handling, choose Log Odds.

Constructors

DiscLogOdds
Fields getDiscLogOdds :: Discretized t

Instances

Vector Vector (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (DiscLogOdds t) -> m (Vector (DiscLogOdds t)) # basicUnsafeThaw :: PrimMonad m => Vector (DiscLogOdds t) -> m (Mutable Vector (PrimState m) (DiscLogOdds t)) # basicLength :: Vector (DiscLogOdds t) -> Int # basicUnsafeSlice :: Int -> Int -> Vector (DiscLogOdds t) -> Vector (DiscLogOdds t) # basicUnsafeIndexM :: Monad m => Vector (DiscLogOdds t) -> Int -> m (DiscLogOdds t) # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (DiscLogOdds t) -> Vector (DiscLogOdds t) -> m () # elemseq :: Vector (DiscLogOdds t) -> DiscLogOdds t -> b -> b #
MVector MVector (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods basicLength :: MVector s (DiscLogOdds t) -> Int # basicUnsafeSlice :: Int -> Int -> MVector s (DiscLogOdds t) -> MVector s (DiscLogOdds t) # basicOverlaps :: MVector s (DiscLogOdds t) -> MVector s (DiscLogOdds t) -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (DiscLogOdds t)) # basicInitialize :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> DiscLogOdds t -> m (MVector (PrimState m) (DiscLogOdds t)) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> Int -> m (DiscLogOdds t) # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> Int -> DiscLogOdds t -> m () # basicClear :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> m () # basicSet :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> DiscLogOdds t -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> MVector (PrimState m) (DiscLogOdds t) -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> MVector (PrimState m) (DiscLogOdds t) -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (DiscLogOdds t) -> Int -> m (MVector (PrimState m) (DiscLogOdds t)) #
Eq (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods (==) :: DiscLogOdds t -> DiscLogOdds t -> Bool # (/=) :: DiscLogOdds t -> DiscLogOdds t -> Bool #
Num (Discretized t) => Num (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods (+) :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t # (-) :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t # (*) :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t # negate :: DiscLogOdds t -> DiscLogOdds t # abs :: DiscLogOdds t -> DiscLogOdds t # signum :: DiscLogOdds t -> DiscLogOdds t # fromInteger :: Integer -> DiscLogOdds t #
Ord (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods compare :: DiscLogOdds t -> DiscLogOdds t -> Ordering # (<) :: DiscLogOdds t -> DiscLogOdds t -> Bool # (<=) :: DiscLogOdds t -> DiscLogOdds t -> Bool # (>) :: DiscLogOdds t -> DiscLogOdds t -> Bool # (>=) :: DiscLogOdds t -> DiscLogOdds t -> Bool # max :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t # min :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t #
Read (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods readsPrec :: Int -> ReadS (DiscLogOdds t) # readList :: ReadS [DiscLogOdds t] # readPrec :: ReadPrec (DiscLogOdds t) # readListPrec :: ReadPrec [DiscLogOdds t] #
Show (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods showsPrec :: Int -> DiscLogOdds t -> ShowS # show :: DiscLogOdds t -> String # showList :: [DiscLogOdds t] -> ShowS #
Generic (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Associated Types type Rep (DiscLogOdds t) :: Type -> Type # Methods from :: DiscLogOdds t -> Rep (DiscLogOdds t) x # to :: Rep (DiscLogOdds t) x -> DiscLogOdds t #
Hashable (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods hashWithSalt :: Int -> DiscLogOdds t -> Int # hash :: DiscLogOdds t -> Int #
ToJSON (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods toJSON :: DiscLogOdds t -> Value # toEncoding :: DiscLogOdds t -> Encoding # toJSONList :: [DiscLogOdds t] -> Value # toEncodingList :: [DiscLogOdds t] -> Encoding #
FromJSON (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods parseJSON :: Value -> Parser (DiscLogOdds t) # parseJSONList :: Value -> Parser [DiscLogOdds t] #
Binary (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods put :: DiscLogOdds t -> Put # get :: Get (DiscLogOdds t) # putList :: [DiscLogOdds t] -> Put #
Serialize (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods put :: Putter (DiscLogOdds t) # get :: Get (DiscLogOdds t) #
NFData (Discretized t) => NFData (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods rnf :: DiscLogOdds t -> () #
Unbox (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds
Semiring (Discretized t) => Semiring (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods plus :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t # zero :: DiscLogOdds t # times :: DiscLogOdds t -> DiscLogOdds t -> DiscLogOdds t # one :: DiscLogOdds t #
NumericLimits (Discretized t) => NumericLimits (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds Methods minFinite :: DiscLogOdds t Source # maxFinite :: DiscLogOdds t Source #
newtype MVector s (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds newtype MVector s (DiscLogOdds t) = MV_DiscretizedLogOdds (MVector s Int)
type Rep (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds type Rep (DiscLogOdds t) = D1 (MetaData "DiscLogOdds" "Statistics.Odds" "SciBaseTypes-0.1.0.0-8v1Wd4dQxf86ztFKnvLSrc" True) (C1 (MetaCons "DiscLogOdds" PrefixI True) (S1 (MetaSel (Just "getDiscLogOdds") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Discretized t))))
newtype Vector (DiscLogOdds t) Source #
Instance details Defined in Statistics.Odds newtype Vector (DiscLogOdds t) = V_DiscretizedLogOdds (Vector Int)