From 6350311e81bb116bb7975bcc76e1dc9577194531 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 5 Apr 2025 19:43:16 +0200 Subject: Convert JobRepo to a closed type family --- src/Job/Types.hs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/Job') 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 -- cgit v1.2.3