Data.Urn

Types

data Urn a

Instances

Show a => Show (Urn a)

This Show instance prints out the elements from most-weighted to least-weighted; however, do not rely on the order of equally-weighted elements, as this may depend on details of the implementation.

Methods

showsPrec :: Int -> Urn a -> ShowS

show :: Urn a -> String

showList :: [Urn a] -> ShowS

NFData a => NFData (Urn a)

Methods

rnf :: Urn a -> ()

type Weight = Word

class Monad m => MonadSample m

Instances

MonadSample IO

Methods

randomWord :: (Word, Word) -> IO Word

MonadSample Gen

Methods

randomWord :: (Word, Word) -> Gen Word

MonadSample m => MonadSample (MaybeT m)

Methods

randomWord :: (Word, Word) -> MaybeT m Word

(Monad m, RandomGen g) => MonadSample (RandT g m)

Methods

randomWord :: (Word, Word) -> RandT g m Word

MonadSample m => MonadSample (ExceptT e m)

Methods

randomWord :: (Word, Word) -> ExceptT e m Word

MonadSample m => MonadSample (StateT s m)

Methods

randomWord :: (Word, Word) -> StateT s m Word

MonadSample m => MonadSample (StateT s m)

Methods

randomWord :: (Word, Word) -> StateT s m Word

(MonadSample m, Monoid w) => MonadSample (WriterT w m)

Methods

randomWord :: (Word, Word) -> WriterT w m Word

(MonadSample m, Monoid w) => MonadSample (WriterT w m)

Methods

randomWord :: (Word, Word) -> WriterT w m Word

MonadSample m => MonadSample (IdentityT * m)

Methods

randomWord :: (Word, Word) -> IdentityT * m Word

MonadSample m => MonadSample (ContT * r m)

Methods

randomWord :: (Word, Word) -> ContT * r m Word

MonadSample m => MonadSample (ReaderT * r m)

Methods

randomWord :: (Word, Word) -> ReaderT * r m Word

(MonadSample m, Monoid w) => MonadSample (RWST r w s m)

Methods

randomWord :: (Word, Word) -> RWST r w s m Word

(MonadSample m, Monoid w) => MonadSample (RWST r w s m)

Methods

randomWord :: (Word, Word) -> RWST r w s m Word

Construction

singleton :: Weight -> a -> Urn a

fromList :: [(Weight, a)] -> Maybe (Urn a)

fromNonEmpty :: NonEmpty (Weight, a) -> Urn a

Sampling

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)))

Updating

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)

Other functions

frequency :: MonadSample m => [(Weight, m a)] -> m a

addToUrn :: Foldable t => Urn a -> t (Weight, a) -> Urn a

Urn properties

size :: Urn a -> Word

totalWeight :: Urn a -> Weight