Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Gibberish.Monad.Pass

Synopsis

Documentation

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 :

Constructors

PassT
Fields unPass :: RandT gen m a

Instances details

(RandomGen gen, Monad m) => MonadRandom (PassT gen m) Source #
Instance details Defined in Data.Gibberish.Monad.Pass Methods getRandomR :: Random a => (a, a) -> PassT gen m a # getRandom :: Random a => PassT gen m a # getRandomRs :: Random a => (a, a) -> PassT gen m [a] # getRandoms :: Random a => PassT gen m [a] #
MonadFail m => MonadFail (PassT gen m) Source #
Instance details Defined in Data.Gibberish.Monad.Pass Methods fail :: String -> PassT gen m a #
MonadIO m => MonadIO (PassT gen m) Source #
Instance details Defined in Data.Gibberish.Monad.Pass Methods liftIO :: IO a -> PassT gen m a #
Monad m => Applicative (PassT gen m) Source #
Instance details Defined in Data.Gibberish.Monad.Pass Methods pure :: a -> PassT gen m a # (<>) :: PassT gen m (a -> b) -> PassT gen m a -> PassT gen m b # liftA2 :: (a -> b -> c) -> PassT gen m a -> PassT gen m b -> PassT gen m c # (>) :: PassT gen m a -> PassT gen m b -> PassT gen m b # (<*) :: PassT gen m a -> PassT gen m b -> PassT gen m a #
Functor m => Functor (PassT gen m) Source #
Instance details Defined in Data.Gibberish.Monad.Pass Methods fmap :: (a -> b) -> PassT gen m a -> PassT gen m b # (<$) :: a -> PassT gen m b -> PassT gen m a #
Monad m => Monad (PassT gen m) Source #
Instance details Defined in Data.Gibberish.Monad.Pass Methods (>>=) :: PassT gen m a -> (a -> PassT gen m b) -> PassT gen m b # (>>) :: PassT gen m a -> PassT gen m b -> PassT gen m b # return :: a -> PassT gen m a #

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.