git.iko.soy/typeable/id
on master help sign in
swap
aa466ff3 ahead, 0 behind
2 files changed+25−8
since splitsnapshots
unifiedsplit
id.cabal+14−4 src/Data/Id.hs+11−4
id.cabal+14−4
@@ -23,6 +23,12 @@ flag store
2323 default: False
2424 manual: False
2525
26+flag uuid-impl
27+ description: Include some functions with extra dependencies.
28+ Disable to reduce dependencies.
29+ default: True
30+ manual: False
31+
2632library
2733 exposed-modules: Data.Id
2834 build-depends:
@@ -35,20 +41,24 @@ library
3541 , lens
3642 , path-pieces
3743 , text
38− , uuid >=1.3.9
44+ , uuid-types
45+ if flag(uuid-impl)
46+ build-depends:
47+ , uuid >=1.3.9
48+ cpp-options: -DUSE_UUID
3949
40− if !(impl(ghcjs) || arch(javascript))
50+ if !(impl(ghcjs) || arch(javascript) || arch(wasm32))
4151 build-depends:
4252 , openapi3
4353 , QuickCheck
4454
4555 cpp-options: -DBACKEND
4656
47− if (flag(postgres) && !(impl(ghcjs) || arch(javascript)))
57+ if (flag(postgres) && !(impl(ghcjs) || arch(javascript) || arch(wasm32)))
4858 build-depends: postgresql-simple
4959 cpp-options: -DUSE_POSTGRES
5060
51− if (flag(cassava) && !(impl(ghcjs) || arch(javascript)))
61+ if (flag(cassava) && !(impl(ghcjs) || arch(javascript) || arch(wasm32)))
5262 build-depends: cassava
5363 cpp-options: -DUSE_CASSAVA
5464
src/Data/Id.hs+11−4
@@ -4,9 +4,12 @@
44{-# OPTIONS_GHC -Wno-orphans #-}
55
66module Data.Id
7− ( Id, mkId, unId, randomId, unsafeIdTagConvert, coerceId, _Id, nilId
7+ ( Id, mkId, unId, unsafeIdTagConvert, coerceId, _Id, nilId
88 , IntId, mkIntId, unIntId, unsafeIntIdTagConvert, coerceIntId, _IntId
99 , Name, mkName, unName, unsafeNameTagConvert, coerceName, _Name
10+#ifdef USE_UUID
11+ , randomId
12+#endif
1013 )
1114 where
1215
@@ -20,15 +23,17 @@ import Data.Data
2023import Data.Hashable (Hashable)
2124import Data.String
2225import Data.Text as T
23−import Data.UUID (UUID)
24−import qualified Data.UUID as UUID
25−import qualified Data.UUID.V4 as UUID.V4
26+import Data.UUID.Types (UUID)
27+import qualified Data.UUID.Types as UUID
2628import GHC.TypeLits
2729import Prelude as P
2830import Text.ParserCombinators.ReadP
2931import Web.HttpApiData
3032import Web.PathPieces (PathPiece(..))
3133
34+#ifdef USE_UUID
35+import qualified Data.UUID.V4 as UUID.V4
36+#endif
3237#ifdef BACKEND
3338import Data.OpenApi
3439import Test.QuickCheck
@@ -71,9 +76,11 @@ mkId :: forall s. UUID -> Id s
7176mkId = coerce
7277{-# INLINE mkId #-}
7378
79+#ifdef USE_UUID
7480randomId :: forall s. IO (Id s)
7581randomId = coerce <$> UUID.V4.nextRandom
7682{-# INLINE randomId #-}
83+#endif
7784
7885instance KnownSymbol s => Show (Id s) where
7986 show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> P.show v