Data.Urn.Common

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

Urn properties

size :: Urn a -> Word

totalWeight :: Urn a -> Weight

Constructing Urns

singleton :: Weight -> a -> Urn a

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

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

Inserting into Urns

insert :: Weight -> a -> Urn a -> Urn a

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