ReadModel.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit.
module Generated.CheckedMappingReplay.ReplayLookup.ReadModel
  ( replayLookupReadModel
  , replayLookupQualifiedTable
  ) where

import Generated.CheckedMappingReplay.ReplayLookup.ReadModelTable (replayLookupQualifiedTable)
import Generated.CheckedMappingReplay.ReplayLookup.QueryContract (ReplayLookupQueryInput, ReplayLookupQueryResult)
import CheckedMappingReplay.ReplayLookup.ReadModelHoles (replayLookupQuery)
import Keiro.ReadModel (QueryCursorAuthority (..), ReadModel, ReadModelBlueprint (..), HeadScope (..), headWaitingReadModel)

replayLookupReadModel :: ReadModel ReplayLookupQueryInput ReplayLookupQueryResult
replayLookupReadModel =
  case headWaitingReadModel EntireVisibleLog replayLookupReadModelBlueprint of
    Left definitionError -> error ("keiro-dsl generated an invalid waiting read model: " <> show definitionError)
    Right model -> model

replayLookupReadModelBlueprint :: ReadModelBlueprint ReplayLookupQueryInput ReplayLookupQueryResult
replayLookupReadModelBlueprint =
  ReadModelBlueprint
    { name = "checked-mapping-replay-replay-lookup"
    , tableName = "checked_mapping_replay"
    , schema = "public"
    , version = 1
    , shapeHash = "fnv1a:3c07a19c552c3547"
    , cursorAuthority = DurableQueryCursor "checked-mapping-replay-writer"
    , query = replayLookupQuery
    }