Codec.hs

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

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.Billing.Subscription.Codec (
    subscriptionCodec,
    parseSubscriptionEvent,
    encodeSubscriptionEvent,
) 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.Billing.Subscription.Domain
import Keiro.Codec (Codec (..), EventType (..))

parsePlan :: Text -> Parser Plan
parsePlan = \case
    "paid" -> pure Paid
    "free" -> pure Free
    _ -> fail "unknown Plan"

subscriptionCodec :: Codec SubscriptionEvent
subscriptionCodec =
    Codec
        { eventTypes = EventType "SubscriptionActivated" :| [EventType "SubscriptionCancelled"]
        , eventType = \case
            SubscriptionActivated{} -> EventType "SubscriptionActivated"
            SubscriptionCancelled{} -> EventType "SubscriptionCancelled"
        , schemaVersion = 1
        , encode = encodeSubscriptionEvent
        , decode = parseSubscriptionEvent
        , upcasters = []
        }

encodeSubscriptionEvent :: SubscriptionEvent -> Value
encodeSubscriptionEvent = \case
    SubscriptionActivated payload ->
        object
            [ "kind" .= ("SubscriptionActivated" :: Text)
            , "subscriptionId" .= subscriptionIdText payload.subscriptionId
            , "customerId" .= customerIdText payload.customerId
            , "plan" .= planText payload.plan
            ]
    SubscriptionCancelled payload ->
        object
            [ "kind" .= ("SubscriptionCancelled" :: Text)
            , "subscriptionId" .= subscriptionIdText payload.subscriptionId
            , "customerId" .= customerIdText payload.customerId
            ]

parseSubscriptionEvent :: EventType -> Value -> Either Text SubscriptionEvent
parseSubscriptionEvent (EventType tag) = mapLeftText . parseEither (withObject "SubscriptionEvent" go)
  where
    go o = do
        case tag of
            "SubscriptionActivated" ->
                SubscriptionActivated <$> (SubscriptionActivatedData <$> (SubscriptionId <$> o .: "subscriptionId") <*> (CustomerId <$> o .: "customerId") <*> (o .: "plan" >>= parsePlan))
            "SubscriptionCancelled" ->
                SubscriptionCancelled <$> (SubscriptionCancelledData <$> (SubscriptionId <$> o .: "subscriptionId") <*> (CustomerId <$> o .: "customerId"))
            _ -> fail "unknown event type"

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