StructuralProjections.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
-- @generated by keiro-dsl 0.8.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
import BehaviorComplete.Domain qualified
import Generated.BehaviorComplete.Structural.Shape.StartPayload qualified

data StartPayloadDisplayLabelProjection

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

startPayloadDisplayLabelWitness :: FieldWitness StartPayloadDisplayLabelProjection
startPayloadDisplayLabelWitness = fieldWitness @StartPayloadDisplayLabelProjection