2015-08-20 22:33:38 +02:00
|
|
|
User
|
|
|
|
|
ident Text
|
|
|
|
|
password Text Maybe
|
|
|
|
|
UniqueUser ident
|
|
|
|
|
deriving Typeable
|
|
|
|
|
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()
|
|
|
|
|
UniqueSubmissionRepoCommitChallenge repo commit challenge
|
|
|
|
|
Evaluation
|
|
|
|
|
test TestId
|
|
|
|
|
checksum SHA1
|
|
|
|
|
score Double Maybe
|
|
|
|
|
errorMessage Text Maybe
|
|
|
|
|
stamp UTCTime default=now()
|
|
|
|
|
UniqueTestChecksum test checksum
|
|
|
|
|
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)
|
