git.iko.soy/typeable/id
on master help sign in
swap
aa466ff14 ahead, 0 behind
cabal.projectnew file+11
since splitsnapshots
unifiedsplit
@@ -0,0 +1,11 @@
1+packages:
2+ .
3+
4+-- To compile with js-backend use this:
5+source-repository-package
6+ type: git
7+ location: https://github.com/typeable/uuid.git
8+ tag: 49f50ae517de0e4d5dfbf783edc61e71cfd54d6b
9+ subdir:
10+ uuid
11+ uuid-types
id.cabal+61−53
@@ -1,69 +1,77 @@
1−cabal-version: 2.4
1+cabal-version: 2.4
2+name: id
3+version: 0.2.0.0
4+license-file: LICENSE
2
5
3−name: id
6+flag cassava
4−version: 0.2.0.0
7+ description: Enable Postgresql support
5−license-file: LICENSE
8+ default: True
9+ manual: False
6
10
7−Flag cassava
11+flag postgres
8− Description: Enable Postgresql support
12+ description: Enable Postgresql support
9− Default: True
13+ default: True
10− Manual: False
14+ manual: False
11
15
16+flag flat
17+ description: Enable Flat serialization support
18+ default: True
19+ manual: False
12
20
13−Flag postgres
21+flag store
14− Description: Enable Postgresql support
22+ description: Enable Data.Store serialization support
15− Default: True
23+ default: False
16− Manual: False
24+ manual: False
17
25
18−Flag flat
26+flag uuid-impl
19− Description: Enable Flat serialization support
27+ description: Include some functions with extra dependencies.
20− Default: True
28+ Disable to reduce dependencies.
21− Manual: False
29+ default: True
22−
23−Flag store
24− Description: Enable Data.Store serialization support
25− Default: False
26− Manual: False
30+ manual: False
27
31
28library
32library
29− exposed-modules:
33+ exposed-modules: Data.Id
30− Data.Id
31− -- other-modules:
32− -- other-extensions:
33 build-depends:
34 build-depends:
34− aeson,
35+ , aeson >=1.0
35− base >=4.12 && <5,
36+ , base >=4.12 && <5
36− binary,
37+ , binary
37− deepseq,
38+ , deepseq
38− hashable,
39+ , hashable
39− http-api-data,
40+ , http-api-data
40− lens,
41+ , lens
41− openapi3,
42− path-pieces,
42+ , path-pieces
43− text,
43+ , text
44− QuickCheck,
45− uuid,
44+ , uuid-types
46− if flag(postgres) && !impl(ghcjs)
45+ if flag(uuid-impl)
47 build-depends:
46 build-depends:
48− postgresql-simple
47+ , uuid >=1.3.9
49− cpp-options: -DUSE_POSTGRES
48+ cpp-options: -DUSE_UUID
50− if flag(cassava) && !impl(ghcjs)
49+
50+ if !(impl(ghcjs) || arch(javascript) || arch(wasm32))
51 build-depends:
51 build-depends:
52+ , openapi3
53+ , QuickCheck
54+
55+ cpp-options: -DBACKEND
56+
57+ if (flag(postgres) && !(impl(ghcjs) || arch(javascript) || arch(wasm32)))
58+ build-depends: postgresql-simple
59+ cpp-options: -DUSE_POSTGRES
60+
61+ if (flag(cassava) && !(impl(ghcjs) || arch(javascript) || arch(wasm32)))
52− cassava
62+ build-depends: cassava
53− cpp-options: -DUSE_CASSAVA
63+ cpp-options: -DUSE_CASSAVA
64+
54 if flag(flat)
65 if flag(flat)
55− build-depends:
66+ build-depends: flat >=0.4
56− flat,
57− cpp-options: -DUSE_FLAT
67+ cpp-options: -DUSE_FLAT
68+
58 if flag(store)
69 if flag(store)
59− build-depends:
70+ build-depends: store
60− store,
61− cpp-options: -DUSE_STORE
71+ cpp-options: -DUSE_STORE
62
72
63− hs-source-dirs:
73+ hs-source-dirs: src
64− src
65− default-language:
74+ default-language: Haskell2010
66− Haskell2010
67 default-extensions:
75 default-extensions:
68 AllowAmbiguousTypes
76 AllowAmbiguousTypes
69 DeriveGeneric
77 DeriveGeneric
src/Data/Id.hs+54−21
@@ -4,9 +4,12 @@
4{-# OPTIONS_GHC -Wno-orphans #-}
4{-# OPTIONS_GHC -Wno-orphans #-}
5
5
6module Data.Id
6module Data.Id
7− ( Id, mkId, unId, randomId, unsafeIdTagConvert, coerceId, _Id, nilId
7+ ( Id, mkId, unId, unsafeIdTagConvert, coerceId, _Id, nilId
8 , IntId, mkIntId, unIntId, unsafeIntIdTagConvert, coerceIntId, _IntId
8 , IntId, mkIntId, unIntId, unsafeIntIdTagConvert, coerceIntId, _IntId
9 , Name, mkName, unName, unsafeNameTagConvert, coerceName, _Name
9 , Name, mkName, unName, unsafeNameTagConvert, coerceName, _Name
10+#ifdef USE_UUID
11+ , randomId
12+#endif
10 )
13 )
11 where
14 where
12
15
@@ -18,13 +21,22 @@ import Data.Binary (Binary)
18import Data.Coerce (coerce)
21import Data.Coerce (coerce)
19import Data.Data
22import Data.Data
20import Data.Hashable (Hashable)
23import Data.Hashable (Hashable)
21−import Data.OpenApi
22import Data.String
24import Data.String
23import Data.Text as T
25import Data.Text as T
24−import Data.UUID (UUID)
26+import Data.UUID.Types (UUID)
25−import qualified Data.UUID as UUID
27+import qualified Data.UUID.Types as UUID
28+import GHC.TypeLits
29+import Prelude as P
30+import Text.ParserCombinators.ReadP
31+import Web.HttpApiData
32+import Web.PathPieces (PathPiece(..))
33+
34+#ifdef USE_UUID
26import qualified Data.UUID.V4 as UUID.V4
35import qualified Data.UUID.V4 as UUID.V4
27−#ifndef ghcjs_HOST_OS
36+#endif
37+#ifdef BACKEND
38+import Data.OpenApi
39+import Test.QuickCheck
28#ifdef USE_CASSAVA
40#ifdef USE_CASSAVA
29import Data.Csv as Csv hiding(Name)
41import Data.Csv as Csv hiding(Name)
30#endif
42#endif
@@ -33,11 +45,7 @@ import Database.PostgreSQL.Simple.FromField as PG (FromField)
33import Database.PostgreSQL.Simple.ToField as PG (ToField)
45import Database.PostgreSQL.Simple.ToField as PG (ToField)
34#endif
46#endif
35#endif
47#endif
36−import GHC.TypeLits
48+
37−import Test.QuickCheck
38−import Text.ParserCombinators.ReadP
39−import Web.HttpApiData
40−import Web.PathPieces (PathPiece(..))
41#ifdef USE_FLAT
49#ifdef USE_FLAT
42import Flat as F
50import Flat as F
43#endif
51#endif
@@ -54,8 +62,11 @@ newtype Id t = Id { unId :: UUID }
54 , PG.ToField, PG.FromField
62 , PG.ToField, PG.FromField
55#endif
63#endif
56#endif
64#endif
57− , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, ToSchema
65+ , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey
66+#ifdef BACKEND
67+ , ToSchema, ToParamSchema
68+#endif
58− , ToParamSchema, FromHttpApiData, ToHttpApiData )
69+ , FromHttpApiData, ToHttpApiData )
59
70
60type role Id nominal
71type role Id nominal
61
72
@@ -65,12 +76,14 @@ mkId :: forall s. UUID -> Id s
65mkId = coerce
76mkId = coerce
66{-# INLINE mkId #-}
77{-# INLINE mkId #-}
67
78
79+#ifdef USE_UUID
68randomId :: forall s. IO (Id s)
80randomId :: forall s. IO (Id s)
69randomId = coerce <$> UUID.V4.nextRandom
81randomId = coerce <$> UUID.V4.nextRandom
70{-# INLINE randomId #-}
82{-# INLINE randomId #-}
83+#endif
71
84
72instance KnownSymbol s => Show (Id s) where
85instance KnownSymbol s => Show (Id s) where
73− show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> show v
86+ show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> P.show v
74
87
75instance KnownSymbol s => Read (Id s) where
88instance KnownSymbol s => Read (Id s) where
76 readsPrec _ = readP_to_S $ do
89 readsPrec _ = readP_to_S $ do
@@ -91,12 +104,14 @@ instance Data.Store.Store (Id s) where
91 size = Data.Store.ConstSize 16
104 size = Data.Store.ConstSize 16
92#endif
105#endif
93
106
107+#ifdef BACKEND
94instance Arbitrary (Id t) where
108instance Arbitrary (Id t) where
95 arbitrary = fmap Id $ UUID.fromWords
109 arbitrary = fmap Id $ UUID.fromWords
96 <$> arbitrary
110 <$> arbitrary
97 <*> arbitrary
111 <*> arbitrary
98 <*> arbitrary
112 <*> arbitrary
99 <*> arbitrary
113 <*> arbitrary
114+#endif
100
115
101instance PathPiece (Id t) where
116instance PathPiece (Id t) where
102 fromPathPiece = coerce . UUID.fromText
117 fromPathPiece = coerce . UUID.fromText
@@ -145,9 +160,17 @@ newtype IntId t = IntId { unIntId :: Integer }
145 , Csv.ToField, Csv.FromField
160 , Csv.ToField, Csv.FromField
146#endif
161#endif
147#endif
162#endif
163+#ifdef USE_FLAT
164+ , Flat
165+#endif
166+#ifdef USE_STORE
167+ , Data.Store.Store
168+#endif
169+#ifdef BACKEND
170+ , ToSchema, ToParamSchema, Arbitrary
171+#endif
148− , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, ToSchema
172+ , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, FromHttpApiData
149− , ToParamSchema, FromHttpApiData, ToHttpApiData, PathPiece, Flat, Arbitrary
150− , Num, Integral, Real, Enum )
173+ , ToHttpApiData, PathPiece, Num, Integral, Real, Enum )
151
174
152type role IntId nominal
175type role IntId nominal
153
176
@@ -158,7 +181,7 @@ mkIntId = coerce
158{-# INLINE mkIntId #-}
181{-# INLINE mkIntId #-}
159
182
160instance KnownSymbol s => Show (IntId s) where
183instance KnownSymbol s => Show (IntId s) where
161− show (IntId v) = "IntId-" <> symbolVal (Proxy @s) <> "-" <> show v
184+ show (IntId v) = "IntId-" <> symbolVal (Proxy @s) <> "-" <> P.show v
162
185
163instance KnownSymbol s => Read (IntId s) where
186instance KnownSymbol s => Read (IntId s) where
164 readsPrec _ = readP_to_S $ do
187 readsPrec _ = readP_to_S $ do
@@ -188,9 +211,17 @@ newtype Name t = Name { unName :: Text }
188 , Csv.ToField, Csv.FromField
211 , Csv.ToField, Csv.FromField
189#endif
212#endif
190#endif
213#endif
214+#ifdef USE_FLAT
215+ , Flat
216+#endif
217+#ifdef USE_STORE
218+ , Data.Store.Store
219+#endif
220+#ifdef BACKEND
221+ , ToSchema, ToParamSchema
222+#endif
191− , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, ToSchema
223+ , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, FromHttpApiData
192− , ToParamSchema, FromHttpApiData, ToHttpApiData, PathPiece, Flat
193− , IsString, Semigroup, Monoid )
224+ , ToHttpApiData, PathPiece, IsString, Semigroup, Monoid )
194
225
195type role Name nominal
226type role Name nominal
196
227
@@ -201,15 +232,17 @@ mkName = coerce
201{-# INLINE mkName #-}
232{-# INLINE mkName #-}
202
233
203instance KnownSymbol s => Show (Name s) where
234instance KnownSymbol s => Show (Name s) where
204− show (Name v) = "Name-" <> symbolVal (Proxy @s) <> "-" <> show v
235+ show (Name v) = "Name-" <> symbolVal (Proxy @s) <> "-" <> P.show v
205
236
206instance KnownSymbol s => Read (Name s) where
237instance KnownSymbol s => Read (Name s) where
207 readsPrec _ = readP_to_S $ do
238 readsPrec _ = readP_to_S $ do
208 _ <- string ("Name-" <> symbolVal (Proxy @s) <> "-")
239 _ <- string ("Name-" <> symbolVal (Proxy @s) <> "-")
209 mkName <$> readS_to_P reads
240 mkName <$> readS_to_P reads
210
241
242+#ifdef BACKEND
211instance Arbitrary (Name s) where
243instance Arbitrary (Name s) where
212 arbitrary = coerce . T.pack . getPrintableString <$> arbitrary
244 arbitrary = coerce . T.pack . getPrintableString <$> arbitrary
245+#endif
213
246
214-- | This is a more \"explicit\" 'coerce' specifically for 'Name'.
247-- | This is a more \"explicit\" 'coerce' specifically for 'Name'.
215-- You are forced to explicitly specify the phantom types you are converting
248-- You are forced to explicitly specify the phantom types you are converting