GHHG10's picture
download
raw
673 Bytes
import { Effect } from "effect"
const inputDecoder = new TextDecoder("utf-8", { fatal: true })
export function handlePtyInput(
handler: { onMessage: (message: string | ArrayBuffer) => void },
message: string | Uint8Array,
) {
if (typeof message === "string") {
handler.onMessage(message)
return Effect.void
}
return Effect.try({
try: () => inputDecoder.decode(message),
catch: () => new Error("invalid PTY websocket input"),
}).pipe(
Effect.catch(() => Effect.succeed(undefined)),
Effect.flatMap((decoded) => {
if (decoded === undefined) return Effect.void
handler.onMessage(decoded)
return Effect.void
}),
)
}

Xet Storage Details

Size:
673 Bytes
·
Xet hash:
bcf904790ac064dc93a414a62a9c5a9cf95c433beec6e1fd5269b96285245bae

Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.