Data.Gibberish.Monad.Pass

Documentation

type Pass gen = PassT gen Identity

Password/Passphrase generation monad parameterized by the type gen of the generator to carry

newtype PassT gen m a

Password/Passphrase generation transformer monad parameterized by :

• gen - the generator.
• m - the inner monad.

Constructors

PassT

Fields

• unPass :: RandT gen m a

Instances

(RandomGen gen, Monad m) => MonadRandom (PassT gen m)

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)

Defined in Data.Gibberish.Monad.Pass

Methods

fail :: String -> PassT gen m a

MonadIO m => MonadIO (PassT gen m)

Defined in Data.Gibberish.Monad.Pass

Methods

liftIO :: IO a -> PassT gen m a

Monad m => Applicative (PassT gen m)

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)

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)

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)

Run a generation computation with the given options and initial generator

evalPass :: Pass gen a -> gen -> a

Evaluate a generation computation with the given options and initial generator, discarding the final generator

usingPass :: gen -> Pass gen a -> (a, gen)

Shorter and more readable alias for flip runPassT.

runPassT :: PassT g m a -> g -> m (a, g)

Run a generation computation with the given options and initial generator

evalPassT :: Monad m => PassT g m a -> g -> m a

Evaluate a generation computation with the given options and initial generator, discarding the final generator

usingPassT :: g -> PassT g m a -> m (a, g)

Shorter and more readable alias for flip runPassT.

module Control.Monad.Random