User
    ident Text
    password Text Maybe
    UniqueUser ident
    name Text Maybe
    isAdmin Bool default=False
    localId Text Maybe
    isAnonymous Bool default=False
    avatar ByteString Maybe
    verificationKey Text Maybe
    keyExpirationDate UTCTime Maybe
    triggerToken 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
    precision Int Maybe
    UniqueChallengeNameChecksum challenge name checksum
Submission
    repo RepoId
    commit SHA1
    challenge ChallengeId
    description Text
    stamp UTCTime default=now()
    submitter UserId
    isPublic Bool default=False
    UniqueSubmissionRepoCommitChallenge repo commit challenge
Fork
    source SubmissionId
    target SubmissionId
    UniqueSourceTarget source target
Evaluation
    test TestId
    checksum SHA1
    score Double Maybe
    errorMessage Text Maybe
    stamp UTCTime default=now()
    UniqueEvaluationTestChecksum test checksum
Comment
    challenge ChallengeId
    author UserId
    posted UTCTime default=now()
    text Textarea
Out
    submission SubmissionId
    test TestId
    checksum SHA1
    UniqueOutSubmissionTestChecksum submission test checksum
Tag
    name Text
    description Text Maybe
    UniqueTagName name
SubmissionTag
    submission SubmissionId
    tag TagId
    accepted Bool Maybe
    UniqueSubmissionTag submission tag
Achievement
    name Text
    challenge ChallengeId
    points Int
    description Text Maybe
    deadline UTCTime
    maxWinners Int Maybe
    course CourseId
    UniqueAchievementName name
AchievementTag
    achievement AchievementId
    tag TagId
    UniqueAchievementTag achievement tag
WorkingOn
    achievement AchievementId
    user UserId
    finalSubmission SubmissionId Maybe
    UniqueWorkingOnAchievementUser achievement user
Course
    name Text
    code Text
    closed Bool
    UniqueCourseName name
    UniqueCourseCode code
-- By default this file is used in Model.hs (which is imported by Foundation.hs)