This page is part of the Da Vinci Health Record Exchange (v0.2.0: STU1 Ballot 1) based on FHIR R4. The current version which supercedes this version is 1.0.0. For a full list of available versions, see the Directory of published versions

• Content
• Detailed Descriptions
• Mappings
• Examples
• XML
• JSON
• TTL

Resource Profile: HRexMemberMatchResponseParameters

The Parameters profile for Da Vinci Find Member using Patient and Coverage Resources Response. The old health plan SHALL return the following data if records for member are found:

• The unique member identifier added to the Patient.identifier in the Patient resource submitted by the new health plan.
• The new health plan coverage resource.

(Only one Patient and one Coverage record are to be returned.)

The official URL for this profile is:

http://hl7.org/fhir/us/davinci-hrex/StructureDefinition/hrex-parameters-member-match-out

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

 

Other representations of profile: Schematron

Terminology Bindings

Path	Conformance	ValueSet
Parameters.language	preferred	CommonLanguages Max Binding: AllLanguages

Constraints

Id	Path	Details	Requirements
ele-1	Parameters.meta	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.implicitRules	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.language	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:memberPatient	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter:memberPatient	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter:memberPatient.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:memberPatient.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:memberPatient.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:memberPatient.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:memberPatient.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:memberPatient.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
dom-2	Parameters.parameter:memberPatient.resource	If the resource is contained in another resource, it SHALL NOT contain nested Resources : contained.contained.empty()
dom-3	Parameters.parameter:memberPatient.resource	If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource : contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4	Parameters.parameter:memberPatient.resource	If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated : contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5	Parameters.parameter:memberPatient.resource	If a resource is contained in another resource, it SHALL NOT have a security label : contained.meta.security.empty()
dom-6	Parameters.parameter:memberPatient.resource	A resource should have narrative for robust management : text.`div`.exists()
ele-1	Parameters.parameter:memberPatient.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:newCoverage	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
inv-1	Parameters.parameter:newCoverage	A parameter must have one and only one of (value, resource, part) : (part.exists() and value.empty() and resource.empty()) or (part.empty() and (value.exists() xor resource.exists()))
ele-1	Parameters.parameter:newCoverage.extension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:newCoverage.extension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:newCoverage.modifierExtension	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ext-1	Parameters.parameter:newCoverage.modifierExtension	Must have either extensions or value[x], not both : extension.exists() != value.exists()
ele-1	Parameters.parameter:newCoverage.name	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
ele-1	Parameters.parameter:newCoverage.value[x]	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())
dom-2	Parameters.parameter:newCoverage.resource	If the resource is contained in another resource, it SHALL NOT contain nested Resources : contained.contained.empty()
dom-3	Parameters.parameter:newCoverage.resource	If the resource is contained in another resource, it SHALL be referred to from elsewhere in the resource or SHALL refer to the containing resource : contained.where((('#'+id in (%resource.descendants().reference | %resource.descendants().as(canonical) | %resource.descendants().as(uri) | %resource.descendants().as(url))) or descendants().where(reference = '#').exists() or descendants().where(as(canonical) = '#').exists() or descendants().where(as(canonical) = '#').exists()).not()).trace('unmatched', id).empty()
dom-4	Parameters.parameter:newCoverage.resource	If a resource is contained in another resource, it SHALL NOT have a meta.versionId or a meta.lastUpdated : contained.meta.versionId.empty() and contained.meta.lastUpdated.empty()
dom-5	Parameters.parameter:newCoverage.resource	If a resource is contained in another resource, it SHALL NOT have a security label : contained.meta.security.empty()
dom-6	Parameters.parameter:newCoverage.resource	A resource should have narrative for robust management : text.`div`.exists()
ele-1	Parameters.parameter:newCoverage.part	All FHIR elements must have a @value or children : hasValue() or (children().count() > id.count())