gonito/config/models

99 lines
2.2 KiB
Plaintext
Raw Normal View History

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
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
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()
Test
challenge ChallengeId
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
UniqueAchievementName name
AchievementTag
achievement AchievementId
tag TagId
UniqueAchievementTag achievement tag
2015-08-29 13:13:16 +02:00
-- By default this file is used in Model.hs (which is imported by Foundation.hs)