@@ -4,12 +4,9 @@
44{-# OPTIONS_GHC -Wno-orphans #-}
55
66module Data.Id
7− ( Id, mkId, unId, unsafeIdTagConvert, coerceId, _Id, nilId
7+ ( Id, mkId, unId, randomId, 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
1310 )
1411 where
1512
@@ -21,22 +18,13 @@ import Data.Binary (Binary)
2118import Data.Coerce (coerce)
2219import Data.Data
2320import Data.Hashable (Hashable)
21+import Data.OpenApi
2422import Data.String
2523import Data.Text as T
26−import Data.UUID.Types (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
24+import Data.UUID (UUID)
25+import qualified Data.UUID as UUID
3526import qualified Data.UUID.V4 as UUID.V4
36−#endif
37−#ifdef BACKEND
38−import Data.OpenApi
39−import Test.QuickCheck
27+#ifndef ghcjs_HOST_OS
4028#ifdef USE_CASSAVA
4129import Data.Csv as Csv hiding(Name)
4230#endif
@@ -45,7 +33,11 @@ import Database.PostgreSQL.Simple.FromField as PG (FromField)
4533import Database.PostgreSQL.Simple.ToField as PG (ToField)
4634#endif
4735#endif
48−
36+import GHC.TypeLits
37+import Test.QuickCheck
38+import Text.ParserCombinators.ReadP
39+import Web.HttpApiData
40+import Web.PathPieces (PathPiece(..))
4941#ifdef USE_FLAT
5042import Flat as F
5143#endif
@@ -62,11 +54,8 @@ newtype Id t = Id { unId :: UUID }
6254 , PG.ToField, PG.FromField
6355#endif
6456#endif
65− , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey
66−#ifdef BACKEND
67− , ToSchema, ToParamSchema
68−#endif
69− , FromHttpApiData, ToHttpApiData )
57+ , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, ToSchema
58+ , ToParamSchema, FromHttpApiData, ToHttpApiData )
7059
7160type role Id nominal
7261
@@ -76,14 +65,12 @@ mkId :: forall s. UUID -> Id s
7665mkId = coerce
7766{-# INLINE mkId #-}
7867
79−#ifdef USE_UUID
8068randomId :: forall s. IO (Id s)
8169randomId = coerce <$> UUID.V4.nextRandom
8270{-# INLINE randomId #-}
83−#endif
8471
8572instance KnownSymbol s => Show (Id s) where
86− show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> P.show v
73+ show (Id v) = "Id-" <> symbolVal (Proxy @s) <> "-" <> show v
8774
8875instance KnownSymbol s => Read (Id s) where
8976 readsPrec _ = readP_to_S $ do
@@ -104,14 +91,12 @@ instance Data.Store.Store (Id s) where
10491 size = Data.Store.ConstSize 16
10592#endif
10693
107−#ifdef BACKEND
10894instance Arbitrary (Id t) where
10995 arbitrary = fmap Id $ UUID.fromWords
11096 <$> arbitrary
11197 <*> arbitrary
11298 <*> arbitrary
11399 <*> arbitrary
114−#endif
115100
116101instance PathPiece (Id t) where
117102 fromPathPiece = coerce . UUID.fromText
@@ -159,18 +144,16 @@ newtype IntId t = IntId { unIntId :: Integer }
159144#ifdef USE_CASSAVA
160145 , Csv.ToField, Csv.FromField
161146#endif
162−#endif
163147#ifdef USE_FLAT
164148 , Flat
165149#endif
166150#ifdef USE_STORE
167151 , Data.Store.Store
168152#endif
169−#ifdef BACKEND
170− , ToSchema, ToParamSchema, Arbitrary
171153#endif
172− , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, FromHttpApiData
173− , ToHttpApiData, PathPiece, Num, Integral, Real, Enum )
154+ , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, ToSchema
155+ , ToParamSchema, FromHttpApiData, ToHttpApiData, PathPiece, Arbitrary
156+ , Num, Integral, Real, Enum )
174157
175158type role IntId nominal
176159
@@ -181,7 +164,7 @@ mkIntId = coerce
181164{-# INLINE mkIntId #-}
182165
183166instance KnownSymbol s => Show (IntId s) where
184− show (IntId v) = "IntId-" <> symbolVal (Proxy @s) <> "-" <> P.show v
167+ show (IntId v) = "IntId-" <> symbolVal (Proxy @s) <> "-" <> show v
185168
186169instance KnownSymbol s => Read (IntId s) where
187170 readsPrec _ = readP_to_S $ do
@@ -210,18 +193,16 @@ newtype Name t = Name { unName :: Text }
210193#ifdef USE_CASSAVA
211194 , Csv.ToField, Csv.FromField
212195#endif
213−#endif
214196#ifdef USE_FLAT
215197 , Flat
216198#endif
217199#ifdef USE_STORE
218200 , Data.Store.Store
219201#endif
220−#ifdef BACKEND
221− , ToSchema, ToParamSchema
222202#endif
223− , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, FromHttpApiData
224− , ToHttpApiData, PathPiece, IsString, Semigroup, Monoid )
203+ , FromJSON, ToJSON, NFData, Hashable, FromJSONKey, ToJSONKey, ToSchema
204+ , ToParamSchema, FromHttpApiData, ToHttpApiData, PathPiece
205+ , IsString, Semigroup, Monoid )
225206
226207type role Name nominal
227208
@@ -232,17 +213,15 @@ mkName = coerce
232213{-# INLINE mkName #-}
233214
234215instance KnownSymbol s => Show (Name s) where
235− show (Name v) = "Name-" <> symbolVal (Proxy @s) <> "-" <> P.show v
216+ show (Name v) = "Name-" <> symbolVal (Proxy @s) <> "-" <> show v
236217
237218instance KnownSymbol s => Read (Name s) where
238219 readsPrec _ = readP_to_S $ do
239220 _ <- string ("Name-" <> symbolVal (Proxy @s) <> "-")
240221 mkName <$> readS_to_P reads
241222
242−#ifdef BACKEND
243223instance Arbitrary (Name s) where
244224 arbitrary = coerce . T.pack . getPrintableString <$> arbitrary
245−#endif
246225
247226-- | This is a more \"explicit\" 'coerce' specifically for 'Name'.
248227-- You are forced to explicitly specify the phantom types you are converting