effect 4.0.0-beta.21 → 4.0.0-beta.22
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/Array.d.ts +8 -9
- package/dist/Array.d.ts.map +1 -1
- package/dist/Array.js.map +1 -1
- package/dist/Chunk.d.ts +4 -4
- package/dist/Chunk.d.ts.map +1 -1
- package/dist/Chunk.js.map +1 -1
- package/dist/Duration.d.ts +1 -1
- package/dist/Duration.d.ts.map +1 -1
- package/dist/Duration.js +1 -1
- package/dist/Duration.js.map +1 -1
- package/dist/Effect.d.ts +2 -2
- package/dist/Effect.d.ts.map +1 -1
- package/dist/Effect.js.map +1 -1
- package/dist/Filter.d.ts +4 -4
- package/dist/Filter.d.ts.map +1 -1
- package/dist/Filter.js.map +1 -1
- package/dist/HashMap.d.ts +3 -3
- package/dist/HashMap.d.ts.map +1 -1
- package/dist/HashMap.js.map +1 -1
- package/dist/Iterable.d.ts +4 -5
- package/dist/Iterable.d.ts.map +1 -1
- package/dist/Iterable.js.map +1 -1
- package/dist/Record.d.ts +4 -5
- package/dist/Record.d.ts.map +1 -1
- package/dist/Record.js.map +1 -1
- package/dist/Runtime.d.ts.map +1 -1
- package/dist/Runtime.js +7 -1
- package/dist/Runtime.js.map +1 -1
- package/dist/Stream.d.ts +7 -1
- package/dist/Stream.d.ts.map +1 -1
- package/dist/Stream.js +5 -1
- package/dist/Stream.js.map +1 -1
- package/dist/Trie.d.ts +3 -3
- package/dist/Trie.d.ts.map +1 -1
- package/dist/Trie.js.map +1 -1
- package/dist/TxHashMap.d.ts +3 -3
- package/dist/TxHashMap.d.ts.map +1 -1
- package/dist/TxHashMap.js.map +1 -1
- package/dist/internal/effect.js +10 -38
- package/dist/internal/effect.js.map +1 -1
- package/dist/internal/hashMap.js.map +1 -1
- package/dist/internal/trie.js.map +1 -1
- package/dist/unstable/ai/Chat.d.ts +2 -2
- package/dist/unstable/ai/Chat.d.ts.map +1 -1
- package/dist/unstable/ai/Chat.js +35 -42
- package/dist/unstable/ai/Chat.js.map +1 -1
- package/dist/unstable/ai/LanguageModel.d.ts.map +1 -1
- package/dist/unstable/ai/LanguageModel.js.map +1 -1
- package/dist/unstable/ai/Tool.d.ts +1 -1
- package/dist/unstable/ai/Tool.d.ts.map +1 -1
- package/dist/unstable/httpapi/HttpApiClient.d.ts +55 -0
- package/dist/unstable/httpapi/HttpApiClient.d.ts.map +1 -1
- package/dist/unstable/httpapi/HttpApiClient.js +37 -0
- package/dist/unstable/httpapi/HttpApiClient.js.map +1 -1
- package/dist/unstable/schema/VariantSchema.d.ts +2 -2
- package/dist/unstable/schema/VariantSchema.d.ts.map +1 -1
- package/dist/unstable/schema/VariantSchema.js +3 -3
- package/dist/unstable/schema/VariantSchema.js.map +1 -1
- package/package.json +1 -1
- package/src/Array.ts +15 -13
- package/src/Chunk.ts +6 -6
- package/src/Duration.ts +2 -2
- package/src/Effect.ts +4 -2
- package/src/Filter.ts +4 -5
- package/src/HashMap.ts +3 -3
- package/src/Iterable.ts +6 -7
- package/src/Record.ts +6 -7
- package/src/Runtime.ts +7 -1
- package/src/Stream.ts +12 -3
- package/src/Trie.ts +3 -3
- package/src/TxHashMap.ts +4 -4
- package/src/internal/effect.ts +27 -53
- package/src/internal/hashMap.ts +3 -4
- package/src/internal/trie.ts +3 -4
- package/src/unstable/ai/Chat.ts +36 -51
- package/src/unstable/ai/LanguageModel.ts +0 -1
- package/src/unstable/ai/Tool.ts +1 -1
- package/src/unstable/httpapi/HttpApiClient.ts +82 -1
- package/src/unstable/schema/VariantSchema.ts +3 -3
package/src/internal/effect.ts
CHANGED
|
@@ -493,40 +493,6 @@ const fiberIdStore = { id: 0 }
|
|
|
493
493
|
/** @internal */
|
|
494
494
|
export const getCurrentFiber = (): Fiber.Fiber<any, any> | undefined => (globalThis as any)[currentFiberTypeId]
|
|
495
495
|
|
|
496
|
-
const keepAlive = (() => {
|
|
497
|
-
let isAvailable: boolean | undefined
|
|
498
|
-
const start = () => {
|
|
499
|
-
if (isAvailable === true) return setInterval(constVoid, 2_147_483_647)
|
|
500
|
-
else if (isAvailable === false) return undefined
|
|
501
|
-
|
|
502
|
-
try {
|
|
503
|
-
const running = setInterval(constVoid, 2_147_483_647)
|
|
504
|
-
isAvailable = true
|
|
505
|
-
return running
|
|
506
|
-
} catch {
|
|
507
|
-
isAvailable = false
|
|
508
|
-
return undefined
|
|
509
|
-
}
|
|
510
|
-
}
|
|
511
|
-
let count = 0
|
|
512
|
-
let running: ReturnType<typeof globalThis.setInterval> | undefined = undefined
|
|
513
|
-
return ({
|
|
514
|
-
increment() {
|
|
515
|
-
count++
|
|
516
|
-
if (running === undefined) {
|
|
517
|
-
running = start()
|
|
518
|
-
}
|
|
519
|
-
},
|
|
520
|
-
decrement() {
|
|
521
|
-
count--
|
|
522
|
-
if (count === 0 && running !== undefined) {
|
|
523
|
-
clearInterval(running)
|
|
524
|
-
running = undefined
|
|
525
|
-
}
|
|
526
|
-
}
|
|
527
|
-
})
|
|
528
|
-
})()
|
|
529
|
-
|
|
530
496
|
/** @internal */
|
|
531
497
|
export class FiberImpl<A = any, E = any> implements Fiber.Fiber<A, E> {
|
|
532
498
|
constructor(
|
|
@@ -1056,10 +1022,8 @@ const callbackOptions: <A, E = never, R = never>(
|
|
|
1056
1022
|
}, controller?.signal)
|
|
1057
1023
|
if (yielded !== false) return yielded
|
|
1058
1024
|
yielded = true
|
|
1059
|
-
keepAlive.increment()
|
|
1060
1025
|
fiber._yielded = () => {
|
|
1061
1026
|
resumed = true
|
|
1062
|
-
keepAlive.decrement()
|
|
1063
1027
|
}
|
|
1064
1028
|
if (controller === undefined && onCancel === undefined) {
|
|
1065
1029
|
return Yield
|
|
@@ -1133,7 +1097,7 @@ export const fnUntraced: Effect.fn.Untraced = (
|
|
|
1133
1097
|
body: Function,
|
|
1134
1098
|
...pipeables: Array<any>
|
|
1135
1099
|
) => {
|
|
1136
|
-
|
|
1100
|
+
const fn = pipeables.length === 0
|
|
1137
1101
|
? function(this: any) {
|
|
1138
1102
|
return suspend(() => fromIteratorUnsafe(body.apply(this, arguments)))
|
|
1139
1103
|
}
|
|
@@ -1144,8 +1108,15 @@ export const fnUntraced: Effect.fn.Untraced = (
|
|
|
1144
1108
|
}
|
|
1145
1109
|
return effect
|
|
1146
1110
|
}
|
|
1111
|
+
return defineFunctionLength(body.length, fn)
|
|
1147
1112
|
}
|
|
1148
1113
|
|
|
1114
|
+
const defineFunctionLength = <F extends Function>(length: number, fn: F): F =>
|
|
1115
|
+
Object.defineProperty(fn, "length", {
|
|
1116
|
+
value: length,
|
|
1117
|
+
configurable: true
|
|
1118
|
+
})
|
|
1119
|
+
|
|
1149
1120
|
const fnStackCleaner = makeStackCleaner(2)
|
|
1150
1121
|
|
|
1151
1122
|
/** @internal */
|
|
@@ -1186,7 +1157,7 @@ const makeFn = (
|
|
|
1186
1157
|
? bodyOrOptions
|
|
1187
1158
|
: (pipeables.pop()!).bind(bodyOrOptions.self)
|
|
1188
1159
|
|
|
1189
|
-
return function(this: any, ...args: Array<any>) {
|
|
1160
|
+
return defineFunctionLength(body.length, function(this: any, ...args: Array<any>) {
|
|
1190
1161
|
let result = suspend(() => {
|
|
1191
1162
|
const iter = body.apply(this, arguments)
|
|
1192
1163
|
return isEffect(iter) ? iter : fromIteratorUnsafe(iter)
|
|
@@ -1216,7 +1187,7 @@ const makeFn = (
|
|
|
1216
1187
|
}
|
|
1217
1188
|
})
|
|
1218
1189
|
)
|
|
1219
|
-
}
|
|
1190
|
+
})
|
|
1220
1191
|
}
|
|
1221
1192
|
|
|
1222
1193
|
/** @internal */
|
|
@@ -1224,17 +1195,20 @@ export const fnUntracedEager: Effect.fn.Untraced = (
|
|
|
1224
1195
|
body: Function,
|
|
1225
1196
|
...pipeables: Array<any>
|
|
1226
1197
|
) =>
|
|
1227
|
-
|
|
1228
|
-
|
|
1229
|
-
|
|
1230
|
-
|
|
1231
|
-
|
|
1232
|
-
let effect = fromIteratorEagerUnsafe(() => body.apply(this, arguments))
|
|
1233
|
-
for (const pipeable of pipeables) {
|
|
1234
|
-
effect = pipeable(effect)
|
|
1198
|
+
defineFunctionLength(
|
|
1199
|
+
body.length,
|
|
1200
|
+
pipeables.length === 0
|
|
1201
|
+
? function(this: any) {
|
|
1202
|
+
return fromIteratorEagerUnsafe(() => body.apply(this, arguments))
|
|
1235
1203
|
}
|
|
1236
|
-
|
|
1237
|
-
|
|
1204
|
+
: function(this: any) {
|
|
1205
|
+
let effect = fromIteratorEagerUnsafe(() => body.apply(this, arguments))
|
|
1206
|
+
for (const pipeable of pipeables) {
|
|
1207
|
+
effect = pipeable(effect)
|
|
1208
|
+
}
|
|
1209
|
+
return effect
|
|
1210
|
+
}
|
|
1211
|
+
)
|
|
1238
1212
|
|
|
1239
1213
|
const fromIteratorEagerUnsafe = (
|
|
1240
1214
|
evaluate: () => Iterator<Effect.Yieldable<any, any, any, any>>
|
|
@@ -4334,17 +4308,17 @@ const findFirstLoop = <A, E, R>(
|
|
|
4334
4308
|
/** @internal */
|
|
4335
4309
|
export const findFirstFilter: {
|
|
4336
4310
|
<A, B, X, E, R>(
|
|
4337
|
-
filter:
|
|
4311
|
+
filter: (input: NoInfer<A>, i: number) => Effect.Effect<Result.Result<B, X>, E, R>
|
|
4338
4312
|
): (elements: Iterable<A>) => Effect.Effect<Option.Option<B>, E, R>
|
|
4339
4313
|
<A, B, X, E, R>(
|
|
4340
4314
|
elements: Iterable<A>,
|
|
4341
|
-
filter:
|
|
4315
|
+
filter: (input: NoInfer<A>, i: number) => Effect.Effect<Result.Result<B, X>, E, R>
|
|
4342
4316
|
): Effect.Effect<Option.Option<B>, E, R>
|
|
4343
4317
|
} = dual(
|
|
4344
4318
|
(args) => isIterable(args[0]) && !isEffect(args[0]),
|
|
4345
4319
|
<A, B, X, E, R>(
|
|
4346
4320
|
elements: Iterable<A>,
|
|
4347
|
-
filter:
|
|
4321
|
+
filter: (input: A, i: number) => Effect.Effect<Result.Result<B, X>, E, R>
|
|
4348
4322
|
): Effect.Effect<Option.Option<B>, E, R> =>
|
|
4349
4323
|
suspend(() => {
|
|
4350
4324
|
const iterator = elements[Symbol.iterator]()
|
|
@@ -4359,7 +4333,7 @@ export const findFirstFilter: {
|
|
|
4359
4333
|
const findFirstFilterLoop = <A, B, X, E, R>(
|
|
4360
4334
|
iterator: Iterator<A>,
|
|
4361
4335
|
index: number,
|
|
4362
|
-
filter:
|
|
4336
|
+
filter: (input: A, i: number) => Effect.Effect<Result.Result<B, X>, E, R>,
|
|
4363
4337
|
value: A
|
|
4364
4338
|
): Effect.Effect<Option.Option<B>, E, R> =>
|
|
4365
4339
|
flatMap(filter(value, index), (result) => {
|
package/src/internal/hashMap.ts
CHANGED
|
@@ -3,7 +3,6 @@
|
|
|
3
3
|
*/
|
|
4
4
|
|
|
5
5
|
import * as Equal_ from "../Equal.ts"
|
|
6
|
-
import type * as Filter from "../Filter.ts"
|
|
7
6
|
import { format } from "../Formatter.ts"
|
|
8
7
|
import { dual, pipe } from "../Function.ts"
|
|
9
8
|
import * as Hash from "../Hash.ts"
|
|
@@ -1257,9 +1256,9 @@ export const compact = <K, A>(self: HashMap<K, Option.Option<A>>): HashMap<K, A>
|
|
|
1257
1256
|
|
|
1258
1257
|
/** @internal */
|
|
1259
1258
|
export const filterMap = dual<
|
|
1260
|
-
<A, K, B, X>(f:
|
|
1261
|
-
<K, A, B, X>(self: HashMap<K, A>, f:
|
|
1262
|
-
>(2, <K, A, B, X>(self: HashMap<K, A>, f:
|
|
1259
|
+
<A, K, B, X>(f: (input: A, key: K) => Result.Result<B, X>) => (self: HashMap<K, A>) => HashMap<K, B>,
|
|
1260
|
+
<K, A, B, X>(self: HashMap<K, A>, f: (input: A, key: K) => Result.Result<B, X>) => HashMap<K, B>
|
|
1261
|
+
>(2, <K, A, B, X>(self: HashMap<K, A>, f: (input: A, key: K) => Result.Result<B, X>): HashMap<K, B> => {
|
|
1263
1262
|
let result = empty<K, B>()
|
|
1264
1263
|
for (const [key, value] of self) {
|
|
1265
1264
|
const mapped = f(value, key)
|
package/src/internal/trie.ts
CHANGED
|
@@ -1,5 +1,4 @@
|
|
|
1
1
|
import * as Equal from "../Equal.ts"
|
|
2
|
-
import type * as Filter from "../Filter.ts"
|
|
3
2
|
import { format } from "../Formatter.ts"
|
|
4
3
|
import { dual, pipe } from "../Function.ts"
|
|
5
4
|
import * as Hash from "../Hash.ts"
|
|
@@ -312,10 +311,10 @@ export const filter: {
|
|
|
312
311
|
/** @internal */
|
|
313
312
|
export const filterMap = dual<
|
|
314
313
|
<A, B, X>(
|
|
315
|
-
f:
|
|
314
|
+
f: (input: A, key: string) => Result.Result<B, X>
|
|
316
315
|
) => (self: TR.Trie<A>) => TR.Trie<B>,
|
|
317
|
-
<A, B, X>(self: TR.Trie<A>, f:
|
|
318
|
-
>(2, <A, B, X>(self: TR.Trie<A>, f:
|
|
316
|
+
<A, B, X>(self: TR.Trie<A>, f: (input: A, key: string) => Result.Result<B, X>) => TR.Trie<B>
|
|
317
|
+
>(2, <A, B, X>(self: TR.Trie<A>, f: (input: A, key: string) => Result.Result<B, X>): TR.Trie<B> =>
|
|
319
318
|
reduce(
|
|
320
319
|
self,
|
|
321
320
|
empty<B>(),
|
package/src/unstable/ai/Chat.ts
CHANGED
|
@@ -296,42 +296,8 @@ const encodeHistoryJson = Schema.encodeUnknownEffect(Schema.fromJsonString(Promp
|
|
|
296
296
|
// Constructors
|
|
297
297
|
// =============================================================================
|
|
298
298
|
|
|
299
|
-
|
|
300
|
-
|
|
301
|
-
*
|
|
302
|
-
* This is the most common way to start a fresh chat session without
|
|
303
|
-
* any initial context or system prompts.
|
|
304
|
-
*
|
|
305
|
-
* @example
|
|
306
|
-
* ```ts
|
|
307
|
-
* import { Effect } from "effect"
|
|
308
|
-
* import { Chat } from "effect/unstable/ai"
|
|
309
|
-
*
|
|
310
|
-
* const freshChat = Effect.gen(function*() {
|
|
311
|
-
* const chat = yield* Chat.empty
|
|
312
|
-
*
|
|
313
|
-
* const response = yield* chat.generateText({
|
|
314
|
-
* prompt: "Hello! Can you introduce yourself?"
|
|
315
|
-
* })
|
|
316
|
-
*
|
|
317
|
-
* console.log(response.content)
|
|
318
|
-
*
|
|
319
|
-
* return chat
|
|
320
|
-
* })
|
|
321
|
-
* ```
|
|
322
|
-
*
|
|
323
|
-
* @since 4.0.0
|
|
324
|
-
* @category constructors
|
|
325
|
-
*/
|
|
326
|
-
export const empty: Effect.Effect<Service> = Effect.gen(function*() {
|
|
327
|
-
const history = yield* Ref.make(Prompt.empty)
|
|
328
|
-
const services = yield* Effect.services<never>()
|
|
329
|
-
const semaphore = yield* Semaphore.make(1)
|
|
330
|
-
|
|
331
|
-
const provideContext = <A, E, R>(effect: Effect.Effect<A, E, R>): Effect.Effect<A, E, R> =>
|
|
332
|
-
Effect.updateServices(effect, (existing) => ServiceMap.merge(services, existing))
|
|
333
|
-
const provideContextStream = <A, E, R>(stream: Stream.Stream<A, E, R>): Stream.Stream<A, E, R> =>
|
|
334
|
-
Stream.updateServices(stream, (existing) => ServiceMap.merge(services, existing))
|
|
299
|
+
const makeUnsafe = (history: Ref.Ref<Prompt.Prompt>) => {
|
|
300
|
+
const semaphore = Semaphore.makeUnsafe(1)
|
|
335
301
|
|
|
336
302
|
return Chat.of({
|
|
337
303
|
history,
|
|
@@ -368,7 +334,6 @@ export const empty: Effect.Effect<Service> = Effect.gen(function*() {
|
|
|
368
334
|
|
|
369
335
|
return response
|
|
370
336
|
},
|
|
371
|
-
provideContext,
|
|
372
337
|
semaphore.withPermits(1),
|
|
373
338
|
(effect) => Effect.withSpan(effect, "Chat.generateText", { captureStackTrace: false })
|
|
374
339
|
),
|
|
@@ -397,7 +362,6 @@ export const empty: Effect.Effect<Service> = Effect.gen(function*() {
|
|
|
397
362
|
semaphore.release(1)
|
|
398
363
|
)
|
|
399
364
|
)).pipe(
|
|
400
|
-
provideContextStream,
|
|
401
365
|
Stream.withSpan("Chat.streamText", {
|
|
402
366
|
captureStackTrace: false
|
|
403
367
|
})
|
|
@@ -418,7 +382,6 @@ export const empty: Effect.Effect<Service> = Effect.gen(function*() {
|
|
|
418
382
|
|
|
419
383
|
return response
|
|
420
384
|
},
|
|
421
|
-
provideContext,
|
|
422
385
|
semaphore.withPermits(1),
|
|
423
386
|
(effect, options) =>
|
|
424
387
|
Effect.withSpan(effect, "Chat.generateObject", {
|
|
@@ -429,7 +392,36 @@ export const empty: Effect.Effect<Service> = Effect.gen(function*() {
|
|
|
429
392
|
})
|
|
430
393
|
)
|
|
431
394
|
})
|
|
432
|
-
}
|
|
395
|
+
}
|
|
396
|
+
|
|
397
|
+
/**
|
|
398
|
+
* Creates a new Chat service with empty conversation history.
|
|
399
|
+
*
|
|
400
|
+
* This is the most common way to start a fresh chat session without
|
|
401
|
+
* any initial context or system prompts.
|
|
402
|
+
*
|
|
403
|
+
* @example
|
|
404
|
+
* ```ts
|
|
405
|
+
* import { Effect } from "effect"
|
|
406
|
+
* import { Chat } from "effect/unstable/ai"
|
|
407
|
+
*
|
|
408
|
+
* const freshChat = Effect.gen(function*() {
|
|
409
|
+
* const chat = yield* Chat.empty
|
|
410
|
+
*
|
|
411
|
+
* const response = yield* chat.generateText({
|
|
412
|
+
* prompt: "Hello! Can you introduce yourself?"
|
|
413
|
+
* })
|
|
414
|
+
*
|
|
415
|
+
* console.log(response.content)
|
|
416
|
+
*
|
|
417
|
+
* return chat
|
|
418
|
+
* })
|
|
419
|
+
* ```
|
|
420
|
+
*
|
|
421
|
+
* @since 4.0.0
|
|
422
|
+
* @category constructors
|
|
423
|
+
*/
|
|
424
|
+
export const empty: Effect.Effect<Service> = Effect.sync(() => makeUnsafe(Ref.makeUnsafe(Prompt.empty)))
|
|
433
425
|
|
|
434
426
|
/**
|
|
435
427
|
* Creates a new Chat service from an initial prompt.
|
|
@@ -489,13 +481,8 @@ export const empty: Effect.Effect<Service> = Effect.gen(function*() {
|
|
|
489
481
|
* @since 4.0.0
|
|
490
482
|
* @category constructors
|
|
491
483
|
*/
|
|
492
|
-
export const fromPrompt =
|
|
493
|
-
|
|
494
|
-
const chat = yield* empty
|
|
495
|
-
yield* Ref.set(chat.history, Prompt.make(prompt))
|
|
496
|
-
return chat
|
|
497
|
-
}
|
|
498
|
-
)
|
|
484
|
+
export const fromPrompt = (prompt: Prompt.RawInput) =>
|
|
485
|
+
Effect.sync(() => makeUnsafe(Ref.makeUnsafe(Prompt.make(prompt))))
|
|
499
486
|
|
|
500
487
|
/**
|
|
501
488
|
* Creates a Chat service from previously exported chat data.
|
|
@@ -534,8 +521,7 @@ export const fromPrompt = Effect.fnUntraced(
|
|
|
534
521
|
*/
|
|
535
522
|
export const fromExport = (data: unknown): Effect.Effect<
|
|
536
523
|
Service,
|
|
537
|
-
Schema.SchemaError
|
|
538
|
-
LanguageModel.LanguageModel
|
|
524
|
+
Schema.SchemaError
|
|
539
525
|
> => Effect.flatMap(decodeHistory(data), fromPrompt)
|
|
540
526
|
|
|
541
527
|
/**
|
|
@@ -576,8 +562,7 @@ export const fromExport = (data: unknown): Effect.Effect<
|
|
|
576
562
|
*/
|
|
577
563
|
export const fromJson = (data: string): Effect.Effect<
|
|
578
564
|
Service,
|
|
579
|
-
Schema.SchemaError
|
|
580
|
-
LanguageModel.LanguageModel
|
|
565
|
+
Schema.SchemaError
|
|
581
566
|
> => Effect.flatMap(decodeHistoryJson(data), fromPrompt)
|
|
582
567
|
|
|
583
568
|
// =============================================================================
|
|
@@ -1236,7 +1236,6 @@ export const make: (params: ConstructorParams) => Effect.Effect<Service> = Effec
|
|
|
1236
1236
|
const queue = yield* Queue.make<
|
|
1237
1237
|
Response.StreamPart<Tools>,
|
|
1238
1238
|
| AiError.AiError
|
|
1239
|
-
| AiError.AiErrorReason
|
|
1240
1239
|
| Cause.Done
|
|
1241
1240
|
| Schema.SchemaError
|
|
1242
1241
|
>()
|
package/src/unstable/ai/Tool.ts
CHANGED
|
@@ -952,7 +952,7 @@ export type HandlerError<T> = T extends Tool<
|
|
|
952
952
|
infer _Name,
|
|
953
953
|
infer _Config,
|
|
954
954
|
infer _Requirements
|
|
955
|
-
> ? _Config["failureMode"] extends "error" ? _Config["failure"]["Type"] | AiError.AiError
|
|
955
|
+
> ? _Config["failureMode"] extends "error" ? _Config["failure"]["Type"] | AiError.AiError
|
|
956
956
|
: never
|
|
957
957
|
: never
|
|
958
958
|
|
|
@@ -120,6 +120,44 @@ export declare namespace Client {
|
|
|
120
120
|
never
|
|
121
121
|
}
|
|
122
122
|
|
|
123
|
+
type ApiGroups<Api extends HttpApi.Any> = Api extends HttpApi.HttpApi<infer _ApiId, infer Groups> ? Groups : never
|
|
124
|
+
|
|
125
|
+
type EndpointId<Endpoint extends HttpApiEndpoint.Any> = Endpoint extends {
|
|
126
|
+
readonly method: infer Method extends HttpMethod.HttpMethod
|
|
127
|
+
readonly path: infer Path extends string
|
|
128
|
+
} ? `${Method} ${Path}`
|
|
129
|
+
: never
|
|
130
|
+
|
|
131
|
+
type EndpointWithId<Endpoints extends HttpApiEndpoint.Any, Id extends string> = Id extends
|
|
132
|
+
`${infer Method extends HttpMethod.HttpMethod} ${infer Path extends string}` ?
|
|
133
|
+
Extract<Endpoints, { readonly method: Method; readonly path: Path }> :
|
|
134
|
+
never
|
|
135
|
+
|
|
136
|
+
type UrlBuilderRequest<Endpoint extends HttpApiEndpoint.Any> = (
|
|
137
|
+
& ([HttpApiEndpoint.Params<Endpoint>["Encoded"]] extends [never] ? {}
|
|
138
|
+
: { readonly params: HttpApiEndpoint.Params<Endpoint>["Encoded"] })
|
|
139
|
+
& ([HttpApiEndpoint.Query<Endpoint>["Encoded"]] extends [never] ? {}
|
|
140
|
+
: { readonly query: HttpApiEndpoint.Query<Endpoint>["Encoded"] })
|
|
141
|
+
) extends infer Request ? keyof Request extends never ? void | undefined : Request
|
|
142
|
+
: never
|
|
143
|
+
|
|
144
|
+
type UrlBuilderArgs<Endpoint extends HttpApiEndpoint.Any> = [UrlBuilderRequest<Endpoint>] extends [void | undefined] ?
|
|
145
|
+
[request?: UrlBuilderRequest<Endpoint>]
|
|
146
|
+
: [request: UrlBuilderRequest<Endpoint>]
|
|
147
|
+
|
|
148
|
+
/**
|
|
149
|
+
* @since 4.0.0
|
|
150
|
+
* @category models
|
|
151
|
+
*/
|
|
152
|
+
export type UrlBuilder<Api extends HttpApi.Any> = <
|
|
153
|
+
const GroupName extends HttpApiGroup.Name<ApiGroups<Api>>,
|
|
154
|
+
const Id extends EndpointId<HttpApiGroup.EndpointsWithName<ApiGroups<Api>, GroupName>>
|
|
155
|
+
>(
|
|
156
|
+
group: GroupName,
|
|
157
|
+
endpoint: Id,
|
|
158
|
+
...args: UrlBuilderArgs<EndpointWithId<HttpApiGroup.EndpointsWithName<ApiGroups<Api>, GroupName>, Id>>
|
|
159
|
+
) => string
|
|
160
|
+
|
|
123
161
|
const makeClient = <ApiId extends string, Groups extends HttpApiGroup.Any, E, R>(
|
|
124
162
|
api: HttpApi.HttpApi<ApiId, Groups>,
|
|
125
163
|
options: {
|
|
@@ -438,6 +476,49 @@ export const endpoint = <
|
|
|
438
476
|
}).pipe(Effect.map(() => client)) as any
|
|
439
477
|
}
|
|
440
478
|
|
|
479
|
+
/**
|
|
480
|
+
* Creates a type-safe URL builder keyed by `${method} ${path}`.
|
|
481
|
+
*
|
|
482
|
+
* @example
|
|
483
|
+
* ```ts
|
|
484
|
+
* import { Schema } from "effect"
|
|
485
|
+
* import { HttpApi, HttpApiClient, HttpApiEndpoint, HttpApiGroup } from "effect/unstable/httpapi"
|
|
486
|
+
*
|
|
487
|
+
* const Api = HttpApi.make("Api").add(
|
|
488
|
+
* HttpApiGroup.make("users").add(
|
|
489
|
+
* HttpApiEndpoint.get("getUser", "/users/:id", {
|
|
490
|
+
* params: { id: Schema.String }
|
|
491
|
+
* })
|
|
492
|
+
* )
|
|
493
|
+
* )
|
|
494
|
+
*
|
|
495
|
+
* const buildUrl = HttpApiClient.urlBuilder<typeof Api>({
|
|
496
|
+
* baseUrl: "https://api.example.com"
|
|
497
|
+
* })
|
|
498
|
+
*
|
|
499
|
+
* buildUrl("users", "GET /users/:id", {
|
|
500
|
+
* params: { id: "123" }
|
|
501
|
+
* })
|
|
502
|
+
* //=> "https://api.example.com/users/123"
|
|
503
|
+
* ```
|
|
504
|
+
* @since 4.0.0
|
|
505
|
+
* @category constructors
|
|
506
|
+
*/
|
|
507
|
+
export const urlBuilder = <Api extends HttpApi.Any>(options?: {
|
|
508
|
+
readonly baseUrl?: URL | string | undefined
|
|
509
|
+
}): UrlBuilder<Api> => {
|
|
510
|
+
return ((_: string, endpoint: string, request?: {
|
|
511
|
+
readonly params?: Record<string, string | undefined> | undefined
|
|
512
|
+
readonly query?: UrlParams.Input | undefined
|
|
513
|
+
}) => {
|
|
514
|
+
const path = endpoint.slice(endpoint.indexOf(" ") + 1)
|
|
515
|
+
const withParams = request?.params === undefined ? path : compilePath(path)(request.params)
|
|
516
|
+
const query = request?.query === undefined ? "" : UrlParams.toString(UrlParams.fromInput(request.query))
|
|
517
|
+
const url = query === "" ? withParams : `${withParams}?${query}`
|
|
518
|
+
return options?.baseUrl === undefined ? url : new URL(url, options.baseUrl.toString()).toString()
|
|
519
|
+
}) as UrlBuilder<Api>
|
|
520
|
+
}
|
|
521
|
+
|
|
441
522
|
// ----------------------------------------------------------------------------
|
|
442
523
|
|
|
443
524
|
const paramsRegExp = /:(\w+)\??/g
|
|
@@ -448,7 +529,7 @@ const compilePath = (path: string) => {
|
|
|
448
529
|
if (len === 1) {
|
|
449
530
|
return (_: any) => path
|
|
450
531
|
}
|
|
451
|
-
return (params: Record<string, string>) => {
|
|
532
|
+
return (params: Record<string, string | undefined>) => {
|
|
452
533
|
let url = segments[0]
|
|
453
534
|
for (let i = 1; i < len; i++) {
|
|
454
535
|
if (i % 2 === 0) {
|
|
@@ -17,7 +17,7 @@ import * as Struct_ from "../../Struct.ts"
|
|
|
17
17
|
* @since 4.0.0
|
|
18
18
|
* @category Type IDs
|
|
19
19
|
*/
|
|
20
|
-
export const TypeId = "~effect/
|
|
20
|
+
export const TypeId = "~effect/schema/VariantSchema"
|
|
21
21
|
|
|
22
22
|
const cacheSymbol = Symbol.for(`${TypeId}/cache`)
|
|
23
23
|
|
|
@@ -71,7 +71,7 @@ export declare namespace Struct {
|
|
|
71
71
|
}
|
|
72
72
|
}
|
|
73
73
|
|
|
74
|
-
const FieldTypeId = "~effect/
|
|
74
|
+
const FieldTypeId = "~effect/schema/VariantSchema/Field"
|
|
75
75
|
|
|
76
76
|
/**
|
|
77
77
|
* @since 4.0.0
|
|
@@ -542,7 +542,7 @@ const Union = <Members extends ReadonlyArray<Struct<any>>, Variants extends Read
|
|
|
542
542
|
members: Members,
|
|
543
543
|
variants: Variants
|
|
544
544
|
) => {
|
|
545
|
-
|
|
545
|
+
const VariantUnion = Schema.Union(members.filter((member) => Schema.isSchema(member))) as any
|
|
546
546
|
for (const variant of variants) {
|
|
547
547
|
Object.defineProperty(VariantUnion, variant, {
|
|
548
548
|
value: Schema.Union(members.map((member) => extract(member, variant)))
|