gonito/config/models

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