Control.Monad.TypedId

Documentation

class (Monad m, GCompare (TypedId m)) => MonadTypedId m where

Associated Types

type TypedId m :: * -> *

Methods

getTypedId :: m (TypedId m a)

Instances

MonadTypedId IO

MonadTypedId EventM

MonadTypedId m => MonadTypedId (ReaderT r m)

MonadTypedId m => MonadTypedId (StateT s m)