gonito/config/models

58 lines
1.3 KiB
Plaintext

User
ident Text
password Text Maybe
UniqueUser ident
name Text Maybe
isAdmin Bool default=True
deriving Typeable
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()
Test
challenge ChallengeId
name Text
checksum SHA1
commit SHA1
active Bool default=True
UniqueChallengeNameChecksum challenge name checksum
Submission
repo RepoId
commit SHA1
challenge ChallengeId
description Text
stamp UTCTime default=now()
submitter UserId
UniqueSubmissionRepoCommitChallenge repo commit challenge
Evaluation
test TestId
checksum SHA1
score Double Maybe
errorMessage Text Maybe
stamp UTCTime default=now()
UniqueEvaluationTestChecksum test checksum
Out
submission SubmissionId
test TestId
checksum SHA1
UniqueOutSubmissionTestChecksum submission test checksum
-- By default this file is used in Model.hs (which is imported by Foundation.hs)