Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type Size = Int
- makeGenerator :: (Data a, Monad m) => PrimRandom m -> [Alias m] -> proxy a -> ((Size, Maybe Size), Int -> Maybe Size -> m a)
- type AliasR m = Alias (RejectT m)
- ceiledRejectionSampler :: (Data a, Monad m) => PrimRandom m -> [AliasR m] -> proxy a -> ((Size, Maybe Size), Int -> Maybe Size -> (Size, Size) -> m a)
- epsilon :: Double
- tolerance :: Double -> Size -> (Size, Size)
- type RejectT m = ReaderT Size (StateT Size (MaybeT m))
- ceilPrimRandom :: Monad m => PrimRandom m -> PrimRandom (RejectT m)
- runRejectT :: Monad m => (Size, Size) -> RejectT m a -> m a
- liftPrimRandom :: (MonadTrans t, Monad m) => PrimRandom m -> PrimRandom (t m)
- asProxyTypeOf :: a -> proxy a -> a
Helper functions
makeGenerator :: (Data a, Monad m) => PrimRandom m -> [Alias m] -> proxy a -> ((Size, Maybe Size), Int -> Maybe Size -> m a) Source
ceiledRejectionSampler :: (Data a, Monad m) => PrimRandom m -> [AliasR m] -> proxy a -> ((Size, Maybe Size), Int -> Maybe Size -> (Size, Size) -> m a) Source
ceilPrimRandom :: Monad m => PrimRandom m -> PrimRandom (RejectT m) Source
Set upper bound
liftPrimRandom :: (MonadTrans t, Monad m) => PrimRandom m -> PrimRandom (t m) Source
asProxyTypeOf :: a -> proxy a -> a Source