TemplateLookupRow.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from mapped structural TemplateLookupRow; do not edit.
module Generated.StructuralNominalLeaves.Structural.Shape.TemplateLookupRow (TemplateLookupRowShape (..)) where

import GHC.Generics (Generic)
import Conformance.StructuralNominals.Domain (ClaimId)
import Generated.StructuralNominalLeaves.Nominals qualified as Nominals

data TemplateLookupRowShape = TemplateLookupRow
  { templateId :: !Nominals.TemplateId
  , claimId :: !ClaimId
  }
  deriving stock (Eq, Generic, Show)