ثابتة

Marks a function as non-mutating.

Syntax: دالة <name>(...) ثابتة → <type>

Category#

function

Related#

• يرمي

Examples#

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

Marks a function as non-mutating.

# =============================================================================
# ثابتة — Marks a function as non-mutating
# =============================================================================
#
# What this teaches:
#   • Marks a function as non-mutating.
#   • Related keywords: يرمي
#
# Common mistakes:
#   • Mutating state inside an `ثابتة` function — `ثابتة` is a non-mutation contract; modifying `في` parameters or external state breaks the contract.
#
# See also: يرمي
# =============================================================================

# ثابتة — immutability contract on دالة
#
# GRAMMAR:
#   funcModifier :← 'ثابتة'
#
# EXPECTED OUTPUT:
#   No بداية — declaration or test-runner surface only.
#
# BACKEND:
#   declaration-only function modifier (whitelist: ثابتة/immutata.fab).
#

fn inspecta() readonly → int {
    return 0
}