intra

Checks whether a value lies within a range.

Syntax: <expression> intra <range>

Category

range

Related

• inter

Examples

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

Checks whether a value lies within a range.

# intra — range containment (membership in a numeric interval)
#
# <expr> intra <initium>‥<finis>    — half-open [initium, finis)
# <expr> intra <initium>…<finis>     — inclusive [initium, finis]
# <expr> intra <initium> ante <finis> — explicit exclusive end
#
# GRAMMAR:
#   rangeMembership :← expr 'intra' rangeExpr
#
# EXPECTED OUTPUT:
#   none — stdout not pinned for this exemplum.

fixum _ aetas ← 25

# Basic intra with ‥ operator (exclusive end)
si aetas intra 0‥100 {
    nota "aetas intra fines est"
}

# intra with … (inclusive end)
si aetas intra 18…65 {
    nota "aetas laboris"
}

# intra with ante (explicit exclusive)
si aetas intra 0 ante 18 {
    nota "minor"
}

incipit {
    nota "exempla intra"
}