Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype CallId = MkCallId Int
- class HasCallIdCounter env where
- getCallIdCounter :: env -> CounterVar CallId
- takeNext :: (MonadReader env m, HasCallIdCounter env, MonadUnliftIO m) => m CallId
- newCallIdCounter :: MonadIO m => m (CounterVar CallId)
Documentation
An identifier value every command send by call
s.
class HasCallIdCounter env where Source #
Class of environment records containing a CounterVar
for CallId
s.
getCallIdCounter :: env -> CounterVar CallId Source #
Instances
takeNext :: (MonadReader env m, HasCallIdCounter env, MonadUnliftIO m) => m CallId Source #
Increment and get a new CallId
.
newCallIdCounter :: MonadIO m => m (CounterVar CallId) Source #
Create a new CallId
CounterVar
.