Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.CDF

Synopsis

newtype Centile = Centile {
- unCentile :: Double
}
renderCentile :: Int -> Centile -> String
briefCentiles :: [Centile]
stdCentiles :: [Centile]
nEquicentiles :: Int -> [Centile]
class Real a => Divisible a where
- divide :: a -> Double -> a
- fromDouble :: Double -> a
weightedAverage :: forall b. Divisible b => [(Int, b)] -> b
averageDouble :: Divisible a => [a] -> Double
data CDFError
- = CDFIncoherentSamplingLengths [Int]
- | CDFIncoherentSamplingCentiles [[Centile]]
- | CDFEmptyDataset
data CDF p a = CDF {
- cdfSize :: Int
- cdfAverage :: p Double
- cdfMedian :: a
- cdfStddev :: Double
- cdfRange :: Interval a
- cdfSamples :: [(Centile, p a)]
}
cdf :: forall a. Divisible a => [Centile] -> [a] -> CDF I a
cdfZ :: forall a. Divisible a => [Centile] -> [a] -> CDF I a
cdfAverageVal :: KnownCDF p => CDF p a -> Double
centilesCDF :: CDF p a -> [Centile]
filterCDF :: ((Centile, p a) -> Bool) -> CDF p a -> CDF p a
subsetCDF :: [Centile] -> CDF p b -> CDF p b
zeroCDF :: (Real a, KnownCDF p) => CDF p a
projectCDF :: Centile -> CDF p a -> Maybe (p a)
projectCDF' :: String -> Centile -> CDF p a -> p a
indexCDF :: Int -> CDF p a -> p a
data CDFIx p where
- CDFI :: CDFIx I
- CDF2 :: CDFIx (CDF I)
class KnownCDF a where
- cdfIx :: CDFIx a
type family CDFList (f :: Type -> Type) (t :: Type) :: Type where ...
liftCDFVal :: forall a p. Real a => a -> CDFIx p -> p a
unliftCDFVal :: forall a p. Divisible a => CDFIx p -> p a -> a
unliftCDFValExtra :: forall a p. Divisible a => CDFIx p -> p a -> [a]
arity :: forall p a b. KnownCDF p => (I a -> b) -> (CDF I a -> b) -> p a -> b
cdfArity :: forall p a b. KnownCDF p => (CDF I a -> b) -> (CDF (CDF I) a -> b) -> CDF p a -> b
cdfArity' :: forall p a. KnownCDF p => (CDF I a -> I a) -> (CDF (CDF I) a -> CDF I a) -> CDF p a -> p a
arityProj :: forall p a. KnownCDF p => (CDF I a -> a) -> p a -> a
mapCDFCentiles :: (Centile -> p a -> b) -> CDF p a -> [b]
data Combine p a = Combine {
- cWeightedAverages :: !([(Int, Double)] -> Double)
- cStddevs :: !([Double] -> Double)
- cRanges :: !([Interval a] -> Interval a)
- cWeightedSamples :: !([(Int, a)] -> a)
- cCDF :: !([p a] -> Either CDFError (CDF I a))
}
stdCombine1 :: forall a. Divisible a => [Centile] -> Combine I a
stdCombine2 :: Divisible a => [Centile] -> Combine (CDF I) a
type CDF2 a = CDF (CDF I) a
collapseCDF :: ([a] -> b) -> CDF (CDF I) a -> CDF I b
collapseCDFs :: forall a. Ord a => Combine I a -> [CDF I a] -> Either CDFError (CDF I a)
cdf2OfCDFs :: forall a p. (KnownCDF p, Ord a) => Combine p a -> [CDF p a] -> Either CDFError (CDF (CDF I) a)
module Data.SOP.Strict

Documentation

newtype Centile Source #

Centile specifier: a fractional in range of [0; 1].

Constructors

Centile
Fields unCentile :: Double

Instances

Instances details

FromJSON Centile Source #
Instance details Defined in Data.CDF Methods parseJSON :: Value -> Parser Centile # parseJSONList :: Value -> Parser [Centile] # omittedField :: Maybe Centile #
ToJSON Centile Source #
Instance details Defined in Data.CDF Methods toJSON :: Centile -> Value # toEncoding :: Centile -> Encoding # toJSONList :: [Centile] -> Value # toEncodingList :: [Centile] -> Encoding # omitField :: Centile -> Bool #
Show Centile Source #
Instance details Defined in Data.CDF Methods showsPrec :: Int -> Centile -> ShowS Source # show :: Centile -> String Source # showList :: [Centile] -> ShowS Source #
NFData Centile Source #
Instance details Defined in Data.CDF Methods rnf :: Centile -> () Source #
Eq Centile Source #
Instance details Defined in Data.CDF Methods (==) :: Centile -> Centile -> Bool Source # (/=) :: Centile -> Centile -> Bool Source #

