User
    ident Text
    password Text Maybe
    UniqueUser ident
    name Text Maybe
    isAdmin Bool default=False
    localId Text Maybe
    isAnonymous Bool default=False
    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
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)