enum_PricingType := [ "Free", "FreeTrial", "Byol", "Payg", "Ri" ]
enum_PrivateStoreAllow := [ "AllowedByAdmin", "AllowedByDefault", "NonAllowed" ]
enum_Store := [ "Appsource", "AMP", "Ibiza", "Cosell", "DakotaDownstream" ]

valid {
    input.Body.searchQuery == STRING
    input.Body.publisherName == STRING
    input.Body.skip == INTEGER
    input.Body.take == INTEGER
    input.Body.isAzureBenefitEligible == BOOLEAN
    input.Body.isMicrosoftProduct == BOOLEAN
    input.Body.isThirdParty == BOOLEAN
    input.Body.isCoreVm == BOOLEAN
    input.Body.isPreferredSolution == BOOLEAN
    input.Body.isAdditionalPurchaseRequired == BOOLEAN
    input.Body.isPowerBICertified == BOOLEAN
    input.Body.isIndustryCloud == BOOLEAN
    input.Body.languages[_] == STRING
    input.Body.stores[_] == enum_Store[_]
    input.Body.select[_] == STRING
    input.Body.sortBy[_] == STRING
    input.Body.offerTypes[_] == STRING
    input.Body.pricingTypes[_] == enum_PricingType[_]
    input.Body.privateStoreAllowances[_] == enum_PrivateStoreAllow[_]
    input.Body.appSourceIndustries[_] == STRING
    input.Body.operatingSystems[_] == STRING
    input.Body.appSourceCategories[_] == STRING
    input.Body.azureIndustries[_] == STRING
    input.Body.azureCategories[_] == STRING
    input.Body.azurePortalCategories[_] == STRING
    input.Body.facets[_] == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}