@hackage mmzk-typeid0.3.1.0

A TypeID implementation for Haskell

TypeID is a type-safe, K-sortable, globally unique identifier inspired by Stripe IDs.

The specification is available at https://github.com/jetpack-io/typeid.

This library supports generating and parsing speç-conforming TypeIDs, with the following additional features:

  • Batch generating TypeIDs with the same UUIDv7 timestamp

  • Encode prefixes at type-level for better type-safety

It also serves as a (temporary) UUIDv7 implementation in Haskell, since there are no official ones yet.

Please enable the following extensions if working with KindID:

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}

While the following is not required, it is quite convenient to have

{-# LANGUAGE OverloadedStrings #-}

For a quick "how-to-use" guide, please refer to the README.md file at https://github.com/MMZK1526/mmzk-typeid#readme.