import * as pulumi from "@pulumi/pulumi"; /** * Manages an AWS WorkMail User. * * This resource registers the user with WorkMail on create so the mailbox is enabled and ready for use. This results in the accumulation of costs, for more details, see [pricing](https://aws.amazon.com/workmail/pricing/). * On destroy, it deregisters the user before deletion. * * ## Example Usage * * ### Basic Usage * * ```typescript * import * as pulumi from "@pulumi/pulumi"; * import * as aws from "@pulumi/aws"; * * const example = new aws.workmail.Organization("example", { * organizationAlias: "example-org", * deleteDirectory: true, * }); * const exampleUser = new aws.workmail.User("example", { * organizationId: example.organizationId, * name: "example-user", * displayName: "Example User", * email: "example-user@example.com", * }); * ``` * * ## Import * * ### Identity Schema * * #### Required * * * `organizationId` - Identifier of the WorkMail organization. * * `userId` - Identifier of the user. * * #### Optional * * * `accountId` (String) AWS Account where this resource is managed. * * `region` (String) Region where this resource is managed. * * Using `pulumi import`, import WorkMail User using `organization_id,user_id`. For example: * * ```sh * $ pulumi import aws:workmail/user:User example m-1234567890abcdef1234567890abcdef,12345678-1234-1234-1234-123456789012 * ``` */ export declare class User extends pulumi.CustomResource { /** * Get an existing User resource's state with the given name, ID, and optional extra * properties used to qualify the lookup. * * @param name The _unique_ name of the resulting resource. * @param id The _unique_ provider ID of the resource to lookup. * @param state Any extra arguments used during the lookup. * @param opts Optional settings to control the behavior of the CustomResource. */ static get(name: string, id: pulumi.Input, state?: UserState, opts?: pulumi.CustomResourceOptions): User; /** * Returns true if the given object is an instance of User. This is designed to work even * when multiple copies of the Pulumi SDK have been loaded into the same process. */ static isInstance(obj: any): obj is User; /** * City where the user is located. */ readonly city: pulumi.Output; /** * Company associated with the user. */ readonly company: pulumi.Output; /** * Country where the user is located. */ readonly country: pulumi.Output; /** * Department associated with the user. */ readonly department: pulumi.Output; /** * Timestamp when the user was disabled from WorkMail use. */ readonly disabledDate: pulumi.Output; /** * Display name of the user. */ readonly displayName: pulumi.Output; /** * Primary email address used to register the user with WorkMail. Changing this value forces replacement. */ readonly email: pulumi.Output; /** * Timestamp when the user was enabled for WorkMail use. */ readonly enabledDate: pulumi.Output; /** * First name of the user. */ readonly firstName: pulumi.Output; /** * Whether to hide the user from the global address list. Defaults to `false`. */ readonly hiddenFromGlobalAddressList: pulumi.Output; /** * Identity store ID from IAM Identity Center associated with the user. */ readonly identityProviderIdentityStoreId: pulumi.Output; /** * User ID from IAM Identity Center associated with the user. */ readonly identityProviderUserId: pulumi.Output; /** * Initials of the user. */ readonly initials: pulumi.Output; /** * Job title of the user. */ readonly jobTitle: pulumi.Output; /** * Last name of the user. */ readonly lastName: pulumi.Output; /** * Timestamp when the mailbox was removed for the user. */ readonly mailboxDeprovisionedDate: pulumi.Output; /** * Timestamp when the mailbox was created for the user. */ readonly mailboxProvisionedDate: pulumi.Output; /** * Username of the user. */ readonly name: pulumi.Output; /** * Office where the user is located. */ readonly office: pulumi.Output; /** * Identifier of the WorkMail organization where the user is managed. * * The following arguments are optional: */ readonly organizationId: pulumi.Output; /** * Password to set for the user. */ readonly password: pulumi.Output; /** * Region where this resource will be [managed](https://docs.aws.amazon.com/general/latest/gr/rande.html#regional-endpoints). Defaults to the Region set in the provider configuration. */ readonly region: pulumi.Output; /** * Current WorkMail state of the user. */ readonly state: pulumi.Output; /** * Street address of the user. */ readonly street: pulumi.Output; /** * Telephone number of the user. */ readonly telephone: pulumi.Output; /** * Identifier of the user. */ readonly userId: pulumi.Output; /** * Role assigned to the user. Valid values are `USER`, `REMOTE_USER`, `RESOURCE`, and `SYSTEM_USER`. */ readonly userRole: pulumi.Output; /** * ZIP or postal code of the user. */ readonly zipCode: pulumi.Output; /** * Create a User resource with the given unique name, arguments, and options. * * @param name The _unique_ name of the resource. * @param args The arguments to use to populate this resource's properties. * @param opts A bag of options that control this resource's behavior. */ constructor(name: string, args: UserArgs, opts?: pulumi.CustomResourceOptions); } /** * Input properties used for looking up and filtering User resources. */ export interface UserState { /** * City where the user is located. */ city?: pulumi.Input; /** * Company associated with the user. */ company?: pulumi.Input; /** * Country where the user is located. */ country?: pulumi.Input; /** * Department associated with the user. */ department?: pulumi.Input; /** * Timestamp when the user was disabled from WorkMail use. */ disabledDate?: pulumi.Input; /** * Display name of the user. */ displayName?: pulumi.Input; /** * Primary email address used to register the user with WorkMail. Changing this value forces replacement. */ email?: pulumi.Input; /** * Timestamp when the user was enabled for WorkMail use. */ enabledDate?: pulumi.Input; /** * First name of the user. */ firstName?: pulumi.Input; /** * Whether to hide the user from the global address list. Defaults to `false`. */ hiddenFromGlobalAddressList?: pulumi.Input; /** * Identity store ID from IAM Identity Center associated with the user. */ identityProviderIdentityStoreId?: pulumi.Input; /** * User ID from IAM Identity Center associated with the user. */ identityProviderUserId?: pulumi.Input; /** * Initials of the user. */ initials?: pulumi.Input; /** * Job title of the user. */ jobTitle?: pulumi.Input; /** * Last name of the user. */ lastName?: pulumi.Input; /** * Timestamp when the mailbox was removed for the user. */ mailboxDeprovisionedDate?: pulumi.Input; /** * Timestamp when the mailbox was created for the user. */ mailboxProvisionedDate?: pulumi.Input; /** * Username of the user. */ name?: pulumi.Input; /** * Office where the user is located. */ office?: pulumi.Input; /** * Identifier of the WorkMail organization where the user is managed. * * The following arguments are optional: */ organizationId?: pulumi.Input; /** * Password to set for the user. */ password?: pulumi.Input; /** * Region where this resource will be [managed](https://docs.aws.amazon.com/general/latest/gr/rande.html#regional-endpoints). Defaults to the Region set in the provider configuration. */ region?: pulumi.Input; /** * Current WorkMail state of the user. */ state?: pulumi.Input; /** * Street address of the user. */ street?: pulumi.Input; /** * Telephone number of the user. */ telephone?: pulumi.Input; /** * Identifier of the user. */ userId?: pulumi.Input; /** * Role assigned to the user. Valid values are `USER`, `REMOTE_USER`, `RESOURCE`, and `SYSTEM_USER`. */ userRole?: pulumi.Input; /** * ZIP or postal code of the user. */ zipCode?: pulumi.Input; } /** * The set of arguments for constructing a User resource. */ export interface UserArgs { /** * City where the user is located. */ city?: pulumi.Input; /** * Company associated with the user. */ company?: pulumi.Input; /** * Country where the user is located. */ country?: pulumi.Input; /** * Department associated with the user. */ department?: pulumi.Input; /** * Display name of the user. */ displayName: pulumi.Input; /** * Primary email address used to register the user with WorkMail. Changing this value forces replacement. */ email: pulumi.Input; /** * First name of the user. */ firstName?: pulumi.Input; /** * Whether to hide the user from the global address list. Defaults to `false`. */ hiddenFromGlobalAddressList?: pulumi.Input; /** * User ID from IAM Identity Center associated with the user. */ identityProviderUserId?: pulumi.Input; /** * Initials of the user. */ initials?: pulumi.Input; /** * Job title of the user. */ jobTitle?: pulumi.Input; /** * Last name of the user. */ lastName?: pulumi.Input; /** * Username of the user. */ name?: pulumi.Input; /** * Office where the user is located. */ office?: pulumi.Input; /** * Identifier of the WorkMail organization where the user is managed. * * The following arguments are optional: */ organizationId: pulumi.Input; /** * Password to set for the user. */ password?: pulumi.Input; /** * Region where this resource will be [managed](https://docs.aws.amazon.com/general/latest/gr/rande.html#regional-endpoints). Defaults to the Region set in the provider configuration. */ region?: pulumi.Input; /** * Street address of the user. */ street?: pulumi.Input; /** * Telephone number of the user. */ telephone?: pulumi.Input; /** * Role assigned to the user. Valid values are `USER`, `REMOTE_USER`, `RESOURCE`, and `SYSTEM_USER`. */ userRole?: pulumi.Input; /** * ZIP or postal code of the user. */ zipCode?: pulumi.Input; } //# sourceMappingURL=user.d.ts.map