Safe Haskell | None |
---|---|
Language | Haskell2010 |
- checkSeqId :: SequenceId -> SequenceId -> Maybe SequenceIdError
- incrementSeqId :: SequenceId -> SequenceId
- checkSeqIdM :: Monad m => SequenceId -> SequenceIdT m (Maybe SequenceIdError)
- incrementSeqIdM :: Monad m => SequenceIdT m SequenceId
- lastSeqIdM :: Monad m => SequenceIdT m SequenceId
- newtype SequenceIdT m a = SequenceIdT {
- unSequenceIdT :: StateT SequenceId m a
- runSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m (b, SequenceId)
- execSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m SequenceId
- evalSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m b
- data SequenceIdError = SequenceIdError {}
- data SequenceIdErrorType
- newtype SequenceId = SequenceId {}
Documentation
:: SequenceId | Last sequence ID |
-> SequenceId | Current sequence ID |
-> Maybe SequenceIdError |
If the difference between the sequence IDs is not 1 then the appropriate error is returned.
:: SequenceId | Last sequence ID |
-> SequenceId | Next sequence ID |
Increment to the next sequense ID
Monadic
:: Monad m | |
=> SequenceId | Current sequence ID |
-> SequenceIdT m (Maybe SequenceIdError) |
If the current sequence ID is greater than 1 more than the last sequence ID then the appropriate error is returned.
:: Monad m | |
=> SequenceIdT m SequenceId | Next sequence ID |
Update to the next sequense ID
newtype SequenceIdT m a Source #
SequenceIdT | |
|
MonadTrans SequenceIdT Source # | |
Monad m => MonadState SequenceId (SequenceIdT m) Source # | |
Monad m => Monad (SequenceIdT m) Source # | |
Functor m => Functor (SequenceIdT m) Source # | |
Monad m => Applicative (SequenceIdT m) Source # | |
runSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m (b, SequenceId) Source #
execSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m SequenceId Source #
evalSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m b Source #
Types
data SequenceIdError Source #
data SequenceIdErrorType Source #