{-# LANGUAGE DataKinds         #-}
{-# LANGUAGE GADTs             #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE Rank2Types        #-}
{-# LANGUAGE RecordWildCards   #-}
module Database.EventStore.Internal.Operation.StreamMetadata
    ( readMetaStream
    , setMetaStream
    ) where
import Data.Int
import Data.Aeson (decode)
import Database.EventStore.Internal.Operation
import Database.EventStore.Internal.Operation.Read.Common
import Database.EventStore.Internal.Operation.ReadEvent
import Database.EventStore.Internal.Operation.Write.Common
import Database.EventStore.Internal.Operation.WriteEvents
import Database.EventStore.Internal.Prelude
import Database.EventStore.Internal.Settings
import Database.EventStore.Internal.Types
metaStream :: Text -> Text
metaStream s = "$$" <> s
readMetaStream :: Settings
               -> Text
               -> Maybe Credentials
               -> Operation StreamMetadataResult
readMetaStream setts s cred = construct $ do
    traversing go <~ readEvent setts (metaStream s) (-1) False cred
  where
    go tmp =
        onReadResult tmp $ \n e_num evt -> do
            let bytes = recordedEventData $ resolvedEventOriginal evt
            case decode $ fromStrict bytes of
                Just pv -> pure $ StreamMetadataResult n e_num pv
                Nothing -> Failed invalidFormat
setMetaStream :: Settings
              -> Text
              -> ExpectedVersion
              -> Maybe Credentials
              -> StreamMetadata
              -> Operation WriteResult
setMetaStream setts s v cred meta =
    let stream = metaStream s
        json   = streamMetadataJSON meta
        evt    = createEvent StreamMetadataType Nothing (withJson json) in
     writeEvents setts stream v cred [evt]
invalidFormat :: OperationError
invalidFormat = InvalidOperation "Invalid metadata format"
streamNotFound :: OperationError
streamNotFound = InvalidOperation "Read metadata on an inexistant stream"
onReadResult :: ReadResult EventNumber ReadEvent
             -> (Text -> Int64 -> ResolvedEvent -> Execution a)
             -> Execution a
onReadResult (ReadSuccess r) k =
    case r of
      ReadEvent s n e -> k s n e
      _               -> Failed streamNotFound
onReadResult ReadNoStream _          = Failed streamNotFound
onReadResult (ReadStreamDeleted s) _ = Failed $ StreamDeleted s
onReadResult ReadNotModified _       = Failed $ ServerError Nothing
onReadResult (ReadError e) _         = Failed $ ServerError e
onReadResult (ReadAccessDenied s) _  = Failed $ AccessDenied s