<R>(options: {
readonly request: R
readonly context: Context.Context<
[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never
>
readonly uninterruptible: boolean
readonly completeUnsafe: (
exit: Exit.Exit<
[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never,
[R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never
>
) => void
}): Entry<R>Creates a Request.Entry from its component fields.
Details
This is a low-level helper for request runtime and resolver infrastructure;
most application code receives entries from a RequestResolver instead of
constructing them directly.
entry
Source effect/Request.ts:58613 lines
export const const makeEntry: <R>(options: {
readonly request: R
readonly context: Context.Context<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _R
: never
>
readonly uninterruptible: boolean
readonly completeUnsafe: (
exit: Exit.Exit<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _A
: never,
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _E
: never
>
) => void
}) => Entry<R>
Creates a Request.Entry from its component fields.
Details
This is a low-level helper for request runtime and resolver infrastructure;
most application code receives entries from a RequestResolver instead of
constructing them directly.
makeEntry = <function (type parameter) R in <R>(options: {
readonly request: R;
readonly context: Context.Context<[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never>;
readonly uninterruptible: boolean;
readonly completeUnsafe: (exit: Exit.Exit<[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never, [R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never>) => void;
}): Entry<R>
options: {
readonly request: R
readonly context: Context.Context<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _R
: never
>
readonly uninterruptible: boolean
readonly completeUnsafe: (
exit: Exit.Exit<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _A
: never,
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _E
: never
>
) => void
}
request: Rrequest: function (type parameter) R in <R>(options: {
readonly request: R;
readonly context: Context.Context<[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never>;
readonly uninterruptible: boolean;
readonly completeUnsafe: (exit: Exit.Exit<[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never, [R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never>) => void;
}): Entry<R>
context: Context.Context<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _R
: never
>
(property) context: {
mapUnsafe: ReadonlyMap<string, any>;
mutable: boolean;
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
import ContextContext.type Context.Context = /*unresolved*/ anyContext<
[function (type parameter) R in <R>(options: {
readonly request: R;
readonly context: Context.Context<[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never>;
readonly uninterruptible: boolean;
readonly completeUnsafe: (exit: Exit.Exit<[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never, [R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never>) => void;
}): Entry<R>
interface Request<out A, out E = never, out R = never>A Request<A, E, R> is a request from a data source for a value of type A
that may fail with an E and have requirements of type R.
Example (Defining typed requests)
import type { Request } from "effect"
// Define a request that fetches a user by ID
interface GetUser extends Request.Request<string, Error> {
readonly _tag: "GetUser"
readonly id: number
}
// Define a request that fetches all users
interface GetAllUsers extends Request.Request<ReadonlyArray<string>, Error> {
readonly _tag: "GetAllUsers"
}
Request<infer function (type parameter) _A_A, infer function (type parameter) _E_E, infer function (type parameter) _R_R>] ? function (type parameter) _R_R : never
>
readonly uninterruptible: booleanuninterruptible: boolean
readonly completeUnsafe: (
exit: Exit.Exit<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _A
: never,
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _E
: never
>
) => void
exit: Exit.Exit<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _A
: never,
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _E
: never
>
import ExitExit.type Exit.Exit = /*unresolved*/ anyExit<
[function (type parameter) R in <R>(options: {
readonly request: R;
readonly context: Context.Context<[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never>;
readonly uninterruptible: boolean;
readonly completeUnsafe: (exit: Exit.Exit<[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never, [R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never>) => void;
}): Entry<R>
interface Request<out A, out E = never, out R = never>A Request<A, E, R> is a request from a data source for a value of type A
that may fail with an E and have requirements of type R.
Example (Defining typed requests)
import type { Request } from "effect"
// Define a request that fetches a user by ID
interface GetUser extends Request.Request<string, Error> {
readonly _tag: "GetUser"
readonly id: number
}
// Define a request that fetches all users
interface GetAllUsers extends Request.Request<ReadonlyArray<string>, Error> {
readonly _tag: "GetAllUsers"
}
Request<infer function (type parameter) _A_A, infer function (type parameter) _E_E, infer function (type parameter) _R_R>] ? function (type parameter) _A_A : never,
[function (type parameter) R in <R>(options: {
readonly request: R;
readonly context: Context.Context<[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never>;
readonly uninterruptible: boolean;
readonly completeUnsafe: (exit: Exit.Exit<[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never, [R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never>) => void;
}): Entry<R>
interface Request<out A, out E = never, out R = never>A Request<A, E, R> is a request from a data source for a value of type A
that may fail with an E and have requirements of type R.
Example (Defining typed requests)
import type { Request } from "effect"
// Define a request that fetches a user by ID
interface GetUser extends Request.Request<string, Error> {
readonly _tag: "GetUser"
readonly id: number
}
// Define a request that fetches all users
interface GetAllUsers extends Request.Request<ReadonlyArray<string>, Error> {
readonly _tag: "GetAllUsers"
}
Request<infer function (type parameter) _A_A, infer function (type parameter) _E_E, infer function (type parameter) _R_R>] ? function (type parameter) _E_E : never
>
) => void
}): interface Entry<out R>A pending request handed to a RequestResolver.
Details
An entry contains the original request, the fiber context needed to run it,
an uninterruptible flag used by batching and caching internals, and the
completeUnsafe callback used by resolvers to supply the final Exit.
Entry<function (type parameter) R in <R>(options: {
readonly request: R;
readonly context: Context.Context<[R] extends [Request<infer _A, infer _E, infer _R>] ? _R : never>;
readonly uninterruptible: boolean;
readonly completeUnsafe: (exit: Exit.Exit<[R] extends [Request<infer _A, infer _E, infer _R>] ? _A : never, [R] extends [Request<infer _A, infer _E, infer _R>] ? _E : never>) => void;
}): Entry<R>
options: {
readonly request: R
readonly context: Context.Context<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _R
: never
>
readonly uninterruptible: boolean
readonly completeUnsafe: (
exit: Exit.Exit<
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _A
: never,
[R] extends [
Request<infer _A, infer _E, infer _R>
]
? _E
: never
>
) => void
}