Converting Zod to Arktype

const keysWithNumberValue = <T extends Type<object>>(t: T): T => {
    let res = {}

    t.keyof().internal.distribute((key) => {
        let tt = t.get(key as never)
        if (tt.extends(type.number))
            return (res[key] = type('number|string').pipe((v) => Number(v)))

        return (res[key] = tt.in)
    }) as never

    return type(res)
}

const userType = keysWithNumberValue(
    type({
        userName: 'string',
        age: 'number',
    }),
)

const out = userType({
    userName: 'my-name',
    age: '123',
})

if (out instanceof ArkErrors) console.log(out.summary)

/**
value at ["\"age\""] must be a number or a string (was missing)
value at ["\"userName\""] must be a string (was missing)
*/

const keysWithNumberValue = <T extends Type<object>>(t: T): T => {
    let res = {}

    t.keyof().internal.distribute((key) => {
        let tt = t.get(key as never)
        if (tt.extends(type.number))
            return (res[key] = type('number|string').pipe((v) => Number(v)))

        return (res[key] = tt.in)
    }) as never

    return type(res)
}

const userType = keysWithNumberValue(
    type({
        userName: 'string',
        age: 'number',
    }),
)

const out = userType({
    userName: 'my-name',
    age: '123',
})

if (out instanceof ArkErrors) console.log(out.summary)

/**
value at ["\"age\""] must be a number or a string (was missing)
value at ["\"userName\""] must be a string (was missing)
*/

const keysWithNumberValue = <T extends Type<object>>(t: T): T =>
    t.keyof().internal.distribute(
        key => {
            if (!key.hasKind("unit")) {
                throw new Error("Index signatures cannot be mapped")
            }

            const k: Key = key.unit as never

            let value: Type = t.get(key as never)
            return [
                k,
                (value.extends(type.number) ?
                    value.or("string.numeric.parse")
                :    value) as Type
            ]
        },
        entries => type(Object.fromEntries(entries))
    )

const keysWithNumberValue = <T extends Type<object>>(t: T): T =>
    t.keyof().internal.distribute(
        key => {
            if (!key.hasKind("unit")) {
                throw new Error("Index signatures cannot be mapped")
            }

            const k: Key = key.unit as never

            let value: Type = t.get(key as never)
            return [
                k,
                (value.extends(type.number) ?
                    value.or("string.numeric.parse")
                :    value) as Type
            ]
        },
        entries => type(Object.fromEntries(entries))
    )

