Codec.hs

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

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.TransferRouting.Hospital.Codec (
    hospitalCodec,
    parseHospitalEvent,
    encodeHospitalEvent,
) 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 Generated.TransferRouting.Hospital.Domain
import Keiro.Codec (Codec (..), EventType (..))

hospitalCodec :: Codec HospitalEvent
hospitalCodec =
    Codec
        { eventTypes = EventType "AcceptedTransferNeedRouted" :| []
        , eventType = \case
            AcceptedTransferNeedRouted{} -> EventType "AcceptedTransferNeedRouted"
        , schemaVersion = 1
        , encode = encodeHospitalEvent
        , decode = parseHospitalEvent
        , upcasters = []
        }

encodeHospitalEvent :: HospitalEvent -> Value
encodeHospitalEvent = \case
    AcceptedTransferNeedRouted payload ->
        object
            [ "kind" .= ("AcceptedTransferNeedRouted" :: Text)
            , "transferNeedId" .= payload.transferNeedId
            , "hospitalId" .= payload.hospitalId
            ]

parseHospitalEvent :: EventType -> Value -> Either Text HospitalEvent
parseHospitalEvent (EventType tag) = mapLeftText . parseEither (withObject "HospitalEvent" go)
  where
    go o = do
        case tag of
            "AcceptedTransferNeedRouted" ->
                AcceptedTransferNeedRouted <$> (AcceptedTransferNeedRoutedData <$> o .: "transferNeedId" <*> o .: "hospitalId")
            _ -> fail "unknown event type"

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