{-# LANGUAGE OverloadedStrings, RecordWildCards, TemplateHaskell, QuasiQuotes, DataKinds #-}
module Model.Asset
  ( module Model.Asset.Types
  -- , blankAsset
  , assetBacked
  , lookupAsset
  , lookupOrigAsset
  , lookupVolumeAsset
  , addAsset
  , changeAsset
  , assetCreation
  , assetRowJSON
  , assetJSON
  -- , assetJSONRestricted
  ) where

import Control.Arrow (first)
import Data.Maybe (isNothing, isJust)
import Data.Monoid ((<>))
import qualified Data.Text as T
import Database.PostgreSQL.Typed (pgSQL)
import Database.PostgreSQL.Typed.Query
import Database.PostgreSQL.Typed.Types
import qualified Data.ByteString
import Data.ByteString (ByteString)
import qualified Data.String

import Ops
import Has (view, peek)
import qualified JSON
import Service.DB
import Files
import Store.Types
import Store.Asset
import Model.SQL
import Model.Time
import Model.Audit
import Model.Id
import Model.Identity
import Model.Party
import Model.Volume
import Model.Format
import Model.Asset.Types
import Model.Asset.SQL

mapQuery :: ByteString -> ([PGValue] -> a) -> PGSimpleQuery a
mapQuery qry mkResult =
  fmap mkResult (rawPGSimpleQuery qry)

assetBacked :: Asset -> Bool
assetBacked = isJust . assetSHA1 . assetRow

lookupAsset :: (MonadHasIdentity c m, MonadDB c m) => Id Asset -> m (Maybe Asset)
lookupAsset ai = do
  ident <- peek
  dbQuery1 $(selectQuery (selectAsset 'ident) "$WHERE asset.id = ${ai}")

lookupOrigAsset :: (MonadHasIdentity c m, MonadDB c m) => Id Asset -> m (Maybe Asset)
lookupOrigAsset ai = do
  ident <- peek
  dbQuery1 $(selectQuery (selectAsset 'ident) "$left join transcode tc on tc.orig = asset.id WHERE asset.id = ${ai}")

lookupVolumeAsset :: (MonadDB c m) => Volume -> Id Asset -> m (Maybe Asset)
lookupVolumeAsset vol ai = do
  let _tenv_a87rh = unknownPGTypeEnv
  dbQuery1 $ (`Asset` vol) <$> -- .(selectQuery selectAssetRow "WHERE asset.id = ${ai} AND asset.volume = ${volumeId $ volumeRow vol}")
    fmap
      (\ (vid_a87qZ, vformat_a87r0, vrelease_a87r1, vduration_a87r2,
          vname_a87r3, vc_a87r4, vsize_a87r5)
         -> makeAssetRow
              vid_a87qZ
              vformat_a87r0
              vrelease_a87r1
              vduration_a87r2
              vname_a87r3
              vc_a87r4
              vsize_a87r5)
      (mapQuery
        ((\ _p_a87ri _p_a87rj ->
                       (Data.ByteString.concat
                          [Data.String.fromString
                             "SELECT asset.id,asset.format,asset.release,asset.duration,asset.name,asset.sha1,asset.size FROM asset WHERE asset.id = ",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87rh
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                             _p_a87ri,
                           Data.String.fromString " AND asset.volume = ",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87rh
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                             _p_a87rj]))
         ai (volumeId $ volumeRow vol))
                (\
                  [_cid_a87rk,
                   _cformat_a87rl,
                   _crelease_a87rm,
                   _cduration_a87rn,
                   _cname_a87ro,
                   _csha1_a87rp,
                   _csize_a87rq]
                  -> (Database.PostgreSQL.Typed.Types.pgDecodeColumnNotNull
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                        _cid_a87rk,
                      Database.PostgreSQL.Typed.Types.pgDecodeColumnNotNull
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "smallint")
                        _cformat_a87rl,
                      Database.PostgreSQL.Typed.Types.pgDecodeColumn
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "release")
                        _crelease_a87rm,
                      Database.PostgreSQL.Typed.Types.pgDecodeColumn
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "interval")
                        _cduration_a87rn,
                      Database.PostgreSQL.Typed.Types.pgDecodeColumn
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "text")
                        _cname_a87ro,
                      Database.PostgreSQL.Typed.Types.pgDecodeColumn
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "bytea")
                        _csha1_a87rp,
                      Database.PostgreSQL.Typed.Types.pgDecodeColumn
                        _tenv_a87rh
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "bigint")
                        _csize_a87rq)))

