@strictly/define 0.0.1

package/.out/types/value_type_of.d.ts

@@ -0,0 +1,24 @@
+import { type IsFieldReadonly } from '@strictly/base';
+import { type ListTypeDef, type LiteralTypeDef, type ObjectTypeDef, type RecordTypeDef, type Type, type TypeDef, type UnionTypeDef } from './definitions';
+export type ValueTypeOf<T, Extra = {}> = T extends Type ? InternalValueTypeOf<T['definition'], Extra> : never;
+export type InternalValueTypeOf<F extends TypeDef, Extra> = F extends LiteralTypeDef ? InternalValueTypeOfLiteral<F> : F extends ListTypeDef ? InternalValueTypeOfList<F, Extra> : F extends RecordTypeDef ? InternalValueTypeOfRecord<F, Extra> : F extends ObjectTypeDef ? InternalValueTypeOfObject<F, Extra> : F extends UnionTypeDef ? InternalValueTypeOfUnion<F, Extra> : never;
+type InternalValueTypeOfLiteral<F extends LiteralTypeDef> = F['valuePrototype'][number];
+type InternalValueTypeOfList<F extends ListTypeDef, Extra> = IsFieldReadonly<F, 'elements'> extends true ? readonly InternalValueTypeOf<F['elements'], Extra>[] & Extra : InternalValueTypeOf<F['elements'], Extra>[] & Extra;
+type InternalValueTypeOfRecord<F extends RecordTypeDef, Extra> = undefined extends F['valueTypeDef'] ? IsFieldReadonly<F, 'valueTypeDef'> extends true ? {
+    readonly [k in F['keyPrototype']]?: InternalValueTypeOf<F['valueTypeDef'], Extra>;
+} : {
+    [k in F['keyPrototype']]?: InternalValueTypeOf<F['valueTypeDef'], Extra>;
+} : IsFieldReadonly<F, 'valueTypeDef'> extends true ? {
+    readonly [k in F['keyPrototype']]: InternalValueTypeOf<F['valueTypeDef'], Extra>;
+} : {
+    [k in F['keyPrototype']]: InternalValueTypeOf<F['valueTypeDef'], Extra>;
+};
+type InternalValueTypeOfObject<F extends ObjectTypeDef, Extra> = F extends ObjectTypeDef<infer Fields> ? {
+    [K in keyof Fields]: InternalValueTypeOf<Fields[K], Extra>;
+} & Extra : never;
+type InternalValueTypeOfUnion<F extends UnionTypeDef, Extra> = F extends UnionTypeDef<infer D, infer U> ? D extends string ? {
+    [K in keyof U]: InternalValueTypeOf<U[K], Extra> & Readonly<Record<D, K>>;
+}[keyof U] : {
+    [K in keyof U]: InternalValueTypeOf<U[K], Extra>;
+}[keyof U] : never;
+export {};

package/.out/types/value_type_of.js

@@ -0,0 +1 @@
+export {};

package/.out/types/value_types_of_discriminated_union.d.ts

@@ -0,0 +1,9 @@
+import { type UnionTypeDef } from './definitions';
+import { type ValueTypeOf } from './value_type_of';
+export type ValueTypesOfDiscriminatedUnion<U extends UnionTypeDef> = U extends UnionTypeDef<infer D, infer Unions> ? D extends string ? {
+    [K in keyof Unions]: ValueTypeOf<{
+        definition: Unions[K];
+    }> & {
+        [KD in D]: K;
+    };
+} : never : never;

package/.out/types/value_types_of_discriminated_union.js

@@ -0,0 +1 @@
+export {};

package/.out/vitest.workspace.d.ts

@@ -0,0 +1,2 @@
+declare const _default: import("vitest/config").WorkspaceProjectConfiguration[];
+export default _default;

package/.out/vitest.workspace.js

@@ -0,0 +1,7 @@
+import { createVitestUserConfig } from '@strictly/support-vite';
+import { defineWorkspace, } from 'vitest/config';
+import tsconfig from './tsconfig.json';
+export default defineWorkspace([
+    '.',
+    createVitestUserConfig(tsconfig),
+]);

package/.turbo/turbo-build.log

@@ -0,0 +1,18 @@
+yarn run v1.22.22
+$ tsup
+CLI Building entry: index.ts
+CLI Using tsconfig: tsconfig.build.json
+CLI tsup v8.3.5
+CLI Using tsup config: /home/runner/work/de/de/packages/define/tsup.config.ts
+CLI Target: esnext
+CJS Build start
+ESM Build start
+CJS dist/index.cjs 20.29 KB
+CJS ⚡️ Build success in 60ms
+ESM dist/index.js 18.58 KB
+ESM ⚡️ Build success in 59ms
+DTS Build start
+DTS ⚡️ Build success in 4995ms
+DTS dist/index.d.cts 22.22 KB
+DTS dist/index.d.ts  22.22 KB
+Done in 5.97s.

package/.turbo/turbo-check-types.log

@@ -0,0 +1,3 @@
+yarn run v1.22.22
+$ tsc
+Done in 4.06s.

package/.turbo/turbo-release$colon$exports.log

@@ -0,0 +1,3 @@
+yarn run v1.22.22
+$ json -f package.json -f package.exports.json --merge > package.release.json
+Done in 0.08s.

package/README.md

@@ -0,0 +1,12 @@
+# Define
+
+Type definitions for specifying and modifying types
+
+## Defining Types
+
+## Type Builder
+
+## Modifying Types
+
+## Modifying Values
+