def

noSideEffects

Marks a function or operation as having no side effects. The function may or may not be pure in that calling it multiple times with the same arguments always evaluates to the same result.

meta

supertypes

marker

Marker labels a dict with typing information