QueryContract.hs

-- @generated by keiro-dsl 0.12.0.0 (language keiro-dsl 5) from readmodel order_inline; do not edit.
module Generated.CatalogDemo.OrderInline.QueryContract
  ( OrderInlineQueryInput
  , OrderInlineQueryResult
  ) where

import CatalogDemo.MappedDomain (QualificationResult, QueryCriteria)

type OrderInlineQueryInput = QueryCriteria
type OrderInlineQueryResult = Maybe QualificationResult