Data.Parameterized.Nonce.Transformers

This module provides a typeclass and monad transformers for generating nonces.

Documentation

class Monad m => MonadNonce m where

A MonadNonce is a monad that can generate fresh Nonces in a given set (where we view the phantom type parameter of Nonce as a designator of the set that the Nonce came from).

Associated Types

type NonceSet m :: Type

Methods

freshNonceM :: forall k (tp :: k). m (Nonce (NonceSet m) tp)

Instances

Monad m => MonadNonce (NonceT s m)

Defined in Data.Parameterized.Nonce.Transformers

Associated Types

type NonceSet (NonceT s m)

Methods

freshNonceM :: forall k (tp :: k). NonceT s m (Nonce (NonceSet (NonceT s m)) tp)

MonadNonce m => MonadNonce (StateT s m)

Defined in Data.Parameterized.Nonce.Transformers

Associated Types

type NonceSet (StateT s m)

Methods

freshNonceM :: forall k (tp :: k). StateT s m (Nonce (NonceSet (StateT s m)) tp)

newtype NonceT s m a

This transformer adds a nonce generator to a given monad.

Constructors

NonceT

Fields

• runNonceT :: ReaderT (NonceGenerator m s) m a

Instances

MonadTrans (NonceT s)

Defined in Data.Parameterized.Nonce.Transformers

Methods

lift :: Monad m => m a -> NonceT s m a

Applicative m => Applicative (NonceT s m)

Defined in Data.Parameterized.Nonce.Transformers

Methods

pure :: a -> NonceT s m a

(<*>) :: NonceT s m (a -> b) -> NonceT s m a -> NonceT s m b

liftA2 :: (a -> b -> c) -> NonceT s m a -> NonceT s m b -> NonceT s m c

(*>) :: NonceT s m a -> NonceT s m b -> NonceT s m b

(<*) :: NonceT s m a -> NonceT s m b -> NonceT s m a

Functor m => Functor (NonceT s m)

Defined in Data.Parameterized.Nonce.Transformers

Methods

fmap :: (a -> b) -> NonceT s m a -> NonceT s m b

(<$) :: a -> NonceT s m b -> NonceT s m a

Monad m => Monad (NonceT s m)

Defined in Data.Parameterized.Nonce.Transformers

Methods

(>>=) :: NonceT s m a -> (a -> NonceT s m b) -> NonceT s m b

(>>) :: NonceT s m a -> NonceT s m b -> NonceT s m b

return :: a -> NonceT s m a

Monad m => MonadNonce (NonceT s m)

Defined in Data.Parameterized.Nonce.Transformers

Associated Types

type NonceSet (NonceT s m)

Methods

freshNonceM :: forall k (tp :: k). NonceT s m (Nonce (NonceSet (NonceT s m)) tp)

type NonceSet (NonceT s m)

Defined in Data.Parameterized.Nonce.Transformers

type NonceSet (NonceT s m) = s

type NonceST t s = NonceT s (ST t)

Helper type to build a MonadNonce from the ST monad.

type NonceIO s = NonceT s IO

Helper type to build a MonadNonce from the IO monad.

getNonceSTGen :: NonceST t s (NonceGenerator (ST t) s)

Return the actual NonceGenerator used in an ST computation.

runNonceST :: (forall t s. NonceST t s a) -> a

Run a NonceST computation with a fresh NonceGenerator.

runNonceIO :: (forall s. NonceIO s a) -> IO a

Run a NonceIO computation with a fresh NonceGenerator inside IO.

module Data.Parameterized.Nonce