Projection.hs

{-# LANGUAGE OverloadedRecordDot #-}
{-# LANGUAGE OverloadedStrings #-}
-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.HospitalCapacity.Reservation.Projection
  ( transfer_decisionsProjection
  , transfer_decisionsStatusFor
  ) where

import Generated.HospitalCapacity.Reservation.Domain
import HospitalCapacity.Reservation.Holes (applyTransfer_decisions)
import Data.Text (Text)
import Keiro.Projection (InlineProjection (..))

-- The deterministic event->status mapping (hole-kind 3, /mapping/), derived
-- from the spec's status-map. The read-model SQL that consumes it lives in
-- the hand-owned Holes module (a DB-coupled hole, delegated to codd).
transfer_decisionsStatusFor :: ReservationEvent -> Maybe Text
transfer_decisionsStatusFor = \case
  TransferReservationCreated {} -> Just "held"
  TransferReservationConfirmed {} -> Just "confirmed"

transfer_decisionsProjection :: InlineProjection ReservationEvent
transfer_decisionsProjection =
  InlineProjection
    { name = "hospital-capacity-transfer_decisions-inline"
    , apply = applyTransfer_decisions
    }