Safe Haskell	None
Language	GHC2021

Control.Monad.Class.MonadUnique.Trans

Contents

Orphan instances

Orphan instances

MonadUnique m => MonadUnique (ExceptT e m) Source #

Instance details

Associated Types

type Unique (ExceptT e m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (ExceptT e m) = UniqueFor (ExceptT e) m

Methods

newUnique :: ExceptT e m (Unique (ExceptT e m)) #

hashUnique :: Unique (ExceptT e m) -> Int #

MonadUnique m => MonadUnique (StateT s m) Source #

Instance details

Associated Types

type Unique (StateT s m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (StateT s m) = UniqueFor (StateT s) m

Methods

newUnique :: StateT s m (Unique (StateT s m)) #

hashUnique :: Unique (StateT s m) -> Int #

MonadUnique m => MonadUnique (StateT s m) Source #

Instance details

Associated Types

type Unique (StateT s m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (StateT s m) = UniqueFor (StateT s) m

Methods

newUnique :: StateT s m (Unique (StateT s m)) #

hashUnique :: Unique (StateT s m) -> Int #

(MonadUnique m, Monoid w) => MonadUnique (WriterT w m) Source #

Instance details

Associated Types

type Unique (WriterT w m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (WriterT w m) = UniqueFor (WriterT w) m

Methods

newUnique :: WriterT w m (Unique (WriterT w m)) #

hashUnique :: Unique (WriterT w m) -> Int #

(MonadUnique m, Monoid w) => MonadUnique (WriterT w m) Source #

Instance details

Associated Types

type Unique (WriterT w m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (WriterT w m) = UniqueFor (WriterT w) m

Methods

newUnique :: WriterT w m (Unique (WriterT w m)) #

hashUnique :: Unique (WriterT w m) -> Int #

MonadUnique m => MonadUnique (ContT r m) Source #

Instance details

Associated Types

type Unique (ContT r m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (ContT r m) = UniqueFor (ContT r) m

Methods

newUnique :: ContT r m (Unique (ContT r m)) #

hashUnique :: Unique (ContT r m) -> Int #

(MonadUnique m, Monoid w) => MonadUnique (RWST r w s m) Source #

Instance details

Associated Types

type Unique (RWST r w s m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (RWST r w s m) = UniqueFor (RWST r w s) m

Methods

newUnique :: RWST r w s m (Unique (RWST r w s m)) #

hashUnique :: Unique (RWST r w s m) -> Int #

(MonadUnique m, Monoid w) => MonadUnique (RWST r w s m) Source #

Instance details

Associated Types

type Unique (RWST r w s m)
Instance details Defined in Control.Monad.Class.MonadUnique.Trans type Unique (RWST r w s m) = UniqueFor (RWST r w s) m

Methods

newUnique :: RWST r w s m (Unique (RWST r w s m)) #

hashUnique :: Unique (RWST r w s m) -> Int #