Skip to main content

Apply De Morgan's law to any(not ...)/all(not ...)

org.openrewrite.python.cleanup.InvertAnyAllBody

When the generator body just negates the loop variable, De Morgan's law lets us eliminate the generator entirely: any(not v for v in seq) becomes not all(seq), and the reverse.

Recipe source

This recipe is only available to users of Moderne.

This recipe is available under the Moderne Proprietary License.

Used by

This recipe is used as part of the following composite recipes:

Usage

In order to run Python recipes, you will need to use the Moderne CLI.

Once the CLI is installed, you can install this Python recipe package by running the following command:

Install the recipe package
mod config recipes pip install openrewrite-static-analysis

Then, you can run the recipe via:

Run the recipe
mod run . --recipe org.openrewrite.python.cleanup.InvertAnyAllBody