seqid-0.1.0: Sequence ID production and consumption

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.SequenceId

Documentation

checkSeqIdM :: Monad m => SequenceId -> SequenceT m (Maybe SequenceError) Source

checkSeqId :: SequenceId -> SequenceId -> Maybe SequenceError Source

nextSeqIdM :: Monad m => SequenceT m SequenceId Source

nextSeqId :: SequenceId -> SequenceId Source

data SequenceError Source

Constructors

SequenceIdDropped SequenceIds 
SequenceIdDuplicated SequenceIds 

Instances

data SequenceIds Source

Constructors

SequenceIds 

Fields

lastSeqId :: SequenceId
 
currSeqId :: SequenceId
 

Instances

type SequenceId = Word32 Source

type SequenceT = StateT LastSeqId Source

evalSequenceT :: Monad m => SequenceId -> StateT LastSeqId m b -> m b Source