immutata

Marks a function as non-mutating.

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

Category

function

Related

• curata
• iacit

Examples

examples/corpus/immutata/immutata.fab (canonical · keyword)

Marks a function as non-mutating.

# 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).
#

functio inspecta() immutata → numerus {
    redde 0
}

Expected output: