Codec.hs

{-# LANGUAGE OverloadedRecordDot #-}
{-# LANGUAGE OverloadedStrings #-}

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module SkelProcess.Generated.MyService.Surge.Codec (
    surgeCodec,
    parseSurgeEvent,
    encodeSurgeEvent,
) where

import Data.Aeson (Value, object, withObject, (.:), (.=))
import Data.Aeson.Types (Parser, parseEither)
import Data.List.NonEmpty (NonEmpty (..))
import Data.Text (Text)
import Data.Text qualified as T
import Keiro.Codec (Codec (..), EventType (..))
import SkelProcess.Generated.MyService.Surge.Domain

surgeCodec :: Codec SurgeEvent
surgeCodec =
    Codec
        { eventTypes = EventType "SurgeThresholdNoted" :| [EventType "SurgeTimerMarked"]
        , eventType = \case
            SurgeThresholdNoted{} -> EventType "SurgeThresholdNoted"
            SurgeTimerMarked{} -> EventType "SurgeTimerMarked"
        , schemaVersion = 1
        , encode = encodeSurgeEvent
        , decode = parseSurgeEvent
        , upcasters = []
        }

encodeSurgeEvent :: SurgeEvent -> Value
encodeSurgeEvent = \case
    SurgeThresholdNoted payload ->
        object
            [ "kind" .= ("SurgeThresholdNoted" :: Text)
            , "hospitalId" .= hospitalIdText payload.hospitalId
            , "availableIcuBeds" .= payload.availableIcuBeds
            , "redDemand" .= payload.redDemand
            , "timerId" .= payload.timerId
            ]
    SurgeTimerMarked payload ->
        object
            [ "kind" .= ("SurgeTimerMarked" :: Text)
            , "hospitalId" .= hospitalIdText payload.hospitalId
            , "timerId" .= payload.timerId
            ]

parseSurgeEvent :: EventType -> Value -> Either Text SurgeEvent
parseSurgeEvent (EventType tag) = mapLeftText . parseEither (withObject "SurgeEvent" go)
  where
    go o = do
        case tag of
            "SurgeThresholdNoted" ->
                SurgeThresholdNoted <$> (SurgeThresholdNotedData <$> (HospitalId <$> o .: "hospitalId") <*> o .: "availableIcuBeds" <*> o .: "redDemand" <*> o .: "timerId")
            "SurgeTimerMarked" ->
                SurgeTimerMarked <$> (SurgeTimerMarkedData <$> (HospitalId <$> o .: "hospitalId") <*> o .: "timerId")
            _ -> fail "unknown event type"

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