Skip to content

Instantly share code, notes, and snippets.

View smhmayboudi's full-sized avatar

Hossein Mayboudi smhmayboudi

96 followers · 1 following
View GitHub Profile
@smhmayboudi
smhmayboudi / effect-schema-data-2.ts
Last active July 13, 2024 16:51
import {Schema, Serializable} from '@effect/schema';
import {Brand, Console, Effect, HashMap, Ref, pipe} from 'effect';
export type Int = number & Brand.Brand<'Int'>;
export const Int = Brand.refined<Int>(
n => Number.isInteger(n),
n => Brand.error(`expected ${n} to be an integer.`)
);
export type Positive = number & Brand.Brand<'Positive'>;
@smhmayboudi
smhmayboudi / effect-schema-data-1.ts
Last active July 13, 2024 15:59
import {Schema, Serializable} from '@effect/schema';
import {Brand, Console, Effect, HashMap, pipe, Ref} from 'effect';
export type Int = number & Brand.Brand<'Int'>;
export const Int = Brand.refined<Int>(
n => Number.isInteger(n),
n => Brand.error(`expected ${n} to be an integer.`)
);
export type Positive = number & Brand.Brand<'Positive'>;