immutata

Marks a function as non-mutating.

Syntax: functio <name>(...) immutata → <type>

Category#

function

Related#

• curata
• iacit

Examples#

radix/corpus/immutata/immutata.fab (canonical · keyword)#

Marks a function as non-mutating.

# =============================================================================
# immutata — Marks a function as non-mutating
# =============================================================================
#
# What this teaches:
#   • Marks a function as non-mutating.
#   • Related keywords: curata, iacit
#
# Common mistakes:
#   • Mutating state inside an `immutata` function — `immutata` is a non-mutation contract; modifying `in` parameters or external state breaks the contract.
#
# See also: curata, iacit
# =============================================================================

# immutata — immutability contract on functio
#
# GRAMMAR:
#   funcModifier :← 'immutata'
#
# EXPECTED OUTPUT:
#   No incipit — declaration or test-runner surface only.
#
# BACKEND:
#   declaration-only function modifier (whitelist: immutata/immutata.fab).
#

fn inspecta() readonly → int {
    return 0
}