ServerFn

EFFRONT.ServerFn.make は、Schema で引数をデコードし、Effect ハンドラーを実行する React Server Function を作ります。

ServerFn.make

EFFRONT.ServerFn.make({ input, handler }) は、呼び出し側のシグネチャが (...encodedArgs) => Promise<Output> の関数を返します。 "use server" モジュールから公開します。

"use server";

import { Effect, Schema } from "effect";
import { EFFRONT } from "./effront";

export const describe = EFFRONT.ServerFn.make({
  input: [Schema.FiniteFromString, Schema.String],
  handler: (count, label) => Effect.succeed({ count, label }),
});

./effront はアプリケーションで共有するファクトリーを公開します。 クライアントから "2" と "items" を渡すと、{ count: 2, label: "items" } が返ります。

AvailableServices は、アプリケーションのサービスとファクトリーのミドルウェアスコープが提供するサービスを含みます。 成功時のハンドラーの値が Output になります。 入力の Schema による再エンコードは行いません。 入力と出力は React のシリアライズ契約 を満たす必要があります。

関数を呼び出す React コンポーネントは Mutation Server Function を参照してください。

引数の形式

Schema の配列は位置引数を表します。 配列やタプルの Schema は一つの引数を表します。 単一のデコーダーは、余分なネイティブ引数を無視し、引数の省略時には undefined をデコードします。 一方、引数を取らない関数は、明示的な undefined を含む余分なネイティブ引数を、ハンドラー実行前に拒否します。

useActionState は、前の状態、FormData の順に引数を渡します。

"use server";

import { Effect, Schema } from "effect";
import { EFFRONT } from "./effront";

export const update = EFFRONT.ServerFn.make({
  input: [
    Schema.Struct({ count: Schema.Finite }),
    Schema.fromFormData(Schema.Struct({ name: Schema.NonEmptyString })),
  ],
  handler: (previousState, form) =>
    Effect.succeed({ count: previousState.count + 1, name: form.name }),
});

すべての位置引数をデコードしてからハンドラーを実行します。 入力のデコード失敗や未処理のハンドラー失敗は呼び出しを reject し、Output や次の action state にはなりません。 想定内のドメインエラーをフォームの状態に表示する場合は、シリアライズ可能な結果として返してください。

Schema のデコードは、身元や権限を証明しません。 レコード ID、hidden フィールド、previousState は、クライアント由来の値です。

実行上の制約

EFFRONT.withMiddleware(...) から作った関数は、そのアプリケーション ID とミドルウェアチェーンを保持します。 関数のミドルウェアは、実行と更新後のレスポンスを包みます。 ページと関数それぞれのアクセス権の確認は、認証と認可を参照してください。

RSC やその他のサーバーコードで直接 await して呼び出すと、TypeError で reject します。 他のサーバーコードでも必要な処理は通常の Effect に切り出し、両方から呼び出してください。

リクエストプロトコル

Server Function の POST リクエストには、共通の HTTP ボディサイズと Content-Length の制限が適用されます。 Fetch ハンドラーにも同じ制限を記載しています。 ブラウザーからの呼び出しでは、Effront は React の引数デコーダーに arraySizeLimit: 10_000 を渡します。

Origin の検証は、ポートを含む URL の host を比較し、完全な origin やスキームは比較しません。 HTTP の Content-Length 検証は、Server Function の検証より先に実行します。 ヘッダーの検証を通過しても、受信バイト数が上限を超えると 400 になります。

アプリケーションの入力 Schema の失敗は、React のプロトコルデコードの失敗とは異なります。 ブラウザーからの呼び出しでは、Effront は入力 Schema やハンドラーの失敗を関数の結果に含めます。 更新後のページのレンダーが成功すれば、Flight レスポンスのステータスは 200 になります。 失敗結果は、Effront が更新後のページを反映する前に、呼び出しを reject します。