Data.Urn

Contents

• Types
• Construction
• Sampling
• Updating
• Other functions
• Urn properties

Synopsis

• data Urn a
• type Weight = Word
• class Monad m => MonadSample m
• singleton :: Weight -> a -> Urn a
• fromList :: [(Weight, a)] -> Maybe (Urn a)
• fromNonEmpty :: NonEmpty (Weight, a) -> Urn a
• sample :: MonadSample m => Urn a -> m a
• sampleM :: MonadSample m => Urn (m a) -> m a
• remove :: MonadSample m => Urn a -> m (Weight, a, Maybe (Urn a))
• removeM :: MonadSample m => Urn (m a) -> m (Weight, a, Maybe (Urn (m a)))
• insert :: Weight -> a -> Urn a -> Urn a
• update :: MonadSample m => (Weight -> a -> (Weight, a)) -> Urn a -> m (Weight, a, Weight, a, Urn a)
• replace :: MonadSample m => Weight -> a -> Urn a -> m (Weight, a, Urn a)
• frequency :: MonadSample m => [(Weight, m a)] -> m a
• addToUrn :: Foldable t => Urn a -> t (Weight, a) -> Urn a
• size :: Urn a -> Word
• totalWeight :: Urn a -> Weight

Types

Construction

Sampling

Updating

Other functions

Urn properties