ReadModel.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel calendar_lookup; do not edit.
module Generated.CalendarDays.CalendarLookup.ReadModel
  ( calendarLookupReadModel
  , calendarLookupQualifiedTable
  ) where

import Generated.CalendarDays.CalendarLookup.ReadModelTable (calendarLookupQualifiedTable)
import Generated.CalendarDays.CalendarLookup.QueryContract (CalendarLookupQueryInput, CalendarLookupQueryResult)
import CalendarDays.CalendarLookup.ReadModelHoles (calendarLookupQuery)
import Keiro.ReadModel (QueryCursorAuthority (..), ReadModel, ReadModelBlueprint (..), HeadScope (..), headWaitingReadModel)

calendarLookupReadModel :: ReadModel CalendarLookupQueryInput CalendarLookupQueryResult
calendarLookupReadModel =
  case headWaitingReadModel EntireVisibleLog calendarLookupReadModelBlueprint of
    Left definitionError -> error ("keiro-dsl generated an invalid waiting read model: " <> show definitionError)
    Right model -> model

calendarLookupReadModelBlueprint :: ReadModelBlueprint CalendarLookupQueryInput CalendarLookupQueryResult
calendarLookupReadModelBlueprint =
  ReadModelBlueprint
    { name = "calendar-days-calendar-lookup"
    , tableName = "calendar_values"
    , schema = "public"
    , version = 1
    , shapeHash = "fnv1a:3c07a19c552c3547"
    , cursorAuthority = DurableQueryCursor "calendar-writer"
    , query = calendarLookupQuery
    }