typeable/id
1
0
Fork 0
mirror of https://github.com/typeable/id.git synced 2024-10-26 14:10:36 +03:00
Code Issues Projects Releases Wiki Activity

Utility for RFC 4122

Browse Source
This commit is contained in:
Ville Tirronen 2022-05-05 10:17:09 +03:00
parent 676e18ea93
commit ef95481949
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Id.hs
View File

@ -4,7 +4,7 @@
{-# OPTIONS_GHC -Wno-orphans #-}
module Data.Id
( Id, mkId, unId, unsafeIdTagConvert, coerceId, _Id, nilId
( Id, mkId, unId, randomId, unsafeIdTagConvert, coerceId, _Id, nilId
, IntId, mkIntId, unIntId, unsafeIntIdTagConvert, coerceIntId, _IntId
, Name, mkName, unName, unsafeNameTagConvert, coerceName, _Name
)
@ -23,6 +23,7 @@ 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
#ifndef ghcjs_HOST_OS
import Database.PostgreSQL.Simple.FromField as PG (FromField)
import Database.PostgreSQL.Simple.ToField as PG (ToField)
@ -53,6 +54,10 @@ mkId :: forall s. UUID -> Id s
mkId = coerce
{-# INLINE mkId #-}
randomId :: forall s. IO (Id s)
randomId = coerce <$> UUID.V4.nextRandom
{-# INLINE randomId #-}
instance KnownSymbol s => Show (Id s) where
show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> show v