Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
data SequenceIds Source
type SequenceId = Word32 Source
evalSequenceT :: Monad m => SequenceId -> StateT LastSeqId m b -> m b Source