Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- type Pass gen = PassT gen Identity
- newtype PassT gen m a = PassT {}
- runPass :: Pass gen a -> gen -> (a, gen)
- evalPass :: Pass gen a -> gen -> a
- usingPass :: gen -> Pass gen a -> (a, gen)
- runPassT :: PassT g m a -> g -> m (a, g)
- evalPassT :: Monad m => PassT g m a -> g -> m a
- usingPassT :: g -> PassT g m a -> m (a, g)
- module Control.Monad.Random
Documentation
type Pass gen = PassT gen Identity Source #
Password/Passphrase generation monad parameterized by the type gen
of the generator
to carry
newtype PassT gen m a Source #
Password/Passphrase generation transformer monad parameterized by :
gen
- the generator.m
- the inner monad.
Instances
(RandomGen gen, Monad m) => MonadRandom (PassT gen m) Source # | |
Defined in Data.Gibberish.Monad.Pass | |
MonadFail m => MonadFail (PassT gen m) Source # | |
Defined in Data.Gibberish.Monad.Pass | |
MonadIO m => MonadIO (PassT gen m) Source # | |
Defined in Data.Gibberish.Monad.Pass | |
Monad m => Applicative (PassT gen m) Source # | |
Defined in Data.Gibberish.Monad.Pass | |
Functor m => Functor (PassT gen m) Source # | |
Monad m => Monad (PassT gen m) Source # | |
runPass :: Pass gen a -> gen -> (a, gen) Source #
Run a generation computation with the given options and initial generator
evalPass :: Pass gen a -> gen -> a Source #
Evaluate a generation computation with the given options and initial generator, discarding the final generator
usingPass :: gen -> Pass gen a -> (a, gen) Source #
Shorter and more readable alias for flip runPassT
.
runPassT :: PassT g m a -> g -> m (a, g) Source #
Run a generation computation with the given options and initial generator
evalPassT :: Monad m => PassT g m a -> g -> m a Source #
Evaluate a generation computation with the given options and initial generator, discarding the final generator
usingPassT :: g -> PassT g m a -> m (a, g) Source #
Shorter and more readable alias for flip runPassT
.
module Control.Monad.Random