{-# 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