Vervis/config/models

-- This file is part of Vervis.
--
-- Written in 2016 by fr33domlover <fr33domlover@riseup.net>.
--
-- ♡ Copying is an act of love. Please copy, reuse and share.
--
-- The author(s) have dedicated all copyright and related and neighboring
-- rights to this software to the public domain worldwide. This software is
-- distributed without any warranty.
--
-- You should have received a copy of the CC0 Public Domain Dedication along
-- with this software. If not, see
-- <http://creativecommons.org/publicdomain/zero/1.0/>.

-------------------------------------------------------------------------------
-- People
-------------------------------------------------------------------------------

Sharer
    ident   ShrIdent
    name    Text     Maybe
    created UTCTime        default=now()

    UniqueSharer ident

Person
    ident SharerId
    login Text
    hash  Text     Maybe
    email Text     Maybe

    UniquePersonIdent ident
    UniquePersonLogin login

SshKey
    ident   KyIdent
    person  PersonId
    algo    ByteString
    content ByteString

    UniqueSshKey person ident

Group
    ident SharerId

    UniqueGroup ident

GroupMember
    person PersonId
    group  GroupId
    role   GroupRole
    joined UTCTime

    UniqueGroupMember person group

RepoRole
    ident  RlIdent
    person PersonId
    desc   Text

    UniqueRepoRole person ident

RepoAccess
    role RepoRoleId
    op   RepoOperation

    UniqueRepoAccess role op

RepoCollab
    repo   RepoId
    person PersonId
    role   RepoRoleId

    UniqueRepoCollab repo person

ProjectRole
    ident  RlIdent
    person PersonId
    desc   Text

    UniqueProjectRole person ident

ProjectAccess
    role ProjectRoleId
    op   ProjectOperation

    UniqueProjectAccess role op

ProjectCollab
    project ProjectId
    person  PersonId
    role    ProjectRoleId

    UniqueProjectCollab project person

-------------------------------------------------------------------------------
-- Projects
-------------------------------------------------------------------------------

Project
    ident      PrjIdent
    sharer     SharerId
    name       Text     Maybe
    desc       Text     Maybe
    nextTicket Int            default=1
    wiki       RepoId   Maybe

    UniqueProject ident sharer

Repo
    ident      RpIdent
    sharer     SharerId
    vcs        VersionControlSystem       default='VCSGit'
    project    ProjectId            Maybe
    desc       Text                 Maybe
    mainBranch Text                       default='master'

    UniqueRepo ident sharer

Ticket
    project  ProjectId
    number   Int
    created  UTCTime
    creator  PersonId
    title    Text
    desc     Text -- Assume this is Pandoc Markdown
    assignee PersonId     Maybe
    done     Bool
    closed   UTCTime
    closer   PersonId
    discuss  DiscussionId

    UniqueTicket project number

Discussion
    nextMessage Int

Message
    author  PersonId
    created UTCTime
    content Text               -- Assume this is Pandoc Markdown
    parent  MessageId    Maybe
    root    DiscussionId
    number  Int

    UniqueMessage root number
Move some files around, tweak the generated code a bit 2016-02-14 09:10:21 +00:00			`-- This file is part of Vervis.`
			`--`
			`-- Written in 2016 by fr33domlover <fr33domlover@riseup.net>.`
			`--`
			`-- ♡ Copying is an act of love. Please copy, reuse and share.`
			`--`
			`-- The author(s) have dedicated all copyright and related and neighboring`
			`-- rights to this software to the public domain worldwide. This software is`
			`-- distributed without any warranty.`
			`--`
			`-- You should have received a copy of the CC0 Public Domain Dedication along`
			`-- with this software. If not, see`
			`-- <http://creativecommons.org/publicdomain/zero/1.0/>.`

Rename PersonInGroup model to GroupMember 2016-05-24 08:28:57 +00:00			`-------------------------------------------------------------------------------`
			`-- People`
			`-------------------------------------------------------------------------------`

Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00			`Sharer`
New sharer field: Creation time 2016-05-24 08:34:40 +00:00			`ident ShrIdent`
			`name Text Maybe`
Define column default like PostgreSQL to prevent repeated migration 2016-05-24 08:37:41 +00:00			`created UTCTime default=now()`
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00
Finish route change, it builds now I used this chance to make some name changes, add some utils, tweak some imports, remove more `setTitle`s and so on. I also made person, repo, key and project creation forms verify CI-uniqueness. 2016-05-23 20:46:54 +00:00			`UniqueSharer ident`
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00
			`Person`
			`ident SharerId`
			`login Text`
			`hash Text Maybe`
			`email Text Maybe`

			`UniquePersonIdent ident`
			`UniquePersonLogin login`

Implement DB-based SSH authentication 2016-03-06 11:58:48 +00:00			`SshKey`
Finish route change, it builds now I used this chance to make some name changes, add some utils, tweak some imports, remove more `setTitle`s and so on. I also made person, repo, key and project creation forms verify CI-uniqueness. 2016-05-23 20:46:54 +00:00			`ident KyIdent`
Implement DB-based SSH authentication 2016-03-06 11:58:48 +00:00			`person PersonId`
			`algo ByteString`
			`content ByteString`

