Data.Snowchecked.Types

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

Documentation

data Flake

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

Generic Flake

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

Defined in Data.Snowchecked.Types

Methods

showsPrec :: Int -> Flake -> ShowS

show :: Flake -> String

showList :: [Flake] -> ShowS

NFData Flake

Defined in Data.Snowchecked.Types

Methods

rnf :: Flake -> ()

Eq Flake

Defined in Data.Snowchecked.Types

Methods

(==) :: Flake -> Flake -> Bool

(/=) :: Flake -> Flake -> Bool

Ord Flake

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

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

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

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

Generic SnowcheckedConfig

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

Defined in Data.Snowchecked.Types

Methods

showsPrec :: Int -> SnowcheckedConfig -> ShowS

show :: SnowcheckedConfig -> String

showList :: [SnowcheckedConfig] -> ShowS

Default SnowcheckedConfig

Defined in Data.Snowchecked.Types

Methods

def :: SnowcheckedConfig

NFData SnowcheckedConfig

Defined in Data.Snowchecked.Types

Methods

rnf :: SnowcheckedConfig -> ()

Eq SnowcheckedConfig

Defined in Data.Snowchecked.Types

Methods

(==) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool

(/=) :: SnowcheckedConfig -> SnowcheckedConfig -> Bool

Ord SnowcheckedConfig

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

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))))