ReadModel.hs

-- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel account_summary; do not edit.
module Generated.MappedReadmodel.AccountSummary.ReadModel
  ( accountSummaryReadModel
  , accountSummaryQualifiedTable
  ) where

import Generated.MappedReadmodel.AccountSummary.ReadModelTable (accountSummaryQualifiedTable)
import Generated.MappedReadmodel.AccountSummary.QueryContract (AccountSummaryQueryInput, AccountSummaryQueryResult)
import MappedReadmodel.AccountSummary.ReadModelHoles (accountSummaryQuery)
import Keiro.ReadModel (QueryCursorAuthority (..), ReadModel, ReadModelBlueprint (..), HeadScope (..), headWaitingReadModel)

accountSummaryReadModel :: ReadModel AccountSummaryQueryInput AccountSummaryQueryResult
accountSummaryReadModel =
  case headWaitingReadModel EntireVisibleLog accountSummaryReadModelBlueprint of
    Left definitionError -> error ("keiro-dsl generated an invalid waiting read model: " <> show definitionError)
    Right model -> model

accountSummaryReadModelBlueprint :: ReadModelBlueprint AccountSummaryQueryInput AccountSummaryQueryResult
accountSummaryReadModelBlueprint =
  ReadModelBlueprint
    { name = "mapped-readmodel-account-summary"
    , tableName = "account_summary"
    , schema = "public"
    , version = 1
    , shapeHash = "fnv1a:3c07a19c552c3547"
    , cursorAuthority = DurableQueryCursor "mapped-readmodel-account-summary"
    , query = accountSummaryQuery
    }