Skip to content

Instantly share code, notes, and snippets.

View Lucifier129's full-sized avatar
🎯
Focusing

工业聚 Lucifier129

🎯
Focusing
2.4k followers · 64 following
View GitHub Profile
@Lucifier129
Lucifier129 / passenger.ts
Last active April 9, 2021 03:32
type PassengerEnName = {
type: 'PassengerEnName';
firstname: string;
middlename?: string;
lastname: string;
};
type PassengerCnName = {
type: 'PassengerCnName';
firstname: string;
@Lucifier129
Lucifier129 / resource-management.ts
Created April 7, 2021 06:03
type ResourcesValue<T> = T extends []
? never
: T extends [Resource<infer V>]
? [V]
: T extends [Resource<infer V>, ...infer Rest]
? [V, ...ResourcesValue<Rest>]
: never;
type InitResource = {
init<T>(
@Lucifier129
Lucifier129 / one-shot-algebraic-effects.js
Created October 29, 2020 14:38
const log = (message) => {
return {
__typename: 'log',
message,
};
};
const raise = (message) => {
return {
__typename: 'exception',
@Lucifier129
Lucifier129 / interpreter-pattern-for-list-process.ts
Last active October 12, 2020 11:31
function pipe<T, A>(a: T[], a1: ListAction<T, A>): A[];
function pipe<T, A, B>(a: T[], a1: ListAction<T, A>, a2: ListAction<A, B>): B[];
function pipe<T, A, B, C>(
a: T[],
a1: ListAction<T, A>,
a2: ListAction<A, B>,
a3: ListAction<B, C>
): C[];
@Lucifier129
Lucifier129 / template-string-type-for-html.ts
Last active November 12, 2020 04:50
type ParseResult = {
success: boolean,
data: any,
source: string
}
type ParseFailed = {
suceess: false,
data: any,
source: string
@Lucifier129
Lucifier129 / template-string-type-for-path.ts
Created September 1, 2020 06:13
type ToTS<T extends string> =
T extends 'Int'
? number
: T extends 'String'
? string
: T extends 'Bool'
? boolean
: never
@Lucifier129
Lucifier129 / template-string-type-for-graphql.ts
Created September 1, 2020 05:58
type GraphQLObject<T extends string> =
T extends `\ntype ${infer TypeName} {\n${infer Fields}}\n`
? {
name: TypeName,
fields: {
[key in keyof GraphQLObjectFields<Fields>]: GraphQLObjectFields<Fields>[key]
}
}
: never
@Lucifier129
Lucifier129 / flattenChildren.ts
Created August 21, 2020 03:31
type NullElement = null | undefined;
type BasicElement = number | boolean | string;
type ArrayElement = Array<VElement>;
type ObjectElement = {
props: {
children?: ArrayElement;
};
@Lucifier129
Lucifier129 / composable-ui.ts
Created August 17, 2020 08:04
export type Renderable = {
renderable: true;
};
type RenderableVStack = {
elems: Renderable[];
} & Renderable;
const VStack = (...elems: Renderable[]): RenderableVStack => {
return {
@Lucifier129
Lucifier129 / non-empty-selector.ts
Last active August 16, 2020 15:27
type PickKey<T extends Pick<any, any>> = T extends Pick<any, infer K> ? K : never;
type EmptySelector<T extends object = any> = {
select: <K extends keyof T>(key: K) => NoneEmptySelector<T, Pick<T, K>>;
selectAll: () => CompletedSelector<T>;
};
type NoneEmptySelector<T extends object = any, P extends Pick<T, any> = any> = {
selected: P;
select: <K extends Exclude<keyof T, PickKey<P>>>(key: K) => NoneEmptySelector<T, P & Pick<T, K>>;