async fs leget

Async fs.read_file_async<T> uses the same fs:lege route as sync fs.read_file<T>.

Syntax: fs.read_file_async<textus>(via)

Category#

ad

Related#

• 调用
• fs
• 未来
• sermo

Examples#

radix/corpus/ad/async-solum-leget.fab (canonical · concept)#

Async fs.read_file_async<T> uses the same fs:lege route as sync fs.read_file<T>.

# =============================================================================
# async solum leget — async solum.read_file_async<T> uses the same solum:lege route as
# sync solum.read_file<T>.
# =============================================================================
#
# What this teaches:
#   • Async/sync proof pair — `solum.read_file_async<T>` and `solum.read_file<T>` share the
#     same host route; the async callable posture selects the async receive path
#   • Import syntax — `importa ex "norma:fs"` brings in standard library
#     modules
#
# Common mistakes:
#   • using an ad expression outside the AIR lane or confusing the async route syntax — `solum.read_file_async<T>` must be awaited from `incipiet`
#
# See also: ad, solum, futura, sermo
# =============================================================================

# Async `ad` materialization through a standard-library proof pair.
#
# `solum.read_file_async<T>` is the async-posture twin of `solum.read_file<T>`. Norma currently
# declares the wrapper with compatibility `@ futura`; callers consume it through
# the explicit morphology forms such as `figendum`.

import from "norma:fs" fs

async_main {
    const string textPath ← "/tmp/faber-async-fs-leget.txt"
    fs.write_file(textPath, "async fs\n")

    await_const string body ← fs.read_file_async<string>(textPath)
    assert body ≡ "async fs\n"
}