StructuralProjections.hs

{-# LANGUAGE TypeFamilies #-}
-- @generated by keiro-dsl 0.9.0.0 (language keiro-dsl 4) from context behavior-complete 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.BehaviorComplete.StructuralProjections
  ( startPayloadDisplayLabelWitness
  ) where

import Data.Text (Text)
import Data.Time (UTCTime)
import Numeric.Natural (Natural)
import Keiro.Codec.Structural (bindingToShape)
import Keiki.Core (FieldProjection (..), FieldWitness, fieldWitness)
import BehaviorComplete.Bindings qualified as Bindings
import BehaviorComplete.Domain (StartPayload)
import Generated.BehaviorComplete.Structural.Shape.StartPayload qualified as ShapeStartPayload

data StartPayloadDisplayLabelProjection

instance FieldProjection StartPayloadDisplayLabelProjection where
  type FieldName StartPayloadDisplayLabelProjection = "/display_label"
  type FieldOwner StartPayloadDisplayLabelProjection = StartPayload
  type FieldResult StartPayloadDisplayLabelProjection = Text
  fieldShapeId _ = "behavior-complete.StartPayload.v1"
  projectFieldValue _ owner = ShapeStartPayload.label (bindingToShape Bindings.startPayloadBinding owner)

startPayloadDisplayLabelWitness :: FieldWitness StartPayloadDisplayLabelProjection
startPayloadDisplayLabelWitness = fieldWitness @StartPayloadDisplayLabelProjection