Data.Urn.Index

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

data Index

Instances

Eq Index

Methods

(==) :: Index -> Index -> Bool

(/=) :: Index -> Index -> Bool

Ord Index

Methods

compare :: Index -> Index -> Ordering

(<) :: Index -> Index -> Bool

(<=) :: Index -> Index -> Bool

(>) :: Index -> Index -> Bool

(>=) :: Index -> Index -> Bool

max :: Index -> Index -> Index

min :: Index -> Index -> Index

NFData Index

Methods

rnf :: Index -> ()

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

Constructing Urns

singleton :: Weight -> a -> Urn a

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

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

Constructing indices

randomIndex :: MonadSample m => Urn a -> m Index

Sampling

sample :: Urn a -> Index -> a

remove :: Urn a -> Index -> (Weight, a, Maybe (Urn a))

Updating

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

update :: (Weight -> a -> (Weight, a)) -> Urn a -> Index -> (Weight, a, Weight, a, Urn a)

replace :: Weight -> a -> Urn a -> Index -> (Weight, a, Urn a)

Other functions

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

Urn properties

size :: Urn a -> Word

totalWeight :: Urn a -> Weight