blob: 89c74bfd3755327af4914fe5af281d3b4da83514 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE NoImplicitPrelude #-}
-- Integer-based identifier.
module Biz.Id
( Id (..),
mk,
untag,
)
where
import Alpha
import Data.Aeson (FromJSON (..), ToJSON (..))
import Data.Binary (Binary)
import Data.Data (Data)
newtype Id entity = Id Int
deriving (Eq, Ord, Show, Generic, Typeable, Data)
mk :: proxy entity -> Int -> Id entity
mk _ = Id
untag :: Id entity -> Int
untag (Id i) = i
instance Hashable (Id entity)
instance Binary (Id entity)
instance Enum (Id entity) where
toEnum n = mk (Proxy :: Proxy entity) n
fromEnum = untag
instance NFData (Id entity) where
rnf (Id s) = rnf s
instance FromJSON (Id entity) where
parseJSON = fmap Id <. parseJSON
instance ToJSON (Id entity) where
toJSON = toJSON <. untag
|
