Safe Haskell | None |
---|---|
Language | Haskell2010 |
This modules contains the SeqNum
newtype wrapper to indicate that a type
is a sequence number.
Documentation
The newtype wrapper that indicates that something is a sequence number.
MkSeqNum s |
Bounded s => Bounded (SeqNum s) Source # | |
Enum s => Enum (SeqNum s) Source # | |
Eq s => Eq (SeqNum s) Source # | |
(Integral a, Enum a, Real a, Eq a, LocalOrd a) => Integral (SeqNum a) Source # | |
Num s => Num (SeqNum s) Source # | |
(Eq a, LocalOrd a) => Ord (SeqNum a) Source # | |
(Real a, Num a, Eq a, LocalOrd a) => Real (SeqNum a) Source # | |
Show s => Show (SeqNum s) Source # | |
Generic (SeqNum s) Source # | |
Arbitrary s => Arbitrary (SeqNum s) Source # | |
Default s => Default (SeqNum s) Source # | |
NFData s => NFData (SeqNum s) Source # | |
Random s => Random (SeqNum s) Source # | |
LocalOrd s => LocalOrd (SeqNum s) Source # | |
HasSeqNum (SeqNum s) Source # | |
type Rep (SeqNum s) Source # | |
type GetSeqNum (SeqNum s) Source # | |
type SetSeqNum (SeqNum s) s' Source # | |