Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- checkSeqId :: Integral s => s -> s -> Maybe (SequenceIdError s)
- incrementSeqId :: Integral s => s -> s
- checkSeqIdM :: (Integral s, Monad m) => s -> SequenceIdT s m (Maybe (SequenceIdError s))
- incrementSeqIdM :: (Monad m, Integral s) => SequenceIdT s m s
- lastSeqIdM :: Monad m => SequenceIdT s m s
- newtype SequenceIdT s m a = SequenceIdT {
- unSequenceIdT :: StateT s m a
- runSequenceIdT :: Monad m => SequenceIdT s m b -> s -> m (b, s)
- execSequenceIdT :: Monad m => SequenceIdT s m b -> s -> m s
- evalSequenceIdT :: Monad m => SequenceIdT s m b -> s -> m b
- data SequenceIdError a = SequenceIdError {
- errType :: !SequenceIdErrorType
- lastSeqId :: !a
- currSeqId :: !a
- data SequenceIdErrorType
Documentation
:: Integral s | |
=> s | Last sequence ID |
-> s | Current sequence ID |
-> Maybe (SequenceIdError s) |
If the difference between the sequence IDs is not 1 then the appropriate error is returned.
:: Integral s | |
=> s | Last sequence ID |
-> s | Next sequence ID |
Increment to the next sequense ID
Monadic
:: (Integral s, Monad m) | |
=> s | Current sequence ID |
-> SequenceIdT s m (Maybe (SequenceIdError s)) |
If the current sequence ID is greater than 1 more than the last sequence ID then the appropriate error is returned.
:: (Monad m, Integral s) | |
=> SequenceIdT s m s | Next sequence ID |
Update to the next sequense ID
newtype SequenceIdT s m a Source #
SequenceIdT | |
|
Instances
runSequenceIdT :: Monad m => SequenceIdT s m b -> s -> m (b, s) Source #
execSequenceIdT :: Monad m => SequenceIdT s m b -> s -> m s Source #
evalSequenceIdT :: Monad m => SequenceIdT s m b -> s -> m b Source #
Types
data SequenceIdError a Source #
SequenceIdError | |
|
Instances
Eq a => Eq (SequenceIdError a) Source # | |
Defined in Data.SequenceId (==) :: SequenceIdError a -> SequenceIdError a -> Bool # (/=) :: SequenceIdError a -> SequenceIdError a -> Bool # | |
Show a => Show (SequenceIdError a) Source # | |
Defined in Data.SequenceId showsPrec :: Int -> SequenceIdError a -> ShowS # show :: SequenceIdError a -> String # showList :: [SequenceIdError a] -> ShowS # |
data SequenceIdErrorType Source #
Instances
Eq SequenceIdErrorType Source # | |
Defined in Data.SequenceId (==) :: SequenceIdErrorType -> SequenceIdErrorType -> Bool # (/=) :: SequenceIdErrorType -> SequenceIdErrorType -> Bool # | |
Show SequenceIdErrorType Source # | |
Defined in Data.SequenceId showsPrec :: Int -> SequenceIdErrorType -> ShowS # show :: SequenceIdErrorType -> String # showList :: [SequenceIdErrorType] -> ShowS # |