Finish route change, it builds now I used this chance to make some name changes, add some utils, tweak some imports, remove more `setTitle`s and so on. I also made person, repo, key and project creation forms verify CI-uniqueness. 2016-05-23 20:46:54 +00:00			`UniqueSshKey person ident`
Implement DB-based SSH authentication 2016-03-06 11:58:48 +00:00
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00			`Group`
			`ident SharerId`

Rename PersonInGroup model to GroupMember 2016-05-24 08:28:57 +00:00			`UniqueGroup ident`

			`GroupMember`
			`person PersonId`
			`group GroupId`
Add group roles and make a group's creator its admin 2016-05-25 15:52:15 +00:00			`role GroupRole`
Enable adding group members 2016-05-26 16:25:23 +00:00			`joined UTCTime`
Rename PersonInGroup model to GroupMember 2016-05-24 08:28:57 +00:00
			`UniqueGroupMember person group`

Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`RepoRole`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00			`ident RlIdent`
			`person PersonId`
			`desc Text`

Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`UniqueRepoRole person ident`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00
Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`RepoAccess`
			`role RepoRoleId`
			`op RepoOperation`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00
Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`UniqueRepoAccess role op`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00
Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`RepoCollab`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00			`repo RepoId`
			`person PersonId`
Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`role RepoRoleId`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00
Make all role-related code repo-specific 2016-06-01 07:35:22 +00:00			`UniqueRepoCollab repo person`
Initial minimal limited per-repo RBAC system 2016-05-29 13:17:55 +00:00
Add project roles, basically a copy of the repo role code 2016-06-01 08:52:14 +00:00			`ProjectRole`
			`ident RlIdent`
			`person PersonId`
			`desc Text`

			`UniqueProjectRole person ident`

			`ProjectAccess`
			`role ProjectRoleId`
			`op ProjectOperation`

			`UniqueProjectAccess role op`

			`ProjectCollab`
			`project ProjectId`
			`person PersonId`
			`role ProjectRoleId`

			`UniqueProjectCollab project person`

Rename PersonInGroup model to GroupMember 2016-05-24 08:28:57 +00:00			`-------------------------------------------------------------------------------`
			`-- Projects`
			`-------------------------------------------------------------------------------`
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00
			`Project`
Finish route change, it builds now I used this chance to make some name changes, add some utils, tweak some imports, remove more `setTitle`s and so on. I also made person, repo, key and project creation forms verify CI-uniqueness. 2016-05-23 20:46:54 +00:00			`ident PrjIdent`
Add Ticket to persistent model 2016-04-30 20:40:33 +00:00			`sharer SharerId`
			`name Text Maybe`
			`desc Text Maybe`
Define column default like PostgreSQL to prevent repeated migration 2016-05-24 08:37:41 +00:00			`nextTicket Int default=1`
Initial minimal optional per-project wiki 2016-06-04 06:57:54 +00:00			`wiki RepoId Maybe`
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00
			`UniqueProject ident sharer`

			`Repo`
Finish route change, it builds now I used this chance to make some name changes, add some utils, tweak some imports, remove more `setTitle`s and so on. I also made person, repo, key and project creation forms verify CI-uniqueness. 2016-05-23 20:46:54 +00:00			`ident RpIdent`
Repos right under users, not under projects 2016-04-12 17:37:31 +00:00			`sharer SharerId`
Repos specify their VCS (i.e. Git or Darcs) in the DB 2016-05-02 23:51:53 +00:00			`vcs VersionControlSystem default='VCSGit'`
			`project ProjectId Maybe`
			`desc Text Maybe`
			`mainBranch Text default='master'`
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00
Repos right under users, not under projects 2016-04-12 17:37:31 +00:00			`UniqueRepo ident sharer`
Make initial homepage with table and simple login 2016-02-16 11:41:13 +00:00
Add Ticket to persistent model 2016-04-30 20:40:33 +00:00			`Ticket`
Ticket assignee field 2016-06-01 16:20:19 +00:00			`project ProjectId`
			`number Int`
			`created UTCTime`
			`creator PersonId`
			`title Text`
			`desc Text -- Assume this is Pandoc Markdown`
			`assignee PersonId Maybe`
			`done Bool`
			`closed UTCTime`
			`closer PersonId`
			`discuss DiscussionId`
Add Ticket to persistent model 2016-04-30 20:40:33 +00:00
			`UniqueTicket project number`
Compressed inventory parser and DarcsRev TH utils 2016-05-17 20:34:22 +00:00
			`Discussion`
Ticket discussion and message routes 2016-05-19 16:58:23 +00:00			`nextMessage Int`
Compressed inventory parser and DarcsRev TH utils 2016-05-17 20:34:22 +00:00
			`Message`
			`author PersonId`
			`created UTCTime`
			`content Text -- Assume this is Pandoc Markdown`
			`parent MessageId Maybe`
			`root DiscussionId`
Ticket discussion and message routes 2016-05-19 16:58:23 +00:00			`number Int`

			`UniqueMessage root number`