Skip to content

Use uuid-types #10

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
odr merged 1 commit into from
Jan 2, 2026
Merged

Use uuid-types #10

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 11 additions & 1 deletion id.cabal
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,12 @@ flag store
default: False
manual: False

flag uuid-impl
description: Include some functions with extra dependencies.
Disable to reduce dependencies.
default: True
manual: False

library
exposed-modules: Data.Id
build-depends:
Expand All @@ -35,7 +41,11 @@ library
, lens
, path-pieces
, text
, uuid >=1.3.9
, uuid-types
if flag(uuid-impl)
build-depends:
, uuid >=1.3.9
cpp-options: -DUSE_UUID

if !(impl(ghcjs) || arch(javascript) || arch(wasm32))
build-depends:
Expand Down
15 changes: 11 additions & 4 deletions src/Data/Id.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,12 @@
{-# OPTIONS_GHC -Wno-orphans #-}

module Data.Id
( Id, mkId, unId, randomId, unsafeIdTagConvert, coerceId, _Id, nilId
( Id, mkId, unId, unsafeIdTagConvert, coerceId, _Id, nilId
, IntId, mkIntId, unIntId, unsafeIntIdTagConvert, coerceIntId, _IntId
, Name, mkName, unName, unsafeNameTagConvert, coerceName, _Name
#ifdef USE_UUID
, randomId
#endif
)
where

Expand All @@ -20,15 +23,17 @@ import Data.Data
import Data.Hashable (Hashable)
import Data.String
import Data.Text as T
import Data.UUID (UUID)
import qualified Data.UUID as UUID
import qualified Data.UUID.V4 as UUID.V4
import Data.UUID.Types (UUID)
import qualified Data.UUID.Types as UUID
import GHC.TypeLits
import Prelude as P
import Text.ParserCombinators.ReadP
import Web.HttpApiData
import Web.PathPieces (PathPiece(..))

#ifdef USE_UUID
import qualified Data.UUID.V4 as UUID.V4
#endif
#ifdef BACKEND
import Data.OpenApi
import Test.QuickCheck
Expand Down Expand Up @@ -71,9 +76,11 @@ mkId :: forall s. UUID -> Id s
mkId = coerce
{-# INLINE mkId #-}

#ifdef USE_UUID
randomId :: forall s. IO (Id s)
randomId = coerce <$> UUID.V4.nextRandom
{-# INLINE randomId #-}
#endif

instance KnownSymbol s => Show (Id s) where
show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> P.show v
Expand Down