-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Sequence ID production and consumption -- -- Uniquely identify elements in a sequence. @package seqid @version 0.1.0 module Data.SequenceId checkSeqIdM :: Monad m => SequenceId -> (SequenceT m) (Maybe SequenceError) checkSeqId :: SequenceId -> SequenceId -> Maybe SequenceError nextSeqIdM :: Monad m => SequenceT m SequenceId nextSeqId :: SequenceId -> SequenceId data SequenceError SequenceIdDropped :: SequenceIds -> SequenceError SequenceIdDuplicated :: SequenceIds -> SequenceError data SequenceIds SequenceIds :: SequenceId -> SequenceId -> SequenceIds lastSeqId :: SequenceIds -> SequenceId currSeqId :: SequenceIds -> SequenceId type SequenceId = Word32 type SequenceT = StateT LastSeqId evalSequenceT :: Monad m => SequenceId -> StateT LastSeqId m b -> m b instance Show LastSeqId instance Eq SequenceIds instance Show SequenceIds instance Eq SequenceError instance Show SequenceError