renderCentile :: Int -> Centile -> String Source #

briefCentiles :: [Centile] Source #

stdCentiles :: [Centile] Source #

nEquicentiles :: Int -> [Centile] Source #

class Real a => Divisible a where Source #

Avoiding Fractional

Methods

divide :: a -> Double -> a Source #

fromDouble :: Double -> a Source #

Instances

Instances details

Divisible Word32 Source #
Instance details Defined in Data.CDF Methods divide :: Word32 -> Double -> Word32 Source # fromDouble :: Double -> Word32 Source #
Divisible Word64 Source #
Instance details Defined in Data.CDF Methods divide :: Word64 -> Double -> Word64 Source # fromDouble :: Double -> Word64 Source #
Divisible BlockNo Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods divide :: BlockNo -> Double -> BlockNo Source # fromDouble :: Double -> BlockNo Source #
Divisible SlotNo Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods divide :: SlotNo -> Double -> SlotNo Source # fromDouble :: Double -> SlotNo Source #
Divisible RUTCTime Source #
Instance details Defined in Data.CDF Methods divide :: RUTCTime -> Double -> RUTCTime Source # fromDouble :: Double -> RUTCTime Source #
Divisible NominalDiffTime Source #
Instance details Defined in Data.CDF Methods divide :: NominalDiffTime -> Double -> NominalDiffTime Source # fromDouble :: Double -> NominalDiffTime Source #
Divisible Integer Source #
Instance details Defined in Data.CDF Methods divide :: Integer -> Double -> Integer Source # fromDouble :: Double -> Integer Source #
Divisible Double Source #
Instance details Defined in Data.CDF Methods divide :: Double -> Double -> Double Source # fromDouble :: Double -> Double Source #
Divisible Int Source #
Instance details Defined in Data.CDF Methods divide :: Int -> Double -> Int Source # fromDouble :: Double -> Int Source #
Divisible (Count a) Source #
Instance details Defined in Cardano.Analysis.API.Ground Methods divide :: Count a -> Double -> Count a Source # fromDouble :: Double -> Count a Source #

weightedAverage :: forall b. Divisible b => [(Int, b)] -> b Source #

averageDouble :: Divisible a => [a] -> Double Source #

data CDFError Source #

Constructors

CDFIncoherentSamplingLengths [Int]
CDFIncoherentSamplingCentiles [[Centile]]
CDFEmptyDataset

Instances

Instances details

Show CDFError Source #
Instance details Defined in Data.CDF Methods showsPrec :: Int -> CDFError -> ShowS Source # show :: CDFError -> String Source # showList :: [CDFError] -> ShowS Source #

data CDF p a Source #

Constructors

CDF
Fields cdfSize :: Int cdfAverage :: p Double cdfMedian :: a cdfStddev :: Double cdfRange :: Interval a cdfSamples :: [(Centile, p a)]

Instances

Instances details

