From 92d3ab89ffd6e65d5a79de0cf5907aad3786ce44 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 19 Jan 2021 18:52:41 -0500
Subject: Persist Analysis runs
Keep Analysis runs, with a unique id, and index them based on ID, which user
asked for the analysis, and commit sha.
---
Biz/Id.hs | 42 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 42 insertions(+)
create mode 100644 Biz/Id.hs
(limited to 'Biz/Id.hs')
diff --git a/Biz/Id.hs b/Biz/Id.hs
new file mode 100644
index 0000000..89c74bf
--- /dev/null
+++ b/Biz/Id.hs
@@ -0,0 +1,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
--
cgit v1.2.3