View ReadonlyArrayExt.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import { pipe } from '@fp-ts/core/Function'; | |
import * as A from '@fp-ts/core/ReadonlyArray'; | |
import * as HashMap from '@effect/data/HashMap'; | |
import { dual } from '@fp-ts/core/Function'; | |
const compare = { | |
number: (a: number, b: number) => a - b, | |
string: (a: string, b: string) => | |
a.localeCompare(b, 'en', { sensitivity: 'base' }), | |
Date: (a: Date, b: Date) => a.getTime() - b.getTime(), |
View Page.tsx
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
impport * as Z from '@effect/io/Effect'; | |
export { loader } from '~/runtime'; | |
export const zloader: Z.Effect<..., ..., ...> = currentUserOrRedirect($path('/login')); |
View error.log
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
There was an error running the data loader for route routes/dashboard.posts | |
Error: Service not found | |
at /Users/pigoz/dev/superagent/node_modules/src/internal/Context.ts:130:13 | |
at Object.successK (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/core.ts:915:60) | |
at Object.4 (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/fiberRuntime.ts:96:17) | |
at FiberRuntime.6 (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/fiberRuntime.ts:980:36) | |
at FiberRuntime.runLoop (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/fiberRuntime.ts:1173:47) | |
at FiberRuntime.evaluateEffect (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/fiberRuntime.ts:785:29) | |
at FiberRuntime.start (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/fiberRuntime.ts:840:14) | |
at RuntimeImpl.unsafeRunWith (/Users/pigoz/dev/superagent/node_modules/@effect/io/src/internal/runtime.ts:98:18) |
View helpers.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
export const pool = (name: string, self: DbTest) => { | |
return it(name, async () => { | |
return await zdb.serializable(pgpool, async conn => { | |
await self(conn); | |
await zdb.sql`ROLLBACK`.run(conn); | |
}); | |
}); | |
}; |
View remix-effect.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import * as E from '@fp-ts/data/Either'; | |
import * as Z from '@effect/io/Effect'; | |
import * as Context from '@fp-ts/data/Context'; | |
import { pipe } from '@fp-ts/data/Function'; | |
import { | |
DataFunctionArgs as DataFunctionArgs_, | |
// LoaderFunction, | |
// TypedResponse, | |
// AppLoadContext, | |
json, |
View http.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import { pipe } from '@fp-ts/data/Function'; | |
import * as E from '@fp-ts/data/Either'; | |
import * as Effect from '@effect/io/Effect'; | |
// import * as Layer from '@effect/io/Layer'; | |
// import * as Context from '@fp-ts/data/Context'; | |
import { z } from 'zod'; | |
import debug_ from 'debug'; | |
export function decode<T>(schema: z.ZodSchema<T>) { | |
return (input: unknown): E.Either<z.ZodError<T>, T> => { |
View network.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import * as React from 'react'; | |
import * as t from 'io-ts'; | |
import { pipe } from 'fp-ts/lib/pipeable'; | |
import * as E from 'fp-ts/lib/Either'; | |
import * as TE from 'fp-ts/lib/TaskEither'; | |
import * as RD from '@devexperts/remote-data-ts'; | |
interface ApiOptions<T> { | |
token?: string; | |
method?: string; |
View 000.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
rspec test.rb 1 ↵ | |
.......* | |
Pending: (Failures listed here are expected and do not affect your suite's status) | |
1) test find cool test cases | |
# Temporarily skipped with xit | |
# ./test.rb:52 | |
View contramap.ts
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
type FunctionComponent<A> = (a: A) => string | |
function contramap<A, B>(fc: FunctionComponent<A>, f: (b: B) => A): FunctionComponent<B> { | |
return b => fc(f(b)) | |
} | |
// --- esempio --- | |
interface _Props { | |
a: string |
View mpv.js
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const net = require("net"); | |
const crypto = require("crypto"); | |
const process = require("process"); | |
function random() { | |
return crypto.randomBytes(4).readUInt32LE(0); | |
} | |
function connect() { | |
const socket = process.env.SOCKET || "/tmp/mpv.sock"; |
NewerOlder