AIKernel.NET

aikernel_net.monads

Python source reference / 22 symbols

aikernel_net.monads public Python API generated from source.

Source: AIKernel.Core/python/src/aikernel_net/monads.py

概要

この Python モジュールは aikernel-net に属し、生成インベントリには公開シンボル 22 件が含まれます。

位置づけ

この Reference ページは、生成された API 事実にパッケージとソースの文脈を添えて、単なる一覧ではなく実装判断に使える資料として公開しています。

利用方法

ラッパーコードを書く前に、モジュール名、公開クラス/関数/定数の形、docstring の説明範囲を確認するために使います。

python -c "import aikernel_net.monads; print(aikernel_net.monads.__name__)"

注記

docstring の概要は Python ソースから直接読み取っています。概要が空の場合は、生成サイトで補うのではなくソース側の改善対象です。

関連項目

Python package | Docs | Tutorials

種別シンボル概要
constant T
T
constant U
U
constant V
V
constant L
L
constant R
R
class Result
Result
Result の公開 Python API サーフェスを表します。
class Option
Option
Option の公開 Python API サーフェスを表します。
class Either
Either
Either の公開 Python API サーフェスを表します。
class AsyncResult
AsyncResult
AsyncResult の公開 Python API サーフェスを表します。
class AsyncOption
AsyncOption
AsyncOption の公開 Python API サーフェスを表します。
class AsyncEither
AsyncEither
AsyncEither の公開 Python API サーフェスを表します。
function Success
def Success(value: T, metadata: Mapping[str, object] | None=None)
Success 操作を実行します。 引数: value: Success に渡す入力値です。 metadata: Success に渡す入力値です。 戻り値: 操作によって生成される結果です。
function Failure
def Failure(error: object, metadata: Mapping[str, object] | None=None)
Failure 操作を実行します。 引数: error: Failure に渡す入力値です。 metadata: Failure に渡す入力値です。 戻り値: 操作によって生成される結果です。
function Some
def Some(value: T)
Some 操作を実行します。 引数: value: Some に渡す入力値です。 戻り値: 操作によって生成される結果です。
function Nothing
def Nothing()
Nothing 操作を実行します。 戻り値: 操作によって生成される結果です。
function Right
def Right(value: R)
Right 操作を実行します。 引数: value: Right に渡す入力値です。 戻り値: 操作によって生成される結果です。
function Left
def Left(value: L)
Left 操作を実行します。 引数: value: Left に渡す入力値です。 戻り値: 操作によって生成される結果です。
function async_result
def async_result(value: Result[T] | Awaitable[Result[T]] | AsyncResult[T])
async result 操作を実行します。 引数: value: async result に渡す入力値です。 戻り値: 操作によって生成される結果です。
function async_option
def async_option(value: Option[T] | Awaitable[Option[T]] | AsyncOption[T])
async option 操作を実行します。 引数: value: async option に渡す入力値です。 戻り値: 操作によって生成される結果です。
function async_either
def async_either(value: Either[L, R] | Awaitable[Either[L, R]] | AsyncEither[L, R])
async either 操作を実行します。 引数: value: async either に渡す入力値です。 戻り値: 操作によって生成される結果です。
function do
def do(monad_type: type[Result] | type[Option] | type[Either])
do 操作を実行します。 引数: monad_type: do に渡す入力値です。 戻り値: ありません。
function async_do
def async_do(monad_type: type[Result] | type[Option] | type[Either])
async do 操作を実行します。 引数: monad_type: async do に渡す入力値です。 戻り値: ありません。