Data.Random.Generics.Internal

Helper functions

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)

(size * (1 - epsilon), size * (1 + epsilon))

type RejectT m = ReaderT Size (StateT Size (MaybeT m))

ceilPrimRandom :: Monad m => PrimRandom m -> PrimRandom (RejectT m)

Set upper bound

runRejectT :: Monad m => (Size, Size) -> RejectT m a -> m a

Set lower bound

liftPrimRandom :: (MonadTrans t, Monad m) => PrimRandom m -> PrimRandom (t m)

asProxyTypeOf :: a -> proxy a -> a