RunHyperlinkServiceEffect<I, A, E, R>Gated effect for Service — same rules as RunHyperlinkLayerEffect at the decoded type.
export type type RunHyperlinkServiceEffect<
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top,
R
> = [Schema.Schema.Type<I>] extends [void]
?
| Effect.Effect<
Schema.Schema.Type<A>,
Schema.Schema.Type<E>,
R
>
| (() => Effect.Effect<
Schema.Schema.Type<A>,
Schema.Schema.Type<E>,
R
>)
: (
input: Schema.Schema.Type<I>
) => Effect.Effect<
Schema.Schema.Type<A>,
Schema.Schema.Type<E>,
R
>
Gated effect for
Service
— same rules as
RunHyperlinkLayerEffect
at the decoded type.
RunHyperlinkServiceEffect<
function (type parameter) I in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>I extends import SchemaSchema.Top,
function (type parameter) A in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>A extends import SchemaSchema.Top,
function (type parameter) E in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>E extends import SchemaSchema.Top,
function (type parameter) R in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>R,
> = [import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) I in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>I>] extends [void]
? import EffectEffect.interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) A in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>A>, import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) E in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>E>, function (type parameter) R in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>R>
| (() => import EffectEffect.interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) A in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>A>, import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) E in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>E>, function (type parameter) R in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>R>)
: (input: Schema.Schema.Type<I>input: import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) I in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>I>) => import EffectEffect.interface Effect<out A, out E = never, out R = never>The Effect interface defines a value that lazily describes a workflow or
job. The workflow requires some context R, and may fail with an error of
type E, or succeed with a value of type A.
When to use
Use when you need to represent a lazy, composable workflow that can require
services, fail with a typed error, or succeed with a typed value.
Details
Effect values model resourceful interaction with the outside world,
including synchronous, asynchronous, concurrent, and parallel interaction.
They use a fiber-based concurrency model, with built-in support for
scheduling, fine-grained interruption, structured concurrency, and high
scalability.
To run an Effect value, you need a Runtime, which is a type that is
capable of executing Effect values.
Effect<
import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) A in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>A>,
import SchemaSchema.Schema.type Schema<out T>.Type<S> = S extends {
readonly Type: infer T;
} ? T : never
Extracts the decoded Type from a schema.
Example (Extracting the decoded type)
import { Schema } from "effect"
const Person = Schema.Struct({ name: Schema.String, age: Schema.Number })
type Person = Schema.Schema.Type<typeof Person>
// { readonly name: string; readonly age: number }
Type<function (type parameter) E in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>E>,
function (type parameter) R in type RunHyperlinkServiceEffect<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top, R>R
>;