onValidate({ formData }) {
    let res = parseWithArktype(formData, {
        def,
        formatError: (out) =>
            toArkI18n(out).reduce((acc, curr) => {
                return {
                    ...acc,
                    [curr.path[curr.path.length - 1]]: {
                        code: curr.code,
                        data: curr.data,
                    },
                }
            }, {}),
    })

onValidate({ formData }) {
    let res = parseWithArktype(formData, {
        def,
        formatError: (out) =>
            toArkI18n(out).reduce((acc, curr) => {
                return {
                    ...acc,
                    [curr.path[curr.path.length - 1]]: {
                        code: curr.code,
                        data: curr.data,
                    },
                }
            }, {}),
    })

    function formify<T extends Type<object>>(validator: T): T {
        return validator.keyof().internal.distribute(
            (key) => {
                if (!key.hasKind('unit')) {
                    throw new Error('Index signatures cannot be mapped');
                }
                const unit = key.unit as never;
                const value: Type = validator.get(key as never);

                let new_value: Type;
                switch (true) {
                    case value.extends(type.number):
                        console.log('Number field');
                        // This picks up number values in the original type and adds a parse string in front
                        // Any original constrints on the number are still applied
                        new_value = type('string.numeric.parse').pipe(value);
                        break;
                    case value.overlaps('boolean'):
                        // NOTE: If I use .extends here it does not pick up the field and the boolean field drops through to default.
                        // This picks up boolean values, changes to a string and then morphs 'on' back to true.
                        console.log('Boolean field');
                        new_value = type('string').pipe((text) => (text === 'on' ? true : false));
                        break;
                    default:
                        console.log('any other type of field');
                        new_value = value;
                }
                return [unit, new_value];
            },
            (entries) => type(Object.fromEntries(entries))
        );
    }

    function formify<T extends Type<object>>(validator: T): T {
        return validator.keyof().internal.distribute(
            (key) => {
                if (!key.hasKind('unit')) {
                    throw new Error('Index signatures cannot be mapped');
                }
                const unit = key.unit as never;
                const value: Type = validator.get(key as never);

                let new_value: Type;
                switch (true) {
                    case value.extends(type.number):
                        console.log('Number field');
                        // This picks up number values in the original type and adds a parse string in front
                        // Any original constrints on the number are still applied
                        new_value = type('string.numeric.parse').pipe(value);
                        break;
                    case value.overlaps('boolean'):
                        // NOTE: If I use .extends here it does not pick up the field and the boolean field drops through to default.
                        // This picks up boolean values, changes to a string and then morphs 'on' back to true.
                        console.log('Boolean field');
                        new_value = type('string').pipe((text) => (text === 'on' ? true : false));
                        break;
                    default:
                        console.log('any other type of field');
                        new_value = value;
                }
                return [unit, new_value];
            },
            (entries) => type(Object.fromEntries(entries))
        );
    }

    const person = type({
        name: 'string',
        age: 'number>18',
        height: 'number<300',
        'is_male?': 'boolean'
    });

    const fake_formData_1 = {
        // This works
        name: 'Stuart',
        age: '40',
        height: '180',
        is_male: 'on'
    };

    const fake_formData_2 = {
        // This errors.
        name: 'Stuart',
        age: '40',
        height: '180'
    }; // It seems that the formify function is converting any optional keys into required.
    // And I think I'm too dumb to figure out why!

    const person_form_validator = formify(person);

    const validated_1 = person_form_validator(fake_formData_1);
    console.log('validated_1:');
    if (validated_1 instanceof ArkErrors) console.log(validated_1.summary);
    else console.log(validated_1);

    const validated_2 = person_form_validator(fake_formData_2);
    console.log('validated_2:');
    if (validated_2 instanceof ArkErrors) console.log(validated_2.summary);
    else console.log(validated_2);

    const person = type({
        name: 'string',
        age: 'number>18',
        height: 'number<300',
        'is_male?': 'boolean'
    });

    const fake_formData_1 = {
        // This works
        name: 'Stuart',
        age: '40',
        height: '180',
        is_male: 'on'
    };

    const fake_formData_2 = {
        // This errors.
        name: 'Stuart',
        age: '40',
        height: '180'
    }; // It seems that the formify function is converting any optional keys into required.
    // And I think I'm too dumb to figure out why!

    const person_form_validator = formify(person);

    const validated_1 = person_form_validator(fake_formData_1);
    console.log('validated_1:');
    if (validated_1 instanceof ArkErrors) console.log(validated_1.summary);
    else console.log(validated_1);

    const validated_2 = person_form_validator(fake_formData_2);
    console.log('validated_2:');
    if (validated_2 instanceof ArkErrors) console.log(validated_2.summary);
    else console.log(validated_2);

 const value: Type = validator.get(key as never).exclude("undefined");

 const value: Type = validator.get(key as never).exclude("undefined");

return [type.undefined.extends(value) ? `${unit}?` : unit, new_value];`

return [type.undefined.extends(value) ? `${unit}?` : unit, new_value];`

        const key_name = key.unit as never;
        const value: Type = validator.get(key as never);
        const non_optional_value = value.exclude('undefined');
        let new_value: Type;
        switch (true) {
            case non_optional_value.extends(type.number):
                console.log('Number field');
                new_value = type('string.numeric.parse').pipe(value);
                break;
            case non_optional_value.extends('boolean'):
                console.log('Boolean field');
                new_value = type('string')
                    .pipe((text) => (text === 'on' ? true : false))
                    .pipe(value);
                break;
            default:
                console.log('any other type of field');
                new_value = non_optional_value;
        }

        const key_name = key.unit as never;
        const value: Type = validator.get(key as never);
        const non_optional_value = value.exclude('undefined');
        let new_value: Type;
        switch (true) {
            case non_optional_value.extends(type.number):
                console.log('Number field');
                new_value = type('string.numeric.parse').pipe(value);
                break;
            case non_optional_value.extends('boolean'):
                console.log('Boolean field');
                new_value = type('string')
                    .pipe((text) => (text === 'on' ? true : false))
                    .pipe(value);
                break;
            default:
                console.log('any other type of field');
                new_value = non_optional_value;
        }

    const person = type({
        'name?': 'string="Dave"',
        'age?': 'number>18=19',
        height: 'number<300',
        'is_male?': 'boolean=true'
    });

    const person = type({
        'name?': 'string="Dave"',
        'age?': 'number>18=19',
        height: 'number<300',
        'is_male?': 'boolean=true'
    });

    const fake_formData_1 = {
        name: 'stuart',
        age: '50',
        height: '180'
        //is_male: ''
    };

    const fake_formData_1 = {
        name: 'stuart',
        age: '50',
        height: '180'
        //is_male: ''
    };

        // This is the shape of the data I need. I might use it for other things as well as form input.
    const validator = type({
        bool_value: 'boolean'
    });

    // These two preprocessors are just turning what I get from an HTML form checkbox into boolean
    const pre_process_1 = type({
        bool_value: type('string="off"')
    });
    const pre_process_2 = type({
        bool_value: type('string').pipe((v) => (v === 'on' ? true : false))
    });

    const data = {
        //    bool_value does not exist, so I want it to be false
        // if bool_value='on' then I need  true.  Otherwise false.
    };

    const preprocess_1_result = pre_process_1(data);
    if (preprocess_1_result instanceof type.errors) console.log(preprocess_1_result.summary);
    else console.log('preprocess 1:', preprocess_1_result);

    const preprocess_2_result = pre_process_2(preprocess_1_result);
    if (preprocess_2_result instanceof type.errors) console.log(preprocess_2_result.summary);
    else console.log('preprocess 2:', preprocess_2_result);

    const result = validator(preprocess_2_result);
    if (result instanceof type.errors) console.log(result.summary);
    else console.log('final:', result);

        // This is the shape of the data I need. I might use it for other things as well as form input.
    const validator = type({
        bool_value: 'boolean'
    });

    // These two preprocessors are just turning what I get from an HTML form checkbox into boolean
    const pre_process_1 = type({
        bool_value: type('string="off"')
    });
    const pre_process_2 = type({
        bool_value: type('string').pipe((v) => (v === 'on' ? true : false))
    });

    const data = {
        //    bool_value does not exist, so I want it to be false
        // if bool_value='on' then I need  true.  Otherwise false.
    };

    const preprocess_1_result = pre_process_1(data);
    if (preprocess_1_result instanceof type.errors) console.log(preprocess_1_result.summary);
    else console.log('preprocess 1:', preprocess_1_result);

    const preprocess_2_result = pre_process_2(preprocess_1_result);
    if (preprocess_2_result instanceof type.errors) console.log(preprocess_2_result.summary);
    else console.log('preprocess 2:', preprocess_2_result);

    const result = validator(preprocess_2_result);
    if (result instanceof type.errors) console.log(result.summary);
    else console.log('final:', result);

const processForm = type({
    bool_value: type("string='off'").pipe(v => (v === "on" ? true : false))
})

const processForm2 = type({
    bool_value: type("string")
        .pipe(v => (v === "on" ? true : false))
        .default("off")
})

const processForm = type({
    bool_value: type("string='off'").pipe(v => (v === "on" ? true : false))
})

const processForm2 = type({
    bool_value: type("string")
        .pipe(v => (v === "on" ? true : false))
        .default("off")
})