ReadModel.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel hash_lookup; do not edit.
module Generated.RefinedBase16.HashLookup.ReadModel
  ( hashLookupReadModel
  , hashLookupQualifiedTable
  ) where

import Generated.RefinedBase16.HashLookup.ReadModelTable (hashLookupQualifiedTable)
import Generated.RefinedBase16.HashLookup.QueryContract (HashLookupQueryInput, HashLookupQueryResult)
import RefinedBase16.HashLookup.ReadModelHoles (hashLookupQuery)
import Keiro.ReadModel (QueryCursorAuthority (..), ReadModel, ReadModelBlueprint (..), HeadScope (..), headWaitingReadModel)

hashLookupReadModel :: ReadModel HashLookupQueryInput HashLookupQueryResult
hashLookupReadModel =
  case headWaitingReadModel EntireVisibleLog hashLookupReadModelBlueprint of
    Left definitionError -> error ("keiro-dsl generated an invalid waiting read model: " <> show definitionError)
    Right model -> model

hashLookupReadModelBlueprint :: ReadModelBlueprint HashLookupQueryInput HashLookupQueryResult
hashLookupReadModelBlueprint =
  ReadModelBlueprint
    { name = "refined-base16-hash-lookup"
    , tableName = "hash_values"
    , schema = "public"
    , version = 1
    , shapeHash = "fnv1a:3c07a19c552c3547"
    , cursorAuthority = DurableQueryCursor "hash-writer"
    , query = hashLookupQuery
    }