As we know, $p$-values are uniformly distributed under $H_0$. This urges me to ask if this constitutes a valid (re-)definition of the $p$-value.
$p$-value - A statistic with a uniform distribution on $[0, 1]$ under $H_0$.
Intuitively it makes sense for continuous distributions, but for discrete distributions, some adjustments are to be made. For example, this patched version might work,
$p$-value - A statistic $X$ such that $\forall c \in \left\{P(X = c|H_0) > 0\right\}$, $P(X \le c|H_0) = c$.
I'm asking this question because I have some trouble understanding the "power" of a hypothesis test. If this argument holds true, then I can continue to define the power as a function of its corresponding $p$-value statistic, which would be cool.