Docs Home
Formal v1.0.3 published on Monday, Aug 18, 2025 by Formal
formal.ResourceHealthCheck
Explore with Pulumi AI
Creating a Health Check in Formal.
Create ResourceHealthCheck Resource
Resources are created with functions called constructors. To learn more about declaring and configuring resources, see Resources.
Constructor syntax
new ResourceHealthCheck(name: string, args: ResourceHealthCheckArgs, opts?: CustomResourceOptions);@overload
def ResourceHealthCheck(resource_name: str,
args: ResourceHealthCheckArgs,
opts: Optional[ResourceOptions] = None)
@overload
def ResourceHealthCheck(resource_name: str,
opts: Optional[ResourceOptions] = None,
database_name: Optional[str] = None,
resource_id: Optional[str] = None,
termination_protection: Optional[bool] = None)func NewResourceHealthCheck(ctx *Context, name string, args ResourceHealthCheckArgs, opts ...ResourceOption) (*ResourceHealthCheck, error)public ResourceHealthCheck(string name, ResourceHealthCheckArgs args, CustomResourceOptions? opts = null)
public ResourceHealthCheck(String name, ResourceHealthCheckArgs args)
public ResourceHealthCheck(String name, ResourceHealthCheckArgs args, CustomResourceOptions options)
type: formal:ResourceHealthCheck
properties: # The arguments to resource properties.
options: # Bag of options to control resource's behavior.
Parameters
- name string
- The unique name of the resource.
- args ResourceHealthCheckArgs
- The arguments to resource properties.
- opts CustomResourceOptions
- Bag of options to control resource's behavior.
- resource_name str
- The unique name of the resource.
- args ResourceHealthCheckArgs
- The arguments to resource properties.
- opts ResourceOptions
- Bag of options to control resource's behavior.
- ctx Context
- Context object for the current deployment.
- name string
- The unique name of the resource.
- args ResourceHealthCheckArgs
- The arguments to resource properties.
- opts ResourceOption
- Bag of options to control resource's behavior.
- name string
- The unique name of the resource.
- args ResourceHealthCheckArgs
- The arguments to resource properties.
- opts CustomResourceOptions
- Bag of options to control resource's behavior.
- name String
- The unique name of the resource.
- args ResourceHealthCheckArgs
- The arguments to resource properties.
- options CustomResourceOptions
- Bag of options to control resource's behavior.
Constructor example
The following reference example uses placeholder values for all input properties.
var resourceHealthCheckResource = new Pulumi.ResourceHealthCheck("resourceHealthCheckResource", new()
{
DatabaseName = "string",
ResourceId = "string",
TerminationProtection = false,
});
example, err := formal.NewResourceHealthCheck(ctx, "resourceHealthCheckResource", &formal.ResourceHealthCheckArgs{
DatabaseName: pulumi.String("string"),
ResourceId: pulumi.String("string"),
TerminationProtection: pulumi.Bool(false),
})
var resourceHealthCheckResource = new ResourceHealthCheck("resourceHealthCheckResource", ResourceHealthCheckArgs.builder()
.databaseName("string")
.resourceId("string")
.terminationProtection(false)
.build());
resource_health_check_resource = formal.ResourceHealthCheck("resourceHealthCheckResource",
database_name="string",
resource_id="string",
termination_protection=False)
const resourceHealthCheckResource = new formal.ResourceHealthCheck("resourceHealthCheckResource", {
databaseName: "string",
resourceId: "string",
terminationProtection: false,
});
type: formal:ResourceHealthCheck
properties:
databaseName: string
resourceId: string
terminationProtection: false
ResourceHealthCheck Resource Properties
To learn more about resource properties and how to use them, see Inputs and Outputs in the Architecture and Concepts docs.
Inputs
In Python, inputs that are objects can be passed either as argument classes or as dictionary literals.
The ResourceHealthCheck resource accepts the following input properties:
- Database
Name string - Database associated with the health check.
- Resource
Id string - Resource ID linked to the following health check.
- Termination
Protection bool - If set to true, this Resource Health Check cannot be deleted.
- Database
Name string - Database associated with the health check.
- Resource
Id string - Resource ID linked to the following health check.
- Termination
Protection bool - If set to true, this Resource Health Check cannot be deleted.
- database
Name String - Database associated with the health check.
- resource
Id String - Resource ID linked to the following health check.
- termination
Protection Boolean - If set to true, this Resource Health Check cannot be deleted.
- database
Name string - Database associated with the health check.
- resource
Id string - Resource ID linked to the following health check.
- termination
Protection boolean - If set to true, this Resource Health Check cannot be deleted.
- database_
name str - Database associated with the health check.
- resource_
id str - Resource ID linked to the following health check.
- termination_
protection bool - If set to true, this Resource Health Check cannot be deleted.
- database
Name String - Database associated with the health check.
- resource
Id String - Resource ID linked to the following health check.
- termination
Protection Boolean - If set to true, this Resource Health Check cannot be deleted.
Outputs
All input properties are implicitly available as output properties. Additionally, the ResourceHealthCheck resource produces the following output properties:
- Id string
- The provider-assigned unique ID for this managed resource.
- Id string
- The provider-assigned unique ID for this managed resource.
- id String
- The provider-assigned unique ID for this managed resource.
- id string
- The provider-assigned unique ID for this managed resource.
- id str
- The provider-assigned unique ID for this managed resource.
- id String
- The provider-assigned unique ID for this managed resource.
Look up Existing ResourceHealthCheck Resource
Get an existing ResourceHealthCheck resource’s state with the given name, ID, and optional extra properties used to qualify the lookup.
public static get(name: string, id: Input<ID>, state?: ResourceHealthCheckState, opts?: CustomResourceOptions): ResourceHealthCheck@staticmethod
def get(resource_name: str,
id: str,
opts: Optional[ResourceOptions] = None,
database_name: Optional[str] = None,
resource_id: Optional[str] = None,
termination_protection: Optional[bool] = None) -> ResourceHealthCheckfunc GetResourceHealthCheck(ctx *Context, name string, id IDInput, state *ResourceHealthCheckState, opts ...ResourceOption) (*ResourceHealthCheck, error)public static ResourceHealthCheck Get(string name, Input<string> id, ResourceHealthCheckState? state, CustomResourceOptions? opts = null)public static ResourceHealthCheck get(String name, Output<String> id, ResourceHealthCheckState state, CustomResourceOptions options)resources: _: type: formal:ResourceHealthCheck get: id: ${id}- name
- The unique name of the resulting resource.
- id
- The unique provider ID of the resource to lookup.
- state
- Any extra arguments used during the lookup.
- opts
- A bag of options that control this resource's behavior.
- resource_name
- The unique name of the resulting resource.
- id
- The unique provider ID of the resource to lookup.
- name
- The unique name of the resulting resource.
- id
- The unique provider ID of the resource to lookup.
- state
- Any extra arguments used during the lookup.
- opts
- A bag of options that control this resource's behavior.
- name
- The unique name of the resulting resource.
- id
- The unique provider ID of the resource to lookup.
- state
- Any extra arguments used during the lookup.
- opts
- A bag of options that control this resource's behavior.
- name
- The unique name of the resulting resource.
- id
- The unique provider ID of the resource to lookup.
- state
- Any extra arguments used during the lookup.
- opts
- A bag of options that control this resource's behavior.
- Database
Name string - Database associated with the health check.
- Resource
Id string - Resource ID linked to the following health check.
- Termination
Protection bool - If set to true, this Resource Health Check cannot be deleted.
- Database
Name string - Database associated with the health check.
- Resource
Id string - Resource ID linked to the following health check.
- Termination
Protection bool - If set to true, this Resource Health Check cannot be deleted.
- database
Name String - Database associated with the health check.
- resource
Id String - Resource ID linked to the following health check.
- termination
Protection Boolean - If set to true, this Resource Health Check cannot be deleted.
- database
Name string - Database associated with the health check.
- resource
Id string - Resource ID linked to the following health check.
- termination
Protection boolean - If set to true, this Resource Health Check cannot be deleted.
- database_
name str - Database associated with the health check.
- resource_
id str - Resource ID linked to the following health check.
- termination_
protection bool - If set to true, this Resource Health Check cannot be deleted.
- database
Name String - Database associated with the health check.
- resource
Id String - Resource ID linked to the following health check.
- termination
Protection Boolean - If set to true, this Resource Health Check cannot be deleted.
Package Details
- Repository
- formal formalco/pulumi-formal
- License
- MPL-2.0
- Notes
- This Pulumi package is based on the
formalTerraform Provider.