Developer. Rust, TypeScript, C#, .NET... https://github.com/Ciantic/
![// Acts like branding but without changing the Type
export interface DbFormat<S extends Top, B> extends Bottom<
S["Type"],
S["Encoded"],
S["DecodingServices"],
S["EncodingServices"],
S["ast"],
DbFormat<S, B>,
S["~type.make.in"],
S["Type"],
S["~type.parameters"],
S["Type"],
S["~type.mutability"],
S["~type.optionality"],
S["~type.constructor.default"],
S["~encoded.mutability"],
S["~encoded.optionality"]
> {
readonly dbformat: B;
}
export function withDbformat<B extends string>(dbformat: B) {
return <S extends Top>(schema: S): DbFormat<S, B> => {
const result = schema.annotate({ dbformat }) as any;
Object.assign(result, { dbformat });
return result;
};
}
export const UuidString = Schema.String.check(Schema.isUUID()).pipe(
withDbformat("uuid"),
);
const test = UuidString;
const test2 = UuidString.pipe(Schema.brand("MyId"));
console.log("test", test);
console.log("test2", test2);
console.log("test", test.dbformat);
console.log("test2", test2.schema.dbformat);](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:3nlwvxcqir7gbvnai2okcrek/bafkreicl63esf6sac75ai2dyylb74hsywnindnktmrpl6r72brx5qhgkk4)
![Property '[$REFRESH]' is missing in type 'readonly { id: number; title: string; completed: boolean; }[]' but required in type '{ [$REFRESH]: any; }'.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:3nlwvxcqir7gbvnai2okcrek/bafkreidv4wlhcty4d6lbxbfdqees3qr7izoqzmz472jtuvzcaawakxdhg4)
Developer. Rust, TypeScript, C#, .NET... https://github.com/Ciantic/