primus_quem

Dedicated total first-match expression: first live element of a source satisfying the owned ubi predicate, शून्य_मान for no-match and empty sources.

Aliases: primus quem

Syntax: primus_quem(<source>, ubi <binder> { <predicate> })

Category#

collection

Related#

• शून्य

Examples#

radix/corpus/primus-quem/primus-quem.fab (canonical · concept)#

Dedicated total first-match expression: first live element of a source satisfying the owned ubi predicate, शून्य_मान for no-match and empty sources.

# =============================================================================
# primus_quem — dedicated total first-match selection over a bounded source.
# =============================================================================
#
# What this teaches:
#   • dedicated head — `primus_quem(source, ubi x { predicate })` is its own
#     expression (not a `तोड़ो`/`यदि` reuse and not a method call); the `ubi`
#     tail is owned by this head
#   • total evaluation — the predicate is evaluated for EVERY candidate लेन
#     (post-match lanes included); selection is dataflow first-live, never an
#     early exit
#   • `T ∪ शून्य_मान` — no-match and empty sources return `शून्य_मान`, never an error;
#     a predicate ERROR rides the error channel and is never converted to
#     `शून्य_मान`
#   • first-live — later live lanes never overwrite the first stored match
#     ([1.0, 5.0, 3.0] over `> 2.0` picks 5.0, not 3.0)
#   • declines — unbounded sources fail closed (SEM059
#     first_match_unbounded_source, causa not_bounded) and multi-axis `पर`
#     coordinates stay unsupported in v1 (SEM059
#     first_match_expression_unsupported); see primus-quem-decline.fab
#
# Common mistakes:
#   • expecting an index/value pair — v1 returns only `T ∪ शून्य_मान`; construct
#     the explicit pair yourself if you need the index
#   • expecting early exit — the predicate still runs after the first match
#
# See also: ubi, शून्य_मान, filtrata, primus
# =============================================================================

# Route T — array literal source: first live लेन over `> 0.0` is 1.0.
फलन elige_litteram() → भिन्न ∪ शून्य_मान {
    लौटाओ primus_quem([1.0, -2.0, 3.0], ubi x { x > 0.0 })
}

# No-match — no live लेन yields शून्य_मान, never an error.
फलन elige_nullum() → भिन्न ∪ शून्य_मान {
    लौटाओ primus_quem([1.0, 2.0], ubi x { x > 9.0 })
}

# Empty source — a statically zero-length array yields शून्य_मान.
फलन elige_vacuum(सूची<f32> xs) → भिन्न ∪ शून्य_मान {
    लौटाओ primus_quem(xs, ubi x { x > 0.0 })
}

# First-live — with matches at 5.0 and 3.0, the FIRST live लेन wins.
फलन elige_primum_viventem(सूची<f32> xs) → भिन्न ∪ शून्य_मान {
    लौटाओ primus_quem(xs, ubi x { x > 2.0 })
}

आरंभ {
    स्थिर भिन्न ∪ शून्य_मान litteram ← elige_litteram()
    स्थिर भिन्न ∪ शून्य_मान nullum ← elige_nullum()
    स्थिर सूची<f32> vacua_lista ← []
    स्थिर भिन्न ∪ शून्य_मान रिक्त ← elige_vacuum(vacua_lista)
    स्थिर सूची<f32> xs ← [1.0, 5.0, 3.0]
    स्थिर भिन्न ∪ शून्य_मान primum ← elige_primum_viventem(xs)

    दिखाओ litteram
    दिखाओ nullum
    दिखाओ रिक्त
    दिखाओ primum
}

Expected output:

1.0
nihil
nihil
5.0

radix/corpus/primus-quem/primus-quem-decline.fab (supporting · reject)#

primus_quem AIR decline rows: unbounded sources fail closed (not_bounded) and पर coordinates on first-match stay unsupported in v1.

# =============================================================================
# primus_quem decline — bounded sources only on the AIR लेन.
# =============================================================================
#
# Decline rows (reject reason in each comment):
#   1. unbounded source — an unbounded `सूची` parameter has no static
#      extent; the AIR gate fails closed:
#      SEM059 first_match_unbounded_source (causa not_bounded)
#   2. पर coordinates — the multi-axis `पर [i]` form on the first-match
#      head stays unsupported in v1 (honest decline, not a silent pass):
#      SEM059 first_match_expression_unsupported
#
# Common mistakes:
#   • expecting an unbounded `सूची` local to admit because its initializer
#      is a literal — the route classifier sees the unbounded path type
#   • expecting early-exit semantics to excuse the bound — admission needs
#      the static extent for the first-live mask, not an unroll
#
# See also: primus_quem, ubi, सूची, पर
# =============================================================================

# 1. unbounded — सूची parameter has no static extent, declines not_bounded
@ radix लेन "air"
फलन elige_infinita(सूची<f32> xs) → भिन्न ∪ शून्य_मान {
    लौटाओ primus_quem(xs, ubi v { v > 0.0 })
}

# 2. पर coordinates — multi-axis first-match stays unsupported in v1
@ radix लेन "air"
फलन elige_apud(tf32[4] a) → भिन्न ∪ शून्य_मान {
    लौटाओ primus_quem(a पर [i], ubi v { v > 0.0 })
}

Expected: compilation rejects this example.