License	Apache 2.0
Maintainer	smokejumperit@gmail.com
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Snowchecked.Types

Description

This module is internal, subject to breaking changes without a major version increment, and therefore should only be imported by Data.Snowchecked.

Synopsis

data Flake = Flake {
- flakeTime :: Word256
- flakeCount :: Word256
- flakeNodeId :: Word256
- flakeConfig :: SnowcheckedConfig
}
newtype SnowcheckedGen = SnowcheckedGen {
- genLastFlake :: MVar Flake
}
data SnowcheckedConfig = SnowcheckedConfig {
- confTimeBits :: Word8
- confCountBits :: Word8
- confNodeBits :: Word8
- confCheckBits :: Word8
}

Documentation

data Flake Source #

The state of a given generated instance. Note that the actual value is calculated on demand.

Constructors

Flake
Fields flakeTime :: Word256 The bit-truncated time flakeCount :: Word256 The bit-truncated count flakeNodeId :: Word256 The bit-truncated node id flakeConfig :: SnowcheckedConfig The configuration used to create the flake.

Instances

Instances details

Generic Flake Source #
Instance details Defined in Data.Snowchecked.Types Associated Types type Rep Flake :: Type -> Type # Methods from :: Flake -> Rep Flake x # to :: Rep Flake x -> Flake #
Show Flake Source #
Instance details Defined in Data.Snowchecked.Types Methods showsPrec :: Int -> Flake -> ShowS # show :: Flake -> String # showList :: [Flake] -> ShowS #
NFData Flake Source #
Instance details Defined in Data.Snowchecked.Types Methods rnf :: Flake -> () #
Eq Flake Source #
Instance details Defined in Data.Snowchecked.Types Methods (==) :: Flake -> Flake -> Bool # (/=) :: Flake -> Flake -> Bool #
Ord Flake Source #
Instance details Defined in Data.Snowchecked.Types Methods compare :: Flake -> Flake -> Ordering # (<) :: Flake -> Flake -> Bool # (<=) :: Flake -> Flake -> Bool # (>) :: Flake -> Flake -> Bool # (>=) :: Flake -> Flake -> Bool # max :: Flake -> Flake -> Flake # min :: Flake -> Flake -> Flake #
type Rep Flake Source #
Instance details Defined in Data.Snowchecked.Types type Rep Flake = D1 ('MetaData "Flake" "Data.Snowchecked.Types" "snowchecked-0.0.2.0-JwkIfxT25kc6AQyhojYiCd" 'False) (C1 ('MetaCons "Flake" 'PrefixI 'True) ((S1 ('MetaSel ('Just "flakeTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256) :: S1 ('MetaSel ('Just "flakeCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)) :: (S1 ('MetaSel ('Just "flakeNodeId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256) :*: S1 ('MetaSel ('Just "flakeConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnowcheckedConfig))))

newtype SnowcheckedGen Source #

The state that needs to be communicated between flake generation calls. This should be treated as opaque by consumers of this library: messing about with its internals may cause your code to hang indefinitely.

Constructors

SnowcheckedGen
Fields genLastFlake :: MVar Flake

data SnowcheckedConfig Source #

Configuration that specifies how many bits are used for each part of the id. These values are not validated and may be any legal value for the type.

The default value provided by def is 64 bits in total length, just like the original Snowflake algorithm.

Note that specifying 0 check bits results in the normal Snowflake generation. Setting confTimeBits or confCountBits near zero will significantly limit the total number of UIDs that can be generated, as well as the throughput of the UID generation.

Constructors

SnowcheckedConfig
Fields confTimeBits :: Word8 Number of bits used to hold the time confCountBits :: Word8 Number of bits used to count instances per-time confNodeBits :: Word8 Number of bits derived from the node id confCheckBits :: Word8 Number of bits used to store the checksum

Instances

Instances details

Generic SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types Associated Types type Rep SnowcheckedConfig :: Type -> Type # Methods from :: SnowcheckedConfig -> Rep SnowcheckedConfig x # to :: Rep SnowcheckedConfig x -> SnowcheckedConfig #
Show SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types Methods showsPrec :: Int -> SnowcheckedConfig -> ShowS # show :: SnowcheckedConfig -> String # showList :: [SnowcheckedConfig] -> ShowS #
Default SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types Methods def :: SnowcheckedConfig #
NFData SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types Methods rnf :: SnowcheckedConfig -> () #
Eq SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types Methods (==) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool # (/=) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool #
Ord SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types Methods compare :: SnowcheckedConfig -> SnowcheckedConfig -> Ordering # (<) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool # (<=) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool # (>) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool # (>=) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool # max :: SnowcheckedConfig -> SnowcheckedConfig -> SnowcheckedConfig # min :: SnowcheckedConfig -> SnowcheckedConfig -> SnowcheckedConfig #
type Rep SnowcheckedConfig Source #
Instance details Defined in Data.Snowchecked.Types type Rep SnowcheckedConfig = D1 ('MetaData "SnowcheckedConfig" "Data.Snowchecked.Types" "snowchecked-0.0.2.0-JwkIfxT25kc6AQyhojYiCd" 'False) (C1 ('MetaCons "SnowcheckedConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "confTimeBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8) :: S1 ('MetaSel ('Just "confCountBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8)) :: (S1 ('MetaSel ('Just "confNodeBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8) :*: S1 ('MetaSel ('Just "confCheckBits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word8))))