gonito/config/models

63 lines
1.4 KiB
Plaintext

User
ident Text
password Text Maybe
UniqueUser ident
name Text Maybe
isAdmin Bool default=True
localId Text Maybe
deriving Typeable
PublicKey
user UserId
pubkey Text
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
metric Metric
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)