Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Random.RVar
Synopsis
- type RVar = RVarT Identity
- runRVar :: StatefulGen g m => RVar a -> g -> m a
- data RVarT (m :: Type -> Type) a
- runRVarT :: (Lift n m, StatefulGen g m) => RVarT n a -> g -> m a
- runRVarTWith :: forall m n g a. StatefulGen g m => (forall t. n t -> m t) -> RVarT n a -> g -> m a
- data RGen = RGen
- uniformRVarT :: forall a (m :: Type -> Type). Uniform a => RVarT m a
- uniformRangeRVarT :: forall a (m :: Type -> Type). UniformRange a => (a, a) -> RVarT m a
Documentation
runRVar :: StatefulGen g m => RVar a -> g -> m a #
data RVarT (m :: Type -> Type) a #
Instances
MonadTrans RVarT | |
MonadPrompt Prim (RVarT n) | |
StatefulGen RGen (RVarT m) | |
Defined in Data.RVar Methods uniformWord32R :: Word32 -> RGen -> RVarT m Word32 uniformWord64R :: Word64 -> RGen -> RVarT m Word64 uniformWord8 :: RGen -> RVarT m Word8 uniformWord16 :: RGen -> RVarT m Word16 uniformWord32 :: RGen -> RVarT m Word32 uniformWord64 :: RGen -> RVarT m Word64 uniformShortByteString :: Int -> RGen -> RVarT m ShortByteString | |
MonadIO m => MonadIO (RVarT m) | |
Applicative (RVarT n) | |
Functor (RVarT n) | |
Monad (RVarT n) | |
Lift m n => Sampleable (RVarT m) n t Source # | |
Defined in Data.Random.Sample Methods sampleFrom :: StatefulGen g n => g -> RVarT m t -> n t Source # | |
Lift (RVarT Identity) (RVarT m) Source # | |
runRVarT :: (Lift n m, StatefulGen g m) => RVarT n a -> g -> m a Source #
Like runRVarTWith
, but using an implicit lifting (provided by the
Lift
class)
runRVarTWith :: forall m n g a. StatefulGen g m => (forall t. n t -> m t) -> RVarT n a -> g -> m a #
Constructors
RGen |
Instances
StatefulGen RGen (RVarT m) | |
Defined in Data.RVar Methods uniformWord32R :: Word32 -> RGen -> RVarT m Word32 uniformWord64R :: Word64 -> RGen -> RVarT m Word64 uniformWord8 :: RGen -> RVarT m Word8 uniformWord16 :: RGen -> RVarT m Word16 uniformWord32 :: RGen -> RVarT m Word32 uniformWord64 :: RGen -> RVarT m Word64 uniformShortByteString :: Int -> RGen -> RVarT m ShortByteString |
uniformRVarT :: forall a (m :: Type -> Type). Uniform a => RVarT m a #
uniformRangeRVarT :: forall a (m :: Type -> Type). UniformRange a => (a, a) -> RVarT m a #