hbs2/hbs2-git/hbs2-git-oracle/lib/HBS2/Git/Oracle/Facts.hs

{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# Language UndecidableInstances #-}
{-# Language AllowAmbiguousTypes #-}
module HBS2.Git.Oracle.Facts where

import HBS2.Git.Oracle.Prelude

import HBS2.Hash

import DBPipe.SQLite
import DBPipe.SQLite.Generic as G

import Data.HashSet (HashSet)
import Data.Aeson
import Data.Word

type PKS = PubKey 'Sign HBS2Basic

deriving instance Data (RefLogKey HBS2Basic)
deriving instance Data (LWWRefKey HBS2Basic)

data GitRepoExtended =
    GitRepoExtendedNone
  | GitRepoExtendedManifest GitManifest
  deriving stock (Generic,Data)

newtype GitLwwRef  = GitLwwRef (LWWRefKey HBS2Basic)
                     deriving stock (Generic,Data,Eq)
                     deriving newtype (ToField,FromField,Hashable)


newtype GitLwwRefRel = GitLwwRefRel (LWWRefKey HBS2Basic)
                       deriving stock (Generic,Data,Eq)
                       deriving newtype (ToField,FromField,Hashable)

newtype GitLwwSeq  = GitLwwSeq Word64
                     deriving stock (Generic,Data)
                     deriving newtype (ToField,FromField,ToJSON)


newtype GitRepoHeadSeq = GitRepoHeadSeq Word64
                         deriving stock (Generic,Data)
                         deriving newtype (ToField)

newtype GitRefLog  = GitRefLog (RefLogKey HBS2Basic)
                     deriving stock (Generic,Data)
                     deriving newtype (ToField)

newtype GitTx  = GitTx HashRef
                 deriving stock (Generic,Data)
                 deriving newtype (ToField)

newtype GitRepoHeadRef  = GitRepoHeadRef HashRef
                          deriving stock (Generic,Data)
                          deriving newtype (ToField,FromField)

newtype GitName  = GitName  (Maybe Text)
                   deriving stock (Generic,Data)
                   deriving newtype (ToField,FromField)

newtype GitBrief  = GitBrief (Maybe Text)
                    deriving stock (Generic,Data)
                    deriving newtype (ToField,FromField)

newtype GitManifest = GitManifest (Maybe Text)
                      deriving stock (Generic,Data)
                      deriving newtype (ToField,FromField)

newtype GitEncrypted = GitEncrypted (Maybe HashRef)
                       deriving stock (Generic,Data)
                       deriving newtype (ToField, FromField)

newtype GitBundle = GitBundle HashRef
                    deriving stock (Generic,Data)
                    deriving newtype (ToField,FromField)


instance ToJSON GitLwwRef where
  toJSON (GitLwwRef k) = toJSON $ show $ pretty k

instance ToJSON GitRepoHeadRef where
  toJSON (GitRepoHeadRef k) = toJSON $ show $ pretty k

instance ToJSON GitEncrypted where
  toJSON (GitEncrypted k) = toJSON $ show . pretty <$> k

instance ToJSON GitBrief where
  toJSON (GitBrief k) = toJSON $ show . pretty <$> k

instance ToJSON GitName where
  toJSON (GitName k) = toJSON $ show . pretty <$> k

data Facts

data GitRepoFacts =
    GitRepoFacts
    { gitLwwRef       :: GitLwwRef
    , gitLwwSeq       :: GitLwwSeq
    , gitRefLog       :: GitRefLog
    , gitTx           :: GitTx
    , gitRepoHead     :: GitRepoHeadRef
    , gitRepoHeadSeq  :: GitRepoHeadSeq
    , gitName         :: GitName
    , gitBrief        :: GitBrief
    , gitEncrypted    :: GitEncrypted
    , gitExtended     :: [GitRepoExtended]
    }
  | GitRepoRelatedFact
    { gitLwwRef       :: GitLwwRef
    , gitRelated      :: HashSet GitLwwRef
    }

  deriving stock (Generic,Data)

data GitRepoRelatedFactTable =
     GitRepoRelatedFactTable
     deriving stock (Data,Generic)

data GitRepoBundle =
  GitRepoBundle
  { gitRepo       :: GitLwwRef
  , gitRepoBundle :: GitBundle
  }
  deriving stock (Generic,Data)

instance Serialise GitRepoFacts
instance Serialise GitLwwRef
instance Serialise GitLwwSeq
instance Serialise GitRefLog
instance Serialise GitTx
instance Serialise GitRepoHeadRef
instance Serialise GitName
instance Serialise GitBrief
instance Serialise GitManifest
instance Serialise GitRepoExtended
instance Serialise GitEncrypted
instance Serialise GitRepoHeadSeq
instance Serialise GitBundle

instance ToField HashRef where
  toField = toField @String . show . pretty

instance FromField HashRef where
  fromField x = fromField @String x <&> fromString

instance (ToField (LWWRefKey HBS2Basic))  where
  toField = toField @String . show . pretty

instance (FromField (LWWRefKey HBS2Basic))  where
  fromField x = fromField @String x <&> fromString

instance ToField (RefLogKey HBS2Basic) where
  toField = toField @String . show . pretty

instance (FromField (RefLogKey HBS2Basic))  where
  fromField x = fromField @String x <&> fromString

instance HasTableName GitRepoFacts where
  tableName = "gitrepofact"

instance HasTableName GitRepoRelatedFactTable where
  tableName = "gitreporelatedfact"

instance HasPrimaryKey GitRepoRelatedFactTable where
  primaryKey = [G.columnName @GitLwwRef, G.columnName @GitLwwRefRel]

instance HasTableName GitManifest where
  tableName = "gitrepomanifest"

instance HasTableName GitRepoBundle where
  tableName = "gitrepobundle"

instance HasPrimaryKey GitRepoBundle where
  primaryKey = [G.columnName @GitLwwRef, G.columnName @GitBundle]


instance HasColumnName GitManifest where
  columnName = "manifest"

instance HasPrimaryKey GitManifest where
  primaryKey = ["repohead"]

instance HasPrimaryKey GitRepoFacts where
  primaryKey = ["lwwref","lwwseq","reflog","tx","repohead"]

instance HasColumnName GitLwwRef where
  columnName = "lwwref"

instance HasColumnName GitLwwRefRel where
  columnName = "lwwrefrel"

instance HasColumnName GitLwwSeq where
  columnName = "lwwseq"

instance HasColumnName GitRefLog where
  columnName = "reflog"

instance HasColumnName GitTx where
  columnName = "tx"

instance HasColumnName GitRepoHeadRef where
  columnName = "repohead"

instance HasColumnName GitName where
  columnName = "name"

instance HasColumnName GitBrief where
  columnName = "brief"

instance HasColumnName GitEncrypted where
  columnName = "gk"

instance HasColumnName GitRepoHeadSeq where
  columnName = "repoheadseq"

instance HasColumnName GitBundle where
  columnName = "bundle"