ReadModel.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel bare_lookup; do not edit.
module Generated.BareContainers.BareLookup.ReadModel
  ( bareLookupReadModel
  , bareLookupQualifiedTable
  ) where

import Generated.BareContainers.BareLookup.ReadModelTable (bareLookupQualifiedTable)
import Generated.BareContainers.BareLookup.QueryContract (BareLookupQueryInput, BareLookupQueryResult)
import BareContainers.BareLookup.ReadModelHoles (bareLookupQuery)
import Keiro.ReadModel (QueryCursorAuthority (..), ReadModel, ReadModelBlueprint (..), HeadScope (..), headWaitingReadModel)

bareLookupReadModel :: ReadModel BareLookupQueryInput BareLookupQueryResult
bareLookupReadModel =
  case headWaitingReadModel EntireVisibleLog bareLookupReadModelBlueprint of
    Left definitionError -> error ("keiro-dsl generated an invalid waiting read model: " <> show definitionError)
    Right model -> model

bareLookupReadModelBlueprint :: ReadModelBlueprint BareLookupQueryInput BareLookupQueryResult
bareLookupReadModelBlueprint =
  ReadModelBlueprint
    { name = "bare-containers-bare-lookup"
    , tableName = "bare_values"
    , schema = "public"
    , version = 1
    , shapeHash = "fnv1a:3c07a19c552c3547"
    , cursorAuthority = DurableQueryCursor "bare-writer"
    , query = bareLookupQuery
    }