Functor p => Functor (CDF p) Source #
Instance details Defined in Data.CDF Methods fmap :: (a -> b) -> CDF p a -> CDF p b Source # (<$) :: a -> CDF p b -> CDF p a Source #
KnownCDF (CDF I) Source #
Instance details Defined in Data.CDF Methods cdfIx :: CDFIx (CDF I) Source #
(FromJSON (p a), FromJSON (p Double), FromJSON a) => FromJSON (CDF p a) Source #
Instance details Defined in Data.CDF Methods parseJSON :: Value -> Parser (CDF p a) # parseJSONList :: Value -> Parser [CDF p a] # omittedField :: Maybe (CDF p a) #
(ToJSON (p a), ToJSON (p Double), ToJSON a) => ToJSON (CDF p a) Source #
Instance details Defined in Data.CDF Methods toJSON :: CDF p a -> Value # toEncoding :: CDF p a -> Encoding # toJSONList :: [CDF p a] -> Value # toEncodingList :: [CDF p a] -> Encoding # omitField :: CDF p a -> Bool #
Generic (CDF p a) Source #
Instance details Defined in Data.CDF Associated Types type Rep (CDF p a) :: Type -> Type Source # Methods from :: CDF p a -> Rep (CDF p a) x Source # to :: Rep (CDF p a) x -> CDF p a Source #
(Show a, Show (p a), Show (p Double)) => Show (CDF p a) Source #
Instance details Defined in Data.CDF Methods showsPrec :: Int -> CDF p a -> ShowS Source # show :: CDF p a -> String Source # showList :: [CDF p a] -> ShowS Source #
(NFData a, NFData (p a), NFData (p Double)) => NFData (CDF p a) Source #
Instance details Defined in Data.CDF Methods rnf :: CDF p a -> () Source #
(Eq a, Eq (p a), Eq (p Double)) => Eq (CDF p a) Source #
Instance details Defined in Data.CDF Methods (==) :: CDF p a -> CDF p a -> Bool Source # (/=) :: CDF p a -> CDF p a -> Bool Source #
type Rep (CDF p a) Source #
Instance details Defined in Data.CDF type Rep (CDF p a) = D1 ('MetaData "CDF" "Data.CDF" "locli-1.34-inplace" 'False) (C1 ('MetaCons "CDF" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cdfSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "cdfAverage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p Double)) :: S1 ('MetaSel ('Just "cdfMedian") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :: (S1 ('MetaSel ('Just "cdfStddev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Just "cdfRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Interval a)) :*: S1 ('MetaSel ('Just "cdfSamples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Centile, p a)])))))

cdf :: forall a. Divisible a => [Centile] -> [a] -> CDF I a Source #

Simple, monomorphic, first-order CDF.

cdfZ :: forall a. Divisible a => [Centile] -> [a] -> CDF I a Source #

cdfAverageVal :: KnownCDF p => CDF p a -> Double Source #

centilesCDF :: CDF p a -> [Centile] Source #

filterCDF :: ((Centile, p a) -> Bool) -> CDF p a -> CDF p a Source #

subsetCDF :: [Centile] -> CDF p b -> CDF p b Source #

zeroCDF :: (Real a, KnownCDF p) => CDF p a Source #

projectCDF :: Centile -> CDF p a -> Maybe (p a) Source #

projectCDF' :: String -> Centile -> CDF p a -> p a Source #

indexCDF :: Int -> CDF p a -> p a Source #

data CDFIx p where Source #

Constructors

CDFI :: CDFIx I
CDF2 :: CDFIx (CDF I)

class KnownCDF a where Source #

Methods

cdfIx :: CDFIx a Source #

Instances

Instances details

KnownCDF I Source #
Instance details Defined in Data.CDF Methods cdfIx :: CDFIx I Source #
KnownCDF (CDF I) Source #
Instance details Defined in Data.CDF Methods cdfIx :: CDFIx (CDF I) Source #

type family CDFList (f :: Type -> Type) (t :: Type) :: Type where ... Source #

Equations

CDFList I t = t
CDFList (CDF I) t = [t]

liftCDFVal :: forall a p. Real a => a -> CDFIx p -> p a Source #

unliftCDFVal :: forall a p. Divisible a => CDFIx p -> p a -> a Source #

unliftCDFValExtra :: forall a p. Divisible a => CDFIx p -> p a -> [a] Source #

arity :: forall p a b. KnownCDF p => (I a -> b) -> (CDF I a -> b) -> p a -> b Source #

cdfArity :: forall p a b. KnownCDF p => (CDF I a -> b) -> (CDF (CDF I) a -> b) -> CDF p a -> b Source #

cdfArity' :: forall p a. KnownCDF p => (CDF I a -> I a) -> (CDF (CDF I) a -> CDF I a) -> CDF p a -> p a Source #

arityProj :: forall p a. KnownCDF p => (CDF I a -> a) -> p a -> a Source #

mapCDFCentiles :: (Centile -> p a -> b) -> CDF p a -> [b] Source #

data Combine p a Source #

Constructors

Combine
Fields cWeightedAverages :: !([(Int, Double)] -> Double) cStddevs :: !([Double] -> Double) cRanges :: !([Interval a] -> Interval a) cWeightedSamples :: !([(Int, a)] -> a) cCDF :: !([p a] -> Either CDFError (CDF I a))

stdCombine1 :: forall a. Divisible a => [Centile] -> Combine I a Source #

stdCombine2 :: Divisible a => [Centile] -> Combine (CDF I) a Source #

type CDF2 a = CDF (CDF I) a Source #

collapseCDF :: ([a] -> b) -> CDF (CDF I) a -> CDF I b Source #

collapseCDFs :: forall a. Ord a => Combine I a -> [CDF I a] -> Either CDFError (CDF I a) Source #

Collapse basic CDFs.

cdf2OfCDFs :: forall a p. (KnownCDF p, Ord a) => Combine p a -> [CDF p a] -> Either CDFError (CDF (CDF I) a) Source #

Polymorphic, but practically speaking, intended for either: 1. given a ([I] -> CDF I) function, and a list of (CDF I), produce a CDF (CDF I), or 2. given a ([CDF I] -> CDF I) function, and a list of (CDF (CDF I)), produce a CDF (CDF I)

module Data.SOP.Strict