Codec.hs

{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE OverloadedRecordDot #-}
-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.WorkspaceNominalProof.Project.Codec (
    projectCodec,
    parseProjectEvent,
    encodeProjectEvent,
) where

import Generated.WorkspaceNominalProof.Project.Domain
import Generated.WorkspaceNominalProof.Nominals (ProjectId (..), projectIdText, ProjectPhase (..), projectPhaseText)
import Data.Aeson (Value, object, withObject, (.:), (.=))
import Data.Aeson.Types (Parser, parseEither)
import Data.List.NonEmpty (NonEmpty (..))
import Data.Text (Text)
import qualified Data.Text as T
import Keiro.Codec (Codec (..), EventType (..))


parseProjectPhase :: Text -> Parser ProjectPhase
parseProjectPhase = \case
  "draft" -> pure Draft
  "active" -> pure Active
  _ -> fail "unknown ProjectPhase"


projectCodec :: Codec ProjectEvent
projectCodec =
  Codec
    { eventTypes = EventType "ProjectRegistered" :| [EventType "ArchivalRecorded"]
    , eventType = \case
        ProjectRegistered{} -> EventType "ProjectRegistered"
        ArchivalRecorded{} -> EventType "ArchivalRecorded"
    , schemaVersion = 1
    , encode = encodeProjectEvent
    , decode = parseProjectEvent
    , upcasters = []
    }

encodeProjectEvent :: ProjectEvent -> Value
encodeProjectEvent = \case
  ProjectRegistered payload ->
    object
      [ "kind" .= ("ProjectRegistered" :: Text)
      , "projectId" .= projectIdText payload.projectId
      , "phase" .= projectPhaseText payload.phase
      ]
  ArchivalRecorded payload ->
    object
      [ "kind" .= ("ArchivalRecorded" :: Text)
      , "projectId" .= projectIdText payload.projectId
      , "phase" .= projectPhaseText payload.phase
      ]

parseProjectEvent :: EventType -> Value -> Either Text ProjectEvent
parseProjectEvent (EventType tag) = mapLeftText . parseEither (withObject "ProjectEvent" go)
  where
    go o = do
      case tag of
        "ProjectRegistered" ->
          ProjectRegistered <$> (ProjectRegisteredData <$> (ProjectId <$> o .: "projectId") <*> (o .: "phase" >>= parseProjectPhase))
        "ArchivalRecorded" ->
          ArchivalRecorded <$> (ArchivalRecordedData <$> (ProjectId <$> o .: "projectId") <*> (o .: "phase" >>= parseProjectPhase))
        _ -> fail "unknown event type"

mapLeftText :: Either String b -> Either Text b
mapLeftText = either (Left . T.pack) Right