StructuralProjections.hs

{-# LANGUAGE TypeFamilies #-}
-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 5) from context mapped-readmodel mapped structural facade; do not edit.
-- Equality witnesses are emitted for Text, Int, Bool, Natural, and UTCTime.
-- Int, Natural, and UTCTime belong to Keiki's ordered subset.
module Generated.MappedReadmodel.StructuralProjections
  ( accountLookupAccountIdWitness
  , accountLookupTenantTenantIdWitness
  , accountProfileDisplayNameWitness
  , accountSummaryAccountIdWitness
  , accountSummaryTenantTenantIdWitness
  , tenantKeyTenantIdWitness
  , unusedFilterPrefixWitness
  ) where

import Data.Text (Text)
import Keiro.Codec.Structural (bindingToShape)
import Keiki.Core (FieldProjection (..), FieldWitness, fieldWitness)
import Generated.MappedReadmodel.Structural.Shape.AccountLookup (AccountLookupShape(accountId, tenant))
import Generated.MappedReadmodel.Structural.Shape.AccountProfile (AccountProfileShape(displayName))
import Generated.MappedReadmodel.Structural.Shape.AccountSummary (AccountSummaryShape(accountId, tenant))
import Generated.MappedReadmodel.Structural.Shape.TenantKey (TenantKeyShape(tenantId))
import Generated.MappedReadmodel.Structural.Shape.UnusedFilter (UnusedFilterShape(prefix))
import Conformance.MappedReadModel.Bindings qualified as Bindings
import Conformance.MappedReadModel.Domain (AccountLookup, AccountProfile, AccountSummary, TenantKey, UnusedFilter)

data AccountLookupAccountIdProjection

instance FieldProjection AccountLookupAccountIdProjection where
  type FieldName AccountLookupAccountIdProjection = "/account_id"
  type FieldOwner AccountLookupAccountIdProjection = AccountLookup
  type FieldResult AccountLookupAccountIdProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.AccountLookup.v1"
  projectFieldValue _ owner = (bindingToShape Bindings.accountLookupBinding owner).accountId

accountLookupAccountIdWitness :: FieldWitness AccountLookupAccountIdProjection
accountLookupAccountIdWitness = fieldWitness @AccountLookupAccountIdProjection

data AccountLookupTenantTenantIdProjection

instance FieldProjection AccountLookupTenantTenantIdProjection where
  type FieldName AccountLookupTenantTenantIdProjection = "/tenant/tenant_id"
  type FieldOwner AccountLookupTenantTenantIdProjection = AccountLookup
  type FieldResult AccountLookupTenantTenantIdProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.AccountLookup.v1"
  projectFieldValue _ owner = ((bindingToShape Bindings.accountLookupBinding owner).tenant).tenantId

accountLookupTenantTenantIdWitness :: FieldWitness AccountLookupTenantTenantIdProjection
accountLookupTenantTenantIdWitness = fieldWitness @AccountLookupTenantTenantIdProjection

data AccountProfileDisplayNameProjection

instance FieldProjection AccountProfileDisplayNameProjection where
  type FieldName AccountProfileDisplayNameProjection = "/display_name"
  type FieldOwner AccountProfileDisplayNameProjection = AccountProfile
  type FieldResult AccountProfileDisplayNameProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.AccountProfile.v1"
  projectFieldValue _ owner = (bindingToShape Bindings.accountProfileBinding owner).displayName

accountProfileDisplayNameWitness :: FieldWitness AccountProfileDisplayNameProjection
accountProfileDisplayNameWitness = fieldWitness @AccountProfileDisplayNameProjection

data AccountSummaryAccountIdProjection

instance FieldProjection AccountSummaryAccountIdProjection where
  type FieldName AccountSummaryAccountIdProjection = "/account_id"
  type FieldOwner AccountSummaryAccountIdProjection = AccountSummary
  type FieldResult AccountSummaryAccountIdProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.AccountSummary.v1"
  projectFieldValue _ owner = (bindingToShape Bindings.accountSummaryBinding owner).accountId

accountSummaryAccountIdWitness :: FieldWitness AccountSummaryAccountIdProjection
accountSummaryAccountIdWitness = fieldWitness @AccountSummaryAccountIdProjection

data AccountSummaryTenantTenantIdProjection

instance FieldProjection AccountSummaryTenantTenantIdProjection where
  type FieldName AccountSummaryTenantTenantIdProjection = "/tenant/tenant_id"
  type FieldOwner AccountSummaryTenantTenantIdProjection = AccountSummary
  type FieldResult AccountSummaryTenantTenantIdProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.AccountSummary.v1"
  projectFieldValue _ owner = ((bindingToShape Bindings.accountSummaryBinding owner).tenant).tenantId

accountSummaryTenantTenantIdWitness :: FieldWitness AccountSummaryTenantTenantIdProjection
accountSummaryTenantTenantIdWitness = fieldWitness @AccountSummaryTenantTenantIdProjection

data TenantKeyTenantIdProjection

instance FieldProjection TenantKeyTenantIdProjection where
  type FieldName TenantKeyTenantIdProjection = "/tenant_id"
  type FieldOwner TenantKeyTenantIdProjection = TenantKey
  type FieldResult TenantKeyTenantIdProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.TenantKey.v1"
  projectFieldValue _ owner = (bindingToShape Bindings.tenantKeyBinding owner).tenantId

tenantKeyTenantIdWitness :: FieldWitness TenantKeyTenantIdProjection
tenantKeyTenantIdWitness = fieldWitness @TenantKeyTenantIdProjection

data UnusedFilterPrefixProjection

instance FieldProjection UnusedFilterPrefixProjection where
  type FieldName UnusedFilterPrefixProjection = "/prefix"
  type FieldOwner UnusedFilterPrefixProjection = UnusedFilter
  type FieldResult UnusedFilterPrefixProjection = Text
  fieldShapeId _ = "conformance.mapped-readmodel.UnusedFilter.v1"
  projectFieldValue _ owner = (bindingToShape Bindings.unusedFilterBinding owner).prefix

unusedFilterPrefixWitness :: FieldWitness UnusedFilterPrefixProjection
unusedFilterPrefixWitness = fieldWitness @UnusedFilterPrefixProjection