chore(jobsystem): rename priority to JobPrio to avoid name clashes

This commit is contained in:
Sarah Vaupel 2023-12-06 01:57:05 +00:00
parent 5fe9665150
commit 378f38eece
2 changed files with 6 additions and 6 deletions

View File

@ -7,7 +7,7 @@ JobMeta
relativeInTime TimeRelative Maybe -- TODO find better name
planExecutionAhead NominalDiffTime -- TODO find better name
executionTimeEpsilon NominalDiffTime Maybe
priority JobPriority
priority JobPrio
ressources JobRessources
status JobStatus
lastStartSystem UTCTime Maybe -- when did a job scheduler last order

View File

@ -1,6 +1,6 @@
module Model.Types.Jobsystem
( JobOccurrence(..)
, JobPriority(..)
, JobPrio(..)
, JobRessource(..), JobRessources(..)
, module Jobsys.Basics
) where
@ -26,7 +26,7 @@ derivePersistFieldJSON ''JobOccurrence
-- | Priorities of jobs to be executed. Note that Top < ... < Least must hold, so be careful with constructor order!
data JobPriority
data JobPrio
= JobPrioTop
| JobPrioHigh
| JobPrioMedium
@ -35,9 +35,9 @@ data JobPriority
deriving (Eq, Ord, Enum, Bounded, Read, Show, Generic)
deriving anyclass (Universe, Finite, NFData)
nullaryPathPiece ''JobPriority $ camelToPathPiece' 2
pathPieceJSON ''JobPriority
derivePersistFieldPathPiece ''JobPriority
nullaryPathPiece ''JobPrio $ camelToPathPiece' 2
pathPieceJSON ''JobPrio
derivePersistFieldPathPiece ''JobPrio
data JobRessource