| Safe Haskell | Safe-Inferred |
|---|---|
| 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
- type SequenceIdT = StateT SequenceId
- evalSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m b
- data SequenceIdError = SequenceIdError {}
- data SequenceIdErrorType
- type SequenceId = Word32
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
type SequenceIdT = StateT SequenceId Source
evalSequenceIdT :: Monad m => SequenceIdT m b -> SequenceId -> m b Source
Types
data SequenceIdError Source
Constructors
| SequenceIdError | |
Fields
| |
Instances
type SequenceId = Word32 Source