| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.SequenceId
- 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
Arguments
| :: 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.
Arguments
| :: SequenceId | Last sequence ID |
| -> SequenceId | Next sequence ID |
Increment to the next sequense ID
Monadic
Arguments
| :: 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.
Arguments
| :: Monad m | |
| => SequenceIdT m SequenceId | Next sequence ID |
Update to the next sequense ID
Arguments
| :: Monad m | |
| => SequenceIdT m SequenceId | Last sequence ID |
Last seen sequense ID
newtype SequenceIdT m a Source
Constructors
| SequenceIdT | |
Fields
| |
Instances
| MonadTrans SequenceIdT | |
| Monad m => MonadState SequenceId (SequenceIdT m) | |
| Monad m => Monad (SequenceIdT m) | |
| Functor m => Functor (SequenceIdT m) | |
| (Monad m, Functor m) => Applicative (SequenceIdT m) |
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
Constructors
| SequenceIdError | |
Fields
| |
Instances