gonito/config/models
2018-01-25 16:43:50 +01:00

125 lines
2.7 KiB
Plaintext

User
ident Text
password Text Maybe
UniqueUser ident
name Text Maybe
isAdmin Bool default=False
localId Text Maybe
isAnonymous Bool default=False
avatar ByteString Maybe
verificationKey Text Maybe
keyExpirationDate UTCTime Maybe
triggerToken Text Maybe
deriving Typeable
PublicKey
user UserId
pubkey Text
Email
email Text
user UserId Maybe
verkey Text Maybe
UniqueEmail email
Repo
url Text
branch Text
currentCommit SHA1
owner UserId
ready Bool default=False
stamp UTCTime default=now()
UniqueUrlBranch url branch
deriving Show
Challenge
publicRepo RepoId
privateRepo RepoId
name Text
UniqueName name
title Text
description Text
stamp UTCTime default=now()
image ByteString Maybe
starred Bool
Test
challenge ChallengeId
metric Metric
name Text
checksum SHA1
commit SHA1
active Bool default=True
precision Int Maybe
UniqueChallengeNameChecksum challenge name checksum
Submission
repo RepoId
commit SHA1
challenge ChallengeId
description Text
stamp UTCTime default=now()
submitter UserId
isPublic Bool default=False
UniqueSubmissionRepoCommitChallenge repo commit challenge
Fork
source SubmissionId
target SubmissionId
UniqueSourceTarget source target
Evaluation
test TestId
checksum SHA1
score Double Maybe
errorMessage Text Maybe
stamp UTCTime default=now()
UniqueEvaluationTestChecksum test checksum
Comment
challenge ChallengeId
author UserId
posted UTCTime default=now()
text Textarea
Out
submission SubmissionId
test TestId
checksum SHA1
UniqueOutSubmissionTestChecksum submission test checksum
Tag
name Text
description Text Maybe
UniqueTagName name
SubmissionTag
submission SubmissionId
tag TagId
accepted Bool Maybe
UniqueSubmissionTag submission tag
Achievement
name Text
challenge ChallengeId
points Int
description Text Maybe
deadline UTCTime
maxWinners Int Maybe
course CourseId
UniqueAchievementName name
AchievementTag
achievement AchievementId
tag TagId
UniqueAchievementTag achievement tag
WorkingOn
achievement AchievementId
user UserId
finalSubmission SubmissionId Maybe
UniqueWorkingOnAchievementUser achievement user
Course
name Text
code Text
closed Bool
UniqueCourseName name
UniqueCourseCode code
ExtraPoints
points Int
description Text
user UserId
course CourseId
posted UTCTime default=now()
addedBy UserId
Participant
user UserId
course CourseId
UniqueUserCourse user course
-- By default this file is used in Model.hs (which is imported by Foundation.hs)