askirmas/postcss-d-ts

// TODO move to https://github.com/askirmas/ts-swiss

export type Picker<T, K extends string> = {[k in K]?: T extends {[_ in k]?: infer V} ? V : undefined}

// type WithDefault<T, D> = {[K in keyof T]: K extends keyof D ? Exclude<T[K] | D[K], undefined> : T[K]}

export type Replace<
  Base,
  R extends {[k in keyof Base]?: any}
> = [Exclude<keyof R, keyof Base>] extends [never]
? Omit<Base, keyof R> & Pick<R, keyof Base>
: never

export type Part<T> =  { [P in keyof T]?: T[P] }
type DefaultsAndExamples = {"default"?: unknown, "examples"?: unknown[]}
export type SchemaWithDefaultsAndExamples = {"properties": Record<string, DefaultsAndExamples>}
export type SchemaDeclaredValues<T extends DefaultsAndExamples> = T["default"]
| (
  T["examples"] extends any[]
  ? SchemaExampleToType<Extract<T["examples"], any[]>[number], "properties" extends keyof T ? true : false>
  : never
)
// type EmptyObject = Record<never, never>

type SchemaExampleToType<T, Strict extends boolean> = T extends Record<string, any>
? Strict extends true ? T : Record<string, T[keyof T]>
: T

export type DefaultsAndExamplesFromSchema<S extends SchemaWithDefaultsAndExamples> = {
  [K in keyof S["properties"]]
  : SchemaDeclaredValues<S["properties"][K]>
}