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

Summary

This Python module belongs to aikernel-net and exposes 22 public symbols in the generated inventory.

Why

This reference page is intentionally grouped with package and source context so it is useful as documentation, not only as an autogenerated member list.

Usage

Use this page to confirm the module name, public class/function/constant shape, and bilingual docstring coverage before writing wrapper code.

Examples

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

Notes

Docstring summaries are read directly from Python source. If a symbol has no summary, the source should be improved rather than padded in the generated site.

See Also

Python package | Docs | Tutorials

KindSymbolSummary
constant T
T
constant U
U
constant V
V
constant L
L
constant R
R
class Result
Result		 Represents the Result public Python API surface.
class Option
Option		 Represents the Option public Python API surface.
class Either
Either		 Represents the Either public Python API surface.
class AsyncResult
AsyncResult		 Represents the AsyncResult public Python API surface.
class AsyncOption
AsyncOption		 Represents the AsyncOption public Python API surface.
class AsyncEither
AsyncEither		 Represents the AsyncEither public Python API surface.
function Success
def Success(value: T, metadata: Mapping[str, object] | None=None)		 Executes the Success operation. Args: value: Input value for Success. metadata: Input value for Success. Returns: Result produced by the operation.
function Failure
def Failure(error: object, metadata: Mapping[str, object] | None=None)		 Executes the Failure operation. Args: error: Input value for Failure. metadata: Input value for Failure. Returns: Result produced by the operation.
function Some
def Some(value: T)		 Executes the Some operation. Args: value: Input value for Some. Returns: Result produced by the operation.
function Nothing
def Nothing()		 Executes the Nothing operation. Returns: Result produced by the operation.
function Right
def Right(value: R)		 Executes the Right operation. Args: value: Input value for Right. Returns: Result produced by the operation.
function Left
def Left(value: L)		 Executes the Left operation. Args: value: Input value for Left. Returns: Result produced by the operation.
function async_result
def async_result(value: Result[T] | Awaitable[Result[T]] | AsyncResult[T])		 Executes the async result operation. Args: value: Input value for async result. Returns: Result produced by the operation.
function async_option
def async_option(value: Option[T] | Awaitable[Option[T]] | AsyncOption[T])		 Executes the async option operation. Args: value: Input value for async option. Returns: Result produced by the operation.
function async_either
def async_either(value: Either[L, R] | Awaitable[Either[L, R]] | AsyncEither[L, R])		 Executes the async either operation. Args: value: Input value for async either. Returns: Result produced by the operation.
function do
def do(monad_type: type[Result] | type[Option] | type[Either])		 Executes the do operation. Args: monad_type: Input value for do. Returns: None.
function async_do
def async_do(monad_type: type[Result] | type[Option] | type[Either])		 Executes the async do operation. Args: monad_type: Input value for async do. Returns: None.