Safe Haskell	None
Language	Haskell2010

Data.SequenceId

Contents

Monadic
Types

Synopsis

Documentation

checkSeqId Source #

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.

incrementSeqId Source #

Arguments

:: SequenceId	Last sequence ID
-> SequenceId	Next sequence ID

Increment to the next sequense ID

Monadic

checkSeqIdM Source #

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.

incrementSeqIdM Source #

Arguments

:: Monad m
=> SequenceIdT m SequenceId	Next sequence ID

Update to the next sequense ID

lastSeqIdM Source #

Arguments

:: Monad m
=> SequenceIdT m SequenceId	Last sequence ID

Last seen sequense ID

newtype SequenceIdT m a Source #

Constructors

SequenceIdT
Fields unSequenceIdT :: StateT SequenceId m a

Instances

MonadTrans SequenceIdT Source #
Methods lift :: Monad m => m a -> SequenceIdT m a #
Monad m => MonadState SequenceId (SequenceIdT m) Source #
Methods get :: SequenceIdT m SequenceId # put :: SequenceId -> SequenceIdT m () # state :: (SequenceId -> (a, SequenceId)) -> SequenceIdT m a #
Monad m => Monad (SequenceIdT m) Source #
Methods (>>=) :: SequenceIdT m a -> (a -> SequenceIdT m b) -> SequenceIdT m b # (>>) :: SequenceIdT m a -> SequenceIdT m b -> SequenceIdT m b # return :: a -> SequenceIdT m a # fail :: String -> SequenceIdT m a #
Functor m => Functor (SequenceIdT m) Source #
Methods fmap :: (a -> b) -> SequenceIdT m a -> SequenceIdT m b # (<$) :: a -> SequenceIdT m b -> SequenceIdT m a #
Monad m => Applicative (SequenceIdT m) Source #
Methods pure :: a -> SequenceIdT m a # (<>) :: SequenceIdT m (a -> b) -> SequenceIdT m a -> SequenceIdT m b # (>) :: SequenceIdT m a -> SequenceIdT m b -> SequenceIdT m b # (<*) :: SequenceIdT m a -> SequenceIdT m b -> SequenceIdT m a #

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 errType :: !SequenceIdErrorType lastSeqId :: !SequenceId currSeqId :: !SequenceId

Instances

Eq SequenceIdError Source #
Methods (==) :: SequenceIdError -> SequenceIdError -> Bool # (/=) :: SequenceIdError -> SequenceIdError -> Bool #
Show SequenceIdError Source #
Methods showsPrec :: Int -> SequenceIdError -> ShowS # show :: SequenceIdError -> String # showList :: [SequenceIdError] -> ShowS #

data SequenceIdErrorType Source #

Constructors

SequenceIdDropped
SequenceIdDuplicated

Instances

Eq SequenceIdErrorType Source #
Methods (==) :: SequenceIdErrorType -> SequenceIdErrorType -> Bool # (/=) :: SequenceIdErrorType -> SequenceIdErrorType -> Bool #
Show SequenceIdErrorType Source #
Methods showsPrec :: Int -> SequenceIdErrorType -> ShowS # show :: SequenceIdErrorType -> String # showList :: [SequenceIdErrorType] -> ShowS #

newtype SequenceId Source #

Constructors

SequenceId
Fields unSequenceId :: Word32

Instances

Enum SequenceId Source #
Methods succ :: SequenceId -> SequenceId # pred :: SequenceId -> SequenceId # toEnum :: Int -> SequenceId # fromEnum :: SequenceId -> Int # enumFrom :: SequenceId -> [SequenceId] # enumFromThen :: SequenceId -> SequenceId -> [SequenceId] # enumFromTo :: SequenceId -> SequenceId -> [SequenceId] # enumFromThenTo :: SequenceId -> SequenceId -> SequenceId -> [SequenceId] #
Eq SequenceId Source #
Methods (==) :: SequenceId -> SequenceId -> Bool # (/=) :: SequenceId -> SequenceId -> Bool #
Integral SequenceId Source #
Methods quot :: SequenceId -> SequenceId -> SequenceId # rem :: SequenceId -> SequenceId -> SequenceId # div :: SequenceId -> SequenceId -> SequenceId # mod :: SequenceId -> SequenceId -> SequenceId # quotRem :: SequenceId -> SequenceId -> (SequenceId, SequenceId) # divMod :: SequenceId -> SequenceId -> (SequenceId, SequenceId) # toInteger :: SequenceId -> Integer #
Num SequenceId Source #
Methods (+) :: SequenceId -> SequenceId -> SequenceId # (-) :: SequenceId -> SequenceId -> SequenceId # (*) :: SequenceId -> SequenceId -> SequenceId # negate :: SequenceId -> SequenceId # abs :: SequenceId -> SequenceId # signum :: SequenceId -> SequenceId # fromInteger :: Integer -> SequenceId #
Ord SequenceId Source #
Methods compare :: SequenceId -> SequenceId -> Ordering # (<) :: SequenceId -> SequenceId -> Bool # (<=) :: SequenceId -> SequenceId -> Bool # (>) :: SequenceId -> SequenceId -> Bool # (>=) :: SequenceId -> SequenceId -> Bool # max :: SequenceId -> SequenceId -> SequenceId # min :: SequenceId -> SequenceId -> SequenceId #
Real SequenceId Source #
Methods toRational :: SequenceId -> Rational #
Show SequenceId Source #
Methods showsPrec :: Int -> SequenceId -> ShowS # show :: SequenceId -> String # showList :: [SequenceId] -> ShowS #
Monad m => MonadState SequenceId (SequenceIdT m) Source #
Methods get :: SequenceIdT m SequenceId # put :: SequenceId -> SequenceIdT m () # state :: (SequenceId -> (a, SequenceId)) -> SequenceIdT m a #