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<文字>(經由)

Category#

ad

Related#

• 端點
• fs
• 未來
• 通道

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 僅限 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 — `匯入 取自 "norma:fs"` brings in standard library
#     modules
#
# Common mistakes:
#   • using an 端點 expression outside the AIR 車道 or confusing the async route syntax — `solum.read_file_async<T>` must be awaited from `非同步入口`
#
# See also: 端點, 僅限, 未來, 通道
# =============================================================================

# Async `端點` 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 `@ 未來`; callers consume it through
# the explicit morphology forms such as `等定`.

import from "norma:fs" charta

async_main {
    const string textPath ← "/tmp/faber-async-fs-leget.txt"
    charta.write_file(textPath, "async fs\n")
    await_const string body ← charta.read_file_async<string>(textPath)
    assert body ≡ "async fs\n"
}