gonito/config/models

147 lines
3.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
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()
2018-06-05 07:46:42 +02:00
gitAnnexRemote Text Maybe
2015-08-29 13:13:16 +02:00
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-25 16:43:50 +01:00
starred Bool
2015-08-29 13:13:16 +02:00
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
priority Int Maybe
UniqueChallengeNameMetricChecksum challenge name metric checksum
2015-09-28 23:43:55 +02:00
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
isHidden Bool Maybe
2015-09-28 23:43:55 +02:00
UniqueSubmissionRepoCommitChallenge repo commit challenge
Variant
submission SubmissionId
name Text
UniqueVariantSubmissionName submission name
2018-07-05 22:21:26 +02:00
Parameter
variant VariantId
name Text
value Text
UniqueParameterName variant name
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
2018-07-05 22:15:21 +02:00
variant VariantId
2015-09-28 23:43:55 +02:00
test TestId
checksum SHA1
2018-07-05 22:15:21 +02:00
UniqueOutVariantTestChecksum variant 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
-- for machine learning courses
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
Course
name Text
code Text
closed Bool
UniqueCourseName name
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
-- for "KPI" dashboard
Indicator
test TestId
filterCondition Text Maybe
targetCondition Text Maybe
Target
indicator IndicatorId
deadline UTCTime
value Double
2015-08-29 13:13:16 +02:00
-- By default this file is used in Model.hs (which is imported by Foundation.hs)