Convert JobRepo to a closed type family

1 files changed, 4 insertions, 3 deletions

diff --git a/src/Job/Types.hs b/src/Job/Types.hs
index 0447615..5415e4d 100644
--- a/src/Job/Types.hs
+++ b/src/Job/Types.hs
@@ -1,5 +1,6 @@
 module Job.Types where
 
+import Data.Kind
 import Data.Text (Text)
 import Data.Text qualified as T
 
@@ -34,9 +35,9 @@ textJobName :: JobName -> Text
 textJobName (JobName name) = name
 
 
-data JobRepo d where
-    DeclaredJobRepo :: RepoName -> JobRepo Declared
-    EvaluatedJobRepo :: Repo -> JobRepo Evaluated
+type family JobRepo d :: Type where
+    JobRepo Declared = RepoName
+    JobRepo Evaluated = Repo
 
 data JobCheckout = JobCheckout
     { jcSubtree :: Maybe FilePath