pure

Declares that a function will always give the exact same output given the same input, and has no side effects (writes to mutable variables, IO effects, and so on).