gonito/config/models

62 lines
1.3 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
2015-10-06 22:56:57 +02:00
isAdmin Bool default=True
localId 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()
Test
challenge ChallengeId
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
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
2015-09-28 23:43:55 +02:00
UniqueSubmissionRepoCommitChallenge repo commit challenge
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
2015-09-28 23:43:55 +02:00
Out
submission SubmissionId
test TestId
checksum SHA1
UniqueOutSubmissionTestChecksum submission test checksum
2015-08-29 13:13:16 +02:00
-- By default this file is used in Model.hs (which is imported by Foundation.hs)