2015-08-20 22:33:38 +02:00
|
|
|
User
|
|
|
|
ident Text
|
|
|
|
password Text Maybe
|
|
|
|
UniqueUser ident
|
2015-09-30 20:15:33 +02:00
|
|
|
name Text Maybe
|
2016-02-14 08:44:16 +01:00
|
|
|
isAdmin Bool default=False
|
2015-11-10 21:35:42 +01:00
|
|
|
localId Text Maybe
|
2016-02-14 08:59:12 +01:00
|
|
|
isAnonymous Bool default=False
|
2016-05-03 10:21:40 +02:00
|
|
|
avatar ByteString Maybe
|
2017-02-18 10:26:02 +01:00
|
|
|
verificationKey Text Maybe
|
|
|
|
keyExpirationDate UTCTime Maybe
|
2017-09-28 11:29:48 +02:00
|
|
|
triggerToken Text Maybe
|
2015-08-20 22:33:38 +02:00
|
|
|
deriving Typeable
|
2015-11-11 22:37:25 +01:00
|
|
|
PublicKey
|
|
|
|
user UserId
|
|
|
|
pubkey Text
|
2015-08-20 22:33:38 +02:00
|
|
|
Email
|
|
|
|
email Text
|
|
|
|
user UserId Maybe
|
|
|
|
verkey Text Maybe
|
|
|
|
UniqueEmail email
|
2015-08-29 13:13:16 +02:00
|
|
|
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()
|
2018-01-18 08:21:06 +01:00
|
|
|
image ByteString Maybe
|
2018-01-18 09:21:21 +01:00
|
|
|
starred Bool Maybe
|
2015-08-29 13:13:16 +02:00
|
|
|
Test
|
|
|
|
challenge ChallengeId
|
2015-12-20 21:00:00 +01:00
|
|
|
metric Metric
|
2015-09-28 18:10:59 +02:00
|
|
|
name Text
|
2015-08-29 13:13:16 +02:00
|
|
|
checksum SHA1
|
|
|
|
commit SHA1
|
|
|
|
active Bool default=True
|
2016-02-17 09:34:34 +01:00
|
|
|
precision Int Maybe
|
2015-09-28 23:43:55 +02:00
|
|
|
UniqueChallengeNameChecksum challenge name checksum
|
|
|
|
Submission
|
|
|
|
repo RepoId
|
|
|
|
commit SHA1
|
|
|
|
challenge ChallengeId
|
|
|
|
description Text
|
|
|
|
stamp UTCTime default=now()
|
2015-09-30 20:32:06 +02:00
|
|
|
submitter UserId
|
2016-02-14 08:59:12 +01:00
|
|
|
isPublic Bool default=False
|
2015-09-28 23:43:55 +02:00
|
|
|
UniqueSubmissionRepoCommitChallenge repo commit challenge
|
2016-02-12 23:21:26 +01:00
|
|
|
Fork
|
|
|
|
source SubmissionId
|
|
|
|
target SubmissionId
|
|
|
|
UniqueSourceTarget source target
|
2015-09-28 23:43:55 +02:00
|
|
|
Evaluation
|
|
|
|
test TestId
|
|
|
|
checksum SHA1
|
|
|
|
score Double Maybe
|
|
|
|
errorMessage Text Maybe
|
|
|
|
stamp UTCTime default=now()
|
2015-09-29 14:33:19 +02:00
|
|
|
UniqueEvaluationTestChecksum test checksum
|
2016-05-03 08:46:10 +02:00
|
|
|
Comment
|
|
|
|
challenge ChallengeId
|
|
|
|
author UserId
|
|
|
|
posted UTCTime default=now()
|
|
|
|
text Textarea
|
2015-09-28 23:43:55 +02:00
|
|
|
Out
|
|
|
|
submission SubmissionId
|
|
|
|
test TestId
|
|
|
|
checksum SHA1
|
|
|
|
UniqueOutSubmissionTestChecksum submission test checksum
|
2017-02-19 14:05:56 +01:00
|
|
|
Tag
|
|
|
|
name Text
|
|
|
|
description Text Maybe
|
|
|
|
UniqueTagName name
|
2017-02-25 19:13:55 +01:00
|
|
|
SubmissionTag
|
|
|
|
submission SubmissionId
|
|
|
|
tag TagId
|
|
|
|
accepted Bool Maybe
|
|
|
|
UniqueSubmissionTag submission tag
|
2017-02-26 21:40:38 +01:00
|
|
|
Achievement
|
|
|
|
name Text
|
|
|
|
challenge ChallengeId
|
2017-02-26 22:01:27 +01:00
|
|
|
points Int
|
2017-02-26 21:40:38 +01:00
|
|
|
description Text Maybe
|
|
|
|
deadline UTCTime
|
|
|
|
maxWinners Int Maybe
|
2017-10-03 07:23:52 +02:00
|
|
|
course CourseId
|
2017-02-26 21:40:38 +01:00
|
|
|
UniqueAchievementName name
|
|
|
|
AchievementTag
|
|
|
|
achievement AchievementId
|
|
|
|
tag TagId
|
|
|
|
UniqueAchievementTag achievement tag
|
2017-03-13 12:00:38 +01:00
|
|
|
WorkingOn
|
|
|
|
achievement AchievementId
|
|
|
|
user UserId
|
2017-03-18 21:33:41 +01:00
|
|
|
finalSubmission SubmissionId Maybe
|
2017-03-13 12:00:38 +01:00
|
|
|
UniqueWorkingOnAchievementUser achievement user
|
2017-09-29 14:50:09 +02:00
|
|
|
Course
|
|
|
|
name Text
|
2017-10-03 22:16:00 +02:00
|
|
|
code Text
|
|
|
|
closed Bool
|
2017-09-29 14:50:09 +02:00
|
|
|
UniqueCourseName name
|
2017-10-03 22:16:00 +02:00
|
|
|
UniqueCourseCode code
|
2018-01-02 18:55:35 +01:00
|
|
|
ExtraPoints
|
|
|
|
points Int
|
|
|
|
description Text
|
|
|
|
user UserId
|
|
|
|
course CourseId
|
|
|
|
posted UTCTime default=now()
|
|
|
|
addedBy UserId
|
2017-10-20 09:49:37 +02:00
|
|
|
Participant
|
|
|
|
user UserId
|
|
|
|
course CourseId
|
|
|
|
UniqueUserCourse user course
|
2015-08-29 13:13:16 +02:00
|
|
|
-- By default this file is used in Model.hs (which is imported by Foundation.hs)
|