This commit is contained in:
BluJ
2023-03-28 13:12:14 -06:00
parent ea8063a511
commit f9c558ec25
7 changed files with 177 additions and 57 deletions

View File

@@ -1,8 +1,13 @@
import * as matches from "ts-matches";
import { Parser } from "ts-matches";
import { InputSpec, unionSelectKey, ValueSpec as ValueSpecAny } from "../config/config-types";
import {
InputSpec,
unionSelectKey,
ValueSpec as ValueSpecAny,
} from "../config/config-types";
const { string, some, object, dictionary, unknown, number, literals, boolean } = matches;
const { string, some, object, dictionary, unknown, number, literals, boolean } =
matches;
type TypeBoolean = "boolean";
type TypeString = "string";
@@ -118,18 +123,28 @@ function charRange(value = "") {
* @param param1
* @returns
*/
export function generateDefault(generate: { charset: string; len: number }, { random = () => Math.random() } = {}) {
const validCharSets: number[][] = generate.charset.split(",").map(charRange).filter(Array.isArray);
export function generateDefault(
generate: { charset: string; len: number },
{ random = () => Math.random() } = {}
) {
const validCharSets: number[][] = generate.charset
.split(",")
.map(charRange)
.filter(Array.isArray);
if (validCharSets.length === 0) {
throw new Error("Expecing that we have a valid charset");
}
const max = validCharSets.reduce((acc, x) => x.reduce((x, y) => Math.max(x, y), acc), 0);
const max = validCharSets.reduce(
(acc, x) => x.reduce((x, y) => Math.max(x, y), acc),
0
);
let i = 0;
const answer: string[] = Array(generate.len);
while (i < generate.len) {
const nextValue = Math.round(random() * max);
const inRange = validCharSets.reduce(
(acc, [lower, upper]) => acc || (nextValue >= lower && nextValue <= upper),
(acc, [lower, upper]) =>
acc || (nextValue >= lower && nextValue <= upper),
false
);
if (!inRange) continue;
@@ -145,8 +160,16 @@ export function matchNumberWithRange(range: string) {
const [, left, leftValue, , rightValue, , right] = matched;
return number
.validate(
leftValue === "*" ? (_) => true : left === "[" ? (x) => x >= Number(leftValue) : (x) => x > Number(leftValue),
leftValue === "*" ? "any" : left === "[" ? `greaterThanOrEqualTo${leftValue}` : `greaterThan${leftValue}`
leftValue === "*"
? (_) => true
: left === "["
? (x) => x >= Number(leftValue)
: (x) => x > Number(leftValue),
leftValue === "*"
? "any"
: left === "["
? `greaterThanOrEqualTo${leftValue}`
: `greaterThan${leftValue}`
)
.validate(
// prettier-ignore
@@ -178,7 +201,9 @@ const isGenerator = object({
function defaultNullable<A>(parser: Parser<unknown, A>, value: unknown) {
if (matchDefault.test(value)) {
if (isGenerator(value.default)) {
return parser.defaultTo(parser.unsafeCast(generateDefault(value.default)));
return parser.defaultTo(
parser.unsafeCast(generateDefault(value.default))
);
}
return parser.defaultTo(value.default);
}
@@ -194,7 +219,9 @@ function defaultNullable<A>(parser: Parser<unknown, A>, value: unknown) {
* @param value
* @returns
*/
export function guardAll<A extends ValueSpecAny>(value: A): Parser<unknown, GuardAll<A>> {
export function guardAll<A extends ValueSpecAny>(
value: A
): Parser<unknown, GuardAll<A>> {
if (!isType.test(value)) {
return unknown as any;
}
@@ -206,7 +233,10 @@ export function guardAll<A extends ValueSpecAny>(value: A): Parser<unknown, Guar
return defaultNullable(string, value) as any;
case "number":
return defaultNullable(withIntegral(withRange(value), value), value) as any;
return defaultNullable(
withIntegral(withRange(value), value),
value
) as any;
case "object":
if (matchSpec.test(value)) {
@@ -216,7 +246,9 @@ export function guardAll<A extends ValueSpecAny>(value: A): Parser<unknown, Guar
case "list": {
const spec = (matchSpec.test(value) && value.spec) || {};
const rangeValidate = (matchRange.test(value) && matchNumberWithRange(value.range).test) || (() => true);
const rangeValidate =
(matchRange.test(value) && matchNumberWithRange(value.range).test) ||
(() => true);
const subtype = matchSubType.unsafeCast(value).subtype;
return defaultNullable(
@@ -229,23 +261,34 @@ export function guardAll<A extends ValueSpecAny>(value: A): Parser<unknown, Guar
case "select":
if (matchValues.test(value)) {
const valueKeys = Object.keys(value.values);
return defaultNullable(literals(valueKeys[0], ...valueKeys), value) as any;
return defaultNullable(
literals(valueKeys[0], ...valueKeys),
value
) as any;
}
return unknown as any;
case "multiselect":
if (matchValues.test(value)) {
const rangeValidate = (matchRange.test(value) && matchNumberWithRange(value.range).test) || (() => true);
const rangeValidate =
(matchRange.test(value) && matchNumberWithRange(value.range).test) ||
(() => true);
const valueKeys = Object.keys(value.values);
return defaultNullable(
matches.literals(valueKeys[0], ...valueKeys).validate((x) => rangeValidate(x.length), "valid length"),
matches
.literals(valueKeys[0], ...valueKeys)
.validate((x) => rangeValidate(x.length), "valid length"),
value
) as any;
}
return unknown as any;
case "union":
if (matchUnion.test(value)) {
return some(...Object.entries(value.variants).map(([_, { spec }]) => typeFromProps(spec))) as any;
return some(
...Object.entries(value.variants).map(([_, { spec }]) =>
typeFromProps(spec)
)
) as any;
}
return unknown as any;
}
@@ -260,9 +303,16 @@ export function guardAll<A extends ValueSpecAny>(value: A): Parser<unknown, Guar
* @param valueDictionary
* @returns
*/
export function typeFromProps<A extends InputSpec>(valueDictionary: A): Parser<unknown, TypeFromProps<A>> {
export function typeFromProps<A extends InputSpec>(
valueDictionary: A
): Parser<unknown, TypeFromProps<A>> {
if (!recordString.test(valueDictionary)) return unknown as any;
return object(
Object.fromEntries(Object.entries(valueDictionary).map(([key, value]) => [key, guardAll(value)]))
Object.fromEntries(
Object.entries(valueDictionary).map(([key, value]) => [
key,
guardAll(value),
])
)
) as any;
}