Codec.hs

{-# LANGUAGE OverloadedRecordDot #-}
-- @generated by keiro-dsl 0.8.0.0 (language keiro-dsl 4) from aggregate Hospital; do not edit.
module Generated.SurgeDemo.Hospital.Codec (
    hospitalCodec,
    parseHospitalEvent,
    encodeHospitalEvent,
) where

import Generated.SurgeDemo.Hospital.Domain
import Generated.SurgeDemo.Nominals (HospitalId, hospitalIdText)
import Generated.SurgeDemo.Nominals.Internal (unsafeHospitalIdFromLegacyText)
import Data.Aeson (Value, object, withObject, withText, (.:), (.=))
import Data.Aeson.Types (Parser, explicitParseField, parseEither)
import Data.List.NonEmpty (NonEmpty (..))
import Data.Text (Text)
import qualified Data.Text as T
import Keiro.Codec (Codec (..), EventType (..))





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

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

parseHospitalEvent :: EventType -> Value -> Either Text HospitalEvent
parseHospitalEvent (EventType tag) = mapLeftText . parseEither (withObject "HospitalEvent" go)
  where
    go o = do
      case tag of
        "SurgeActivated" ->
          SurgeActivated
            <$> ( SurgeActivatedData
                    <$> (unsafeHospitalIdFromLegacyText <$> o .: "hospitalId")
                )
        _ -> fail ("unknown event type " <> show tag <> "; expected one of: SurgeActivated")

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