chore(model): designated eo-label name type

This commit is contained in:
Sarah Vaupel 2021-12-03 00:14:49 +01:00
parent a4aaa0fbda
commit 4442b7df29
3 changed files with 10 additions and 1 deletions

View File

@ -1,6 +1,6 @@
ExamOfficeLabel ExamOfficeLabel
user UserId user UserId
name Text name ExamOfficeLabelName
status MessageStatus status MessageStatus
priority Int -- determines label ordering priority Int -- determines label ordering
UniqueExamOfficeLabel user name UniqueExamOfficeLabel user name

View File

@ -6,6 +6,7 @@ import Model.Types.Common as Types
import Model.Types.Course as Types import Model.Types.Course as Types
import Model.Types.DateTime as Types import Model.Types.DateTime as Types
import Model.Types.Exam as Types import Model.Types.Exam as Types
import Model.Types.ExamOffice as Types
import Model.Types.Health as Types import Model.Types.Health as Types
import Model.Types.Mail as Types import Model.Types.Mail as Types
import Model.Types.Security as Types import Model.Types.Security as Types

View File

@ -0,0 +1,8 @@
module Model.Types.ExamOffice
( ExamOfficeLabelName
) where
import Import.NoModel
type ExamOfficeLabelName = Text