addAsset :: (MonadAudit c m, MonadStorage c m) => Asset -> Maybe RawFilePath -> m Asset
addAsset ba fp = do
  ident <- getAuditIdentity
  ba' <- maybe (return ba) (storeAssetFile ba) fp
  let _tenv_a87Hi = unknownPGTypeEnv
  dbQuery1' -- .(insertAsset 'ident 'ba')
    (fmap
      (setAssetId ba')
      (mapQuery
        ((\ _p_a87Hj
          _p_a87Hk
          _p_a87Hr
          _p_a87Hv
          _p_a87Hw
          _p_a87Hx
          _p_a87Hy
          _p_a87Hz
          _p_a87HB ->
                       (Data.ByteString.concat
                          [Data.String.fromString
                             "WITH audit_row AS (INSERT INTO asset (volume,format,release,duration,name,sha1,size) VALUES (",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                             _p_a87Hj,
                           Data.String.fromString ",",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "smallint")
                             _p_a87Hk,
                           Data.String.fromString ",",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "release")
                             _p_a87Hr,
                           Data.String.fromString ",",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "interval")
                             _p_a87Hv,
                           Data.String.fromString ",",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "text")
                             _p_a87Hw,
                           Data.String.fromString ",",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "bytea")
                             _p_a87Hx,
                           Data.String.fromString ",",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "bigint")
                             _p_a87Hy,
                           Data.String.fromString
                             ") RETURNING *) INSERT INTO audit.asset SELECT CURRENT_TIMESTAMP, ",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                             _p_a87Hz,
                           Data.String.fromString ", ",
                           Database.PostgreSQL.Typed.Types.pgEscapeParameter
                             _tenv_a87Hi
                             (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                                Database.PostgreSQL.Typed.Types.PGTypeName "inet")
                             _p_a87HB,
                           Data.String.fromString
                             ", 'add'::audit.action, * FROM audit_row RETURNING asset.id"]))
         (volumeId $ volumeRow $ assetVolume ba')
         (formatId $ assetFormat $ assetRow ba')
         (assetRelease $ assetRow ba')
         (assetDuration $ assetRow ba')
         (assetName $ assetRow ba')
         (assetSHA1 $ assetRow ba')
         (assetSize $ assetRow ba')
         (auditWho ident)
         (auditIp ident))
               (\ [_cid_a87HC]
                  -> (Database.PostgreSQL.Typed.Types.pgDecodeColumnNotNull
                        _tenv_a87Hi
                        (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                           Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                        _cid_a87HC))))

changeAsset :: (MonadAudit c m, MonadStorage c m) => Asset -> Maybe RawFilePath -> m Asset
changeAsset a fp = do
  ident <- getAuditIdentity
  a2 <- maybe (return a) (storeAssetFile a) fp
  let _tenv_a87Mj = unknownPGTypeEnv
  dbExecute1' -- .(updateAsset 'ident 'a2)
    (mapQuery
      ((\ _p_a87Mk
       _p_a87Ml
       _p_a87Mm
       _p_a87Mn
       _p_a87Mo
       _p_a87Mp
       _p_a87Mq
       _p_a87Mr
       _p_a87Ms
       _p_a87Mt ->
                    (Data.ByteString.concat
                       [Data.String.fromString
                          "WITH audit_row AS (UPDATE asset SET volume=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                          _p_a87Mk,
                        Data.String.fromString ",format=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "smallint")
                          _p_a87Ml,
                        Data.String.fromString ",release=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "release")
                          _p_a87Mm,
                        Data.String.fromString ",duration=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "interval")
                          _p_a87Mn,
                        Data.String.fromString ",name=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "text")
                          _p_a87Mo,
                        Data.String.fromString ",sha1=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "bytea")
                          _p_a87Mp,
                        Data.String.fromString ",size=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "bigint")
                          _p_a87Mq,
                        Data.String.fromString " WHERE id=",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                          _p_a87Mr,
                        Data.String.fromString
                          " RETURNING *) INSERT INTO audit.asset SELECT CURRENT_TIMESTAMP, ",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "integer")
                          _p_a87Ms,
                        Data.String.fromString ", ",
                        Database.PostgreSQL.Typed.Types.pgEscapeParameter
                          _tenv_a87Mj
                          (Database.PostgreSQL.Typed.Types.PGTypeProxy ::
                             Database.PostgreSQL.Typed.Types.PGTypeName "inet")
                          _p_a87Mt,
                        Data.String.fromString
                          ", 'change'::audit.action, * FROM audit_row"]))
      (volumeId $ volumeRow $ assetVolume a2)
      (formatId $ assetFormat $ assetRow a2)
      (assetRelease $ assetRow a2)
      (assetDuration $ assetRow a2)
      (assetName $ assetRow a2)
      (assetSHA1 $ assetRow a2)
      (assetSize $ assetRow a2)
      (assetId $ assetRow a2)
      (auditWho ident)
      (auditIp ident))
            (\[] -> ()))
  return a2

assetCreation :: MonadDB c m => Asset -> m (Maybe Timestamp, Maybe T.Text)
assetCreation a = maybe (Nothing, Nothing) (first Just) <$>
  dbQuery1 [pgSQL|$SELECT audit_time, name FROM audit.asset WHERE id = ${assetId $ assetRow a} AND audit_action = 'add' ORDER BY audit_time DESC LIMIT 1|]

assetRowJSON :: JSON.ToObject o => AssetRow -> JSON.Record (Id Asset) o
assetRowJSON AssetRow{..} = JSON.Record assetId $
     "format" JSON..= formatId assetFormat
  <> "classification" `JSON.kvObjectOrEmpty` assetRelease
  <> "duration" `JSON.kvObjectOrEmpty` assetDuration
  <> "pending" `JSON.kvObjectOrEmpty` (isNothing assetSize `useWhen` isNothing assetSHA1)

assetJSON :: JSON.ToObject o => Bool -> Asset -> JSON.Record (Id Asset) o
assetJSON _ Asset{..} = assetRowJSON assetRow -- first parameter is publicRestricted

-- assetJSONRestricted :: JSON.ToObject o => Asset -> JSON.Record (Id Asset) o
-- assetJSONRestricted Asset{..} = assetRowJSON assetRow