ReadModel.hs

-- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel hospital_load; do not edit.
module Generated.TransferRouting.HospitalLoad.ReadModel
  ( hospitalLoadReadModel
  , hospitalLoadQualifiedTable
  ) where

import Generated.TransferRouting.HospitalLoad.ReadModelTable (hospitalLoadQualifiedTable)
import Generated.TransferRouting.HospitalLoad.QueryContract (HospitalLoadQueryInput, HospitalLoadQueryResult)
import TransferRouting.HospitalLoad.ReadModelHoles (hospitalLoadQuery)
import Keiro.ReadModel (QueryCursorAuthority (..), ReadModel, ReadModelBlueprint (..), HeadScope (..), headWaitingReadModel)

hospitalLoadReadModel :: ReadModel HospitalLoadQueryInput HospitalLoadQueryResult
hospitalLoadReadModel =
  case headWaitingReadModel (CategoryVisibleHead "hospitalLoad") hospitalLoadReadModelBlueprint of
    Left definitionError -> error ("keiro-dsl generated an invalid waiting read model: " <> show definitionError)
    Right model -> model

hospitalLoadReadModelBlueprint :: ReadModelBlueprint HospitalLoadQueryInput HospitalLoadQueryResult
hospitalLoadReadModelBlueprint =
  ReadModelBlueprint
    { name = "transfer-routing-hospital-load"
    , tableName = "hospital_load"
    , schema = "public"
    , version = 1
    , shapeHash = "fnv1a:3c07a19c552c3547"
    , cursorAuthority = DurableQueryCursor "declarative-router-hospital-load"
    , query = hospitalLoadQuery
    }