type-plus 8.0.0-beta.6 → 8.0.0-beta.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/{esm/type_plus → cjs/$type}/$resolve_options.d.ts +2 -2
- package/cjs/$type/$resolve_options.d.ts.map +1 -0
- package/cjs/$type/$resolve_options.js.map +1 -0
- package/cjs/$type/$type.d.ts +34 -0
- package/cjs/$type/$type.d.ts.map +1 -0
- package/cjs/{type_plus → $type}/$type.js.map +1 -1
- package/{esm/type_plus → cjs/$type}/branch/$branch.d.ts +3 -3
- package/cjs/$type/branch/$branch.d.ts.map +1 -0
- package/cjs/$type/branch/$branch.js.map +1 -0
- package/{esm/type_plus → cjs/$type}/branch/$input_options.d.ts +2 -1
- package/cjs/$type/branch/$input_options.d.ts.map +1 -0
- package/cjs/$type/branch/$input_options.js.map +1 -0
- package/cjs/$type/branch/$resolve_branch.d.ts +22 -0
- package/cjs/$type/branch/$resolve_branch.d.ts.map +1 -0
- package/cjs/$type/branch/$resolve_branch.js.map +1 -0
- package/cjs/$type/branch/$selection.d.ts +161 -0
- package/cjs/$type/branch/$selection.d.ts.map +1 -0
- package/cjs/$type/branch/$selection.js.map +1 -0
- package/cjs/$type/distributive/$distributive.d.ts +27 -0
- package/cjs/$type/distributive/$distributive.d.ts.map +1 -0
- package/cjs/$type/distributive/$distributive.js.map +1 -0
- package/cjs/$type/errors/$error.d.ts +23 -0
- package/cjs/$type/errors/$error.d.ts.map +1 -0
- package/cjs/{type_plus → $type/errors}/$error.js.map +1 -1
- package/{esm/type_plus → cjs/$type/errors}/$infer_error.d.ts +7 -6
- package/cjs/$type/errors/$infer_error.d.ts.map +1 -0
- package/cjs/$type/errors/$infer_error.js.map +1 -0
- package/{esm/type → cjs/$type/errors}/failed.d.ts +4 -0
- package/cjs/$type/errors/failed.d.ts.map +1 -0
- package/cjs/{type → $type/errors}/failed.js.map +1 -1
- package/cjs/$type/exact/$exact.d.ts +27 -0
- package/cjs/$type/exact/$exact.d.ts.map +1 -0
- package/cjs/{type_plus/branch → $type/exact}/$exact.js.map +1 -1
- package/cjs/$type/special/$any.d.ts +36 -0
- package/cjs/$type/special/$any.d.ts.map +1 -0
- package/cjs/{any/any.js → $type/special/$any.js} +1 -1
- package/cjs/$type/special/$any.js.map +1 -0
- package/cjs/$type/special/$never.d.ts +52 -0
- package/cjs/$type/special/$never.d.ts.map +1 -0
- package/cjs/$type/special/$never.js +3 -0
- package/cjs/$type/special/$never.js.map +1 -0
- package/cjs/$type/special/$special.d.ts +31 -0
- package/cjs/$type/special/$special.d.ts.map +1 -0
- package/cjs/$type/special/$special.js +3 -0
- package/cjs/$type/special/$special.js.map +1 -0
- package/cjs/$type/special/$unknown.d.ts +37 -0
- package/cjs/$type/special/$unknown.d.ts.map +1 -0
- package/cjs/$type/special/$unknown.js +3 -0
- package/cjs/$type/special/$unknown.js.map +1 -0
- package/cjs/$type/special/$void.d.ts +46 -0
- package/cjs/$type/special/$void.d.ts.map +1 -0
- package/cjs/{never/never.js → $type/special/$void.js} +1 -1
- package/cjs/$type/special/$void.js.map +1 -0
- package/cjs/$type/utils/$merge_options.d.ts +14 -0
- package/cjs/$type/utils/$merge_options.d.ts.map +1 -0
- package/cjs/$type/utils/$merge_options.js.map +1 -0
- package/cjs/any/is_any.d.ts +23 -20
- package/cjs/any/is_any.d.ts.map +1 -1
- package/cjs/any/is_not_any.d.ts +15 -14
- package/cjs/any/is_not_any.d.ts.map +1 -1
- package/cjs/array/array.some.d.ts +1 -1
- package/cjs/array/array.some.d.ts.map +1 -1
- package/cjs/array/array_plus.common_prop_keys.d.ts +1 -1
- package/cjs/array/array_plus.common_prop_keys.d.ts.map +1 -1
- package/cjs/array/array_plus.filter.d.ts +2 -2
- package/cjs/array/array_plus.filter.d.ts.map +1 -1
- package/cjs/array/array_plus.find.d.ts +2 -2
- package/cjs/array/array_plus.find.d.ts.map +1 -1
- package/cjs/array/array_plus.index_at.d.ts +16 -10
- package/cjs/array/array_plus.index_at.d.ts.map +1 -1
- package/cjs/array/array_plus.index_at.js.map +1 -1
- package/cjs/array/array_plus.is_readonly.d.ts +3 -3
- package/cjs/array/array_plus.is_readonly.d.ts.map +1 -1
- package/cjs/array/head.d.ts +3 -3
- package/cjs/array/head.d.ts.map +1 -1
- package/cjs/array/is_array.d.ts +23 -19
- package/cjs/array/is_array.d.ts.map +1 -1
- package/cjs/array/is_not_array.d.ts +23 -19
- package/cjs/array/is_not_array.d.ts.map +1 -1
- package/cjs/array/last.d.ts +5 -3
- package/cjs/array/last.d.ts.map +1 -1
- package/cjs/assertion/assert_type.d.ts.map +1 -1
- package/cjs/bigint/is_bigint.d.ts +20 -16
- package/cjs/bigint/is_bigint.d.ts.map +1 -1
- package/cjs/bigint/is_bigint_literal.d.ts +18 -13
- package/cjs/bigint/is_bigint_literal.d.ts.map +1 -1
- package/cjs/bigint/is_not_bigint.d.ts +20 -16
- package/cjs/bigint/is_not_bigint.d.ts.map +1 -1
- package/cjs/bigint/is_not_bigint_literal.d.ts +19 -13
- package/cjs/bigint/is_not_bigint_literal.d.ts.map +1 -1
- package/cjs/binary/_binary.d.ts +2 -1
- package/cjs/binary/_binary.d.ts.map +1 -1
- package/cjs/binary/_binary.js +3 -0
- package/cjs/binary/_binary.js.map +1 -1
- package/cjs/binary/bit.d.ts +26 -0
- package/cjs/binary/bit.d.ts.map +1 -0
- package/cjs/binary/{Bit.js → bit.js} +1 -1
- package/cjs/binary/bit.js.map +1 -0
- package/cjs/boolean/is_boolean.d.ts +20 -16
- package/cjs/boolean/is_boolean.d.ts.map +1 -1
- package/cjs/boolean/is_false.d.ts +15 -9
- package/cjs/boolean/is_false.d.ts.map +1 -1
- package/cjs/boolean/is_not_boolean.d.ts +21 -16
- package/cjs/boolean/is_not_boolean.d.ts.map +1 -1
- package/cjs/boolean/is_not_false.d.ts +16 -9
- package/cjs/boolean/is_not_false.d.ts.map +1 -1
- package/cjs/boolean/is_not_true.d.ts +15 -9
- package/cjs/boolean/is_not_true.d.ts.map +1 -1
- package/cjs/boolean/is_true.d.ts +15 -9
- package/cjs/boolean/is_true.d.ts.map +1 -1
- package/cjs/equal/equal.d.ts +189 -74
- package/cjs/equal/equal.d.ts.map +1 -1
- package/cjs/equal/identity_equal.d.ts +5 -1
- package/cjs/equal/identity_equal.d.ts.map +1 -1
- package/cjs/equal/is_equal.d.ts +102 -0
- package/cjs/equal/is_equal.d.ts.map +1 -0
- package/cjs/equal/is_equal.js +3 -0
- package/cjs/equal/is_equal.js.map +1 -0
- package/cjs/function/is_function.d.ts +28 -5
- package/cjs/function/is_function.d.ts.map +1 -1
- package/cjs/function/is_not_function.d.ts +1 -1
- package/cjs/function/is_not_function.d.ts.map +1 -1
- package/cjs/function/is_not_strict_function.d.ts +15 -13
- package/cjs/function/is_not_strict_function.d.ts.map +1 -1
- package/cjs/function/is_strict_function.d.ts +22 -17
- package/cjs/function/is_strict_function.d.ts.map +1 -1
- package/cjs/functional/Maybe.d.ts +1 -1
- package/cjs/functional/Maybe.d.ts.map +1 -1
- package/cjs/functional/compose.d.ts.map +1 -1
- package/cjs/functional/compose.js +1 -3
- package/cjs/functional/compose.js.map +1 -1
- package/cjs/index.d.ts +20 -21
- package/cjs/index.d.ts.map +1 -1
- package/cjs/index.js.map +1 -1
- package/cjs/logical/logical.d.ts +35 -0
- package/cjs/logical/logical.d.ts.map +1 -0
- package/cjs/{predicates → logical}/logical.js.map +1 -1
- package/cjs/math/abs.d.ts +1 -1
- package/cjs/math/abs.d.ts.map +1 -1
- package/cjs/mix_types/box.d.ts +2 -2
- package/cjs/mix_types/box.d.ts.map +1 -1
- package/cjs/mix_types/is_any_or_never.d.ts +2 -3
- package/cjs/mix_types/is_any_or_never.d.ts.map +1 -1
- package/cjs/mix_types/merge.d.ts +18 -6
- package/cjs/mix_types/merge.d.ts.map +1 -1
- package/cjs/mix_types/merge.js.map +1 -1
- package/cjs/never/is_never.d.ts +16 -15
- package/cjs/never/is_never.d.ts.map +1 -1
- package/cjs/never/is_not_never.d.ts +16 -15
- package/cjs/never/is_not_never.d.ts.map +1 -1
- package/cjs/null/is_not_null.d.ts +15 -9
- package/cjs/null/is_not_null.d.ts.map +1 -1
- package/cjs/null/is_null.d.ts +15 -9
- package/cjs/null/is_null.d.ts.map +1 -1
- package/cjs/number/is_not_number.d.ts +20 -16
- package/cjs/number/is_not_number.d.ts.map +1 -1
- package/cjs/number/is_not_number_literal.d.ts +18 -13
- package/cjs/number/is_not_number_literal.d.ts.map +1 -1
- package/cjs/number/is_number.d.ts +20 -16
- package/cjs/number/is_number.d.ts.map +1 -1
- package/cjs/number/is_number_literal.d.ts +18 -13
- package/cjs/number/is_number_literal.d.ts.map +1 -1
- package/cjs/numeric/is_integer.d.ts +18 -12
- package/cjs/numeric/is_integer.d.ts.map +1 -1
- package/cjs/numeric/is_negative.d.ts +19 -13
- package/cjs/numeric/is_negative.d.ts.map +1 -1
- package/cjs/numeric/is_not_integer.d.ts +13 -7
- package/cjs/numeric/is_not_integer.d.ts.map +1 -1
- package/cjs/numeric/is_not_negative.d.ts +15 -9
- package/cjs/numeric/is_not_negative.d.ts.map +1 -1
- package/cjs/numeric/is_not_numeric.d.ts +1 -1
- package/cjs/numeric/is_not_numeric.d.ts.map +1 -1
- package/cjs/numeric/is_not_positive.d.ts +13 -7
- package/cjs/numeric/is_not_positive.d.ts.map +1 -1
- package/cjs/numeric/is_numeric.d.ts +28 -5
- package/cjs/numeric/is_numeric.d.ts.map +1 -1
- package/cjs/numeric/is_positive.d.ts +19 -13
- package/cjs/numeric/is_positive.d.ts.map +1 -1
- package/cjs/object/ANotB.d.ts +2 -2
- package/cjs/object/ANotB.d.ts.map +1 -1
- package/cjs/object/KeysWithDiffType.d.ts +1 -1
- package/cjs/object/KeysWithDiffType.d.ts.map +1 -1
- package/cjs/object/adjust_exact_optional_props.d.ts +1 -1
- package/cjs/object/adjust_exact_optional_props.d.ts.map +1 -1
- package/cjs/object/is_not_object.d.ts +23 -19
- package/cjs/object/is_not_object.d.ts.map +1 -1
- package/cjs/object/is_object.d.ts +23 -19
- package/cjs/object/is_object.d.ts.map +1 -1
- package/cjs/object/left_join.d.ts +2 -2
- package/cjs/object/left_join.d.ts.map +1 -1
- package/cjs/object/mapProperties.d.ts +1 -1
- package/cjs/object/mapProperties.d.ts.map +1 -1
- package/cjs/object/mapProperties.js.map +1 -1
- package/cjs/object/merge.d.ts +55 -49
- package/cjs/object/merge.d.ts.map +1 -1
- package/cjs/object/optional_key.d.ts +1 -1
- package/cjs/object/optional_key.d.ts.map +1 -1
- package/cjs/object/record.d.ts.map +1 -1
- package/cjs/object/split.d.ts +1 -1
- package/cjs/object/split.d.ts.map +1 -1
- package/cjs/predicates/CanAssign.d.ts +1 -1
- package/cjs/predicates/CanAssign.d.ts.map +1 -1
- package/cjs/predicates/assignable.d.ts +23 -25
- package/cjs/predicates/assignable.d.ts.map +1 -1
- package/cjs/predicates/index.d.ts +1 -1
- package/cjs/predicates/index.d.ts.map +1 -1
- package/cjs/predicates/not_assignable.d.ts +24 -26
- package/cjs/predicates/not_assignable.d.ts.map +1 -1
- package/cjs/string/is_not_string.d.ts +20 -17
- package/cjs/string/is_not_string.d.ts.map +1 -1
- package/cjs/string/is_not_string_literal.d.ts +25 -22
- package/cjs/string/is_not_string_literal.d.ts.map +1 -1
- package/cjs/string/is_not_template_literal.d.ts +18 -13
- package/cjs/string/is_not_template_literal.d.ts.map +1 -1
- package/cjs/string/is_string.d.ts +20 -16
- package/cjs/string/is_string.d.ts.map +1 -1
- package/cjs/string/is_string_literal.d.ts +25 -22
- package/cjs/string/is_string_literal.d.ts.map +1 -1
- package/cjs/string/is_template_literal.d.ts +18 -13
- package/cjs/string/is_template_literal.d.ts.map +1 -1
- package/cjs/symbol/is_not_symbol.d.ts +15 -9
- package/cjs/symbol/is_not_symbol.d.ts.map +1 -1
- package/cjs/symbol/is_symbol.d.ts +15 -9
- package/cjs/symbol/is_symbol.d.ts.map +1 -1
- package/cjs/testing/stub.d.ts +0 -1
- package/cjs/testing/stub.d.ts.map +1 -1
- package/cjs/testing/stub.js.map +1 -1
- package/cjs/testing/test_type.d.ts +1 -1
- package/cjs/testing/test_type.d.ts.map +1 -1
- package/cjs/tuple/is_not_tuple.d.ts +18 -13
- package/cjs/tuple/is_not_tuple.d.ts.map +1 -1
- package/cjs/tuple/is_tuple.d.ts +18 -13
- package/cjs/tuple/is_tuple.d.ts.map +1 -1
- package/cjs/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
- package/cjs/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
- package/cjs/tuple/tuple_plus.drop_match.d.ts +1 -1
- package/cjs/tuple/tuple_plus.drop_match.d.ts.map +1 -1
- package/cjs/tuple/tuple_plus.find.d.ts +1 -1
- package/cjs/tuple/tuple_plus.find.d.ts.map +1 -1
- package/cjs/type-guard/is_type.d.ts +1 -1
- package/cjs/type-guard/is_type.d.ts.map +1 -1
- package/cjs/undefined/has_undefined.d.ts +4 -5
- package/cjs/undefined/has_undefined.d.ts.map +1 -1
- package/cjs/undefined/is_not_undefined.d.ts +15 -9
- package/cjs/undefined/is_not_undefined.d.ts.map +1 -1
- package/cjs/undefined/is_undefined.d.ts +15 -9
- package/cjs/undefined/is_undefined.d.ts.map +1 -1
- package/cjs/unknown/is_not_unknown.d.ts +15 -14
- package/cjs/unknown/is_not_unknown.d.ts.map +1 -1
- package/cjs/unknown/is_unknown.d.ts +15 -14
- package/cjs/unknown/is_unknown.d.ts.map +1 -1
- package/cjs/unknown/not_unknown_or.d.ts +1 -1
- package/cjs/unknown/not_unknown_or.d.ts.map +1 -1
- package/cjs/utils/Widen.d.ts +9 -2
- package/cjs/utils/Widen.d.ts.map +1 -1
- package/cjs/utils/excessive.d.ts +12 -0
- package/cjs/utils/excessive.d.ts.map +1 -0
- package/cjs/utils/excessive.js +3 -0
- package/cjs/utils/excessive.js.map +1 -0
- package/cjs/{type → utils}/no_infer.d.ts +9 -7
- package/cjs/utils/no_infer.d.ts.map +1 -0
- package/cjs/{type → utils}/no_infer.js.map +1 -1
- package/cjs/void/is_not_void.d.ts +17 -10
- package/cjs/void/is_not_void.d.ts.map +1 -1
- package/cjs/void/is_void.d.ts +17 -10
- package/cjs/void/is_void.d.ts.map +1 -1
- package/{cjs/type_plus → esm/$type}/$resolve_options.d.ts +2 -2
- package/esm/$type/$resolve_options.d.ts.map +1 -0
- package/esm/$type/$resolve_options.js.map +1 -0
- package/esm/$type/$type.d.ts +34 -0
- package/esm/$type/$type.d.ts.map +1 -0
- package/esm/{type_plus → $type}/$type.js.map +1 -1
- package/{cjs/type_plus → esm/$type}/branch/$branch.d.ts +3 -3
- package/esm/$type/branch/$branch.d.ts.map +1 -0
- package/esm/$type/branch/$branch.js.map +1 -0
- package/{cjs/type_plus → esm/$type}/branch/$input_options.d.ts +2 -1
- package/esm/$type/branch/$input_options.d.ts.map +1 -0
- package/esm/$type/branch/$input_options.js.map +1 -0
- package/esm/$type/branch/$resolve_branch.d.ts +22 -0
- package/esm/$type/branch/$resolve_branch.d.ts.map +1 -0
- package/esm/$type/branch/$resolve_branch.js.map +1 -0
- package/esm/$type/branch/$selection.d.ts +161 -0
- package/esm/$type/branch/$selection.d.ts.map +1 -0
- package/esm/$type/branch/$selection.js.map +1 -0
- package/esm/$type/distributive/$distributive.d.ts +27 -0
- package/esm/$type/distributive/$distributive.d.ts.map +1 -0
- package/esm/$type/distributive/$distributive.js.map +1 -0
- package/esm/$type/errors/$error.d.ts +23 -0
- package/esm/$type/errors/$error.d.ts.map +1 -0
- package/esm/{type_plus → $type/errors}/$error.js.map +1 -1
- package/{cjs/type_plus → esm/$type/errors}/$infer_error.d.ts +7 -6
- package/esm/$type/errors/$infer_error.d.ts.map +1 -0
- package/esm/$type/errors/$infer_error.js.map +1 -0
- package/{cjs/type → esm/$type/errors}/failed.d.ts +4 -0
- package/esm/$type/errors/failed.d.ts.map +1 -0
- package/esm/{type → $type/errors}/failed.js.map +1 -1
- package/esm/$type/exact/$exact.d.ts +27 -0
- package/esm/$type/exact/$exact.d.ts.map +1 -0
- package/esm/{type_plus/branch → $type/exact}/$exact.js.map +1 -1
- package/esm/$type/special/$any.d.ts +36 -0
- package/esm/$type/special/$any.d.ts.map +1 -0
- package/esm/$type/special/$any.js +2 -0
- package/esm/$type/special/$any.js.map +1 -0
- package/esm/$type/special/$never.d.ts +52 -0
- package/esm/$type/special/$never.d.ts.map +1 -0
- package/esm/$type/special/$never.js +2 -0
- package/esm/$type/special/$never.js.map +1 -0
- package/esm/$type/special/$special.d.ts +31 -0
- package/esm/$type/special/$special.d.ts.map +1 -0
- package/esm/$type/special/$special.js +2 -0
- package/esm/$type/special/$special.js.map +1 -0
- package/esm/$type/special/$unknown.d.ts +37 -0
- package/esm/$type/special/$unknown.d.ts.map +1 -0
- package/esm/$type/special/$unknown.js +2 -0
- package/esm/$type/special/$unknown.js.map +1 -0
- package/esm/$type/special/$void.d.ts +46 -0
- package/esm/$type/special/$void.d.ts.map +1 -0
- package/esm/$type/special/$void.js +2 -0
- package/esm/$type/special/$void.js.map +1 -0
- package/esm/$type/utils/$merge_options.d.ts +14 -0
- package/esm/$type/utils/$merge_options.d.ts.map +1 -0
- package/esm/$type/utils/$merge_options.js.map +1 -0
- package/esm/any/is_any.d.ts +23 -20
- package/esm/any/is_any.d.ts.map +1 -1
- package/esm/any/is_not_any.d.ts +15 -14
- package/esm/any/is_not_any.d.ts.map +1 -1
- package/esm/array/array.some.d.ts +1 -1
- package/esm/array/array.some.d.ts.map +1 -1
- package/esm/array/array_plus.common_prop_keys.d.ts +1 -1
- package/esm/array/array_plus.common_prop_keys.d.ts.map +1 -1
- package/esm/array/array_plus.filter.d.ts +2 -2
- package/esm/array/array_plus.filter.d.ts.map +1 -1
- package/esm/array/array_plus.find.d.ts +2 -2
- package/esm/array/array_plus.find.d.ts.map +1 -1
- package/esm/array/array_plus.index_at.d.ts +16 -10
- package/esm/array/array_plus.index_at.d.ts.map +1 -1
- package/esm/array/array_plus.index_at.js.map +1 -1
- package/esm/array/array_plus.is_readonly.d.ts +3 -3
- package/esm/array/array_plus.is_readonly.d.ts.map +1 -1
- package/esm/array/head.d.ts +3 -3
- package/esm/array/head.d.ts.map +1 -1
- package/esm/array/is_array.d.ts +23 -19
- package/esm/array/is_array.d.ts.map +1 -1
- package/esm/array/is_not_array.d.ts +23 -19
- package/esm/array/is_not_array.d.ts.map +1 -1
- package/esm/array/last.d.ts +5 -3
- package/esm/array/last.d.ts.map +1 -1
- package/esm/assertion/assert_type.d.ts.map +1 -1
- package/esm/assertion/assert_type.js.map +1 -1
- package/esm/bigint/is_bigint.d.ts +20 -16
- package/esm/bigint/is_bigint.d.ts.map +1 -1
- package/esm/bigint/is_bigint_literal.d.ts +18 -13
- package/esm/bigint/is_bigint_literal.d.ts.map +1 -1
- package/esm/bigint/is_not_bigint.d.ts +20 -16
- package/esm/bigint/is_not_bigint.d.ts.map +1 -1
- package/esm/bigint/is_not_bigint_literal.d.ts +19 -13
- package/esm/bigint/is_not_bigint_literal.d.ts.map +1 -1
- package/esm/binary/_binary.d.ts +2 -1
- package/esm/binary/_binary.d.ts.map +1 -1
- package/esm/binary/_binary.js +2 -1
- package/esm/binary/_binary.js.map +1 -1
- package/esm/binary/bit.d.ts +26 -0
- package/esm/binary/bit.d.ts.map +1 -0
- package/esm/binary/bit.js +2 -0
- package/esm/binary/bit.js.map +1 -0
- package/esm/boolean/is_boolean.d.ts +20 -16
- package/esm/boolean/is_boolean.d.ts.map +1 -1
- package/esm/boolean/is_false.d.ts +15 -9
- package/esm/boolean/is_false.d.ts.map +1 -1
- package/esm/boolean/is_not_boolean.d.ts +21 -16
- package/esm/boolean/is_not_boolean.d.ts.map +1 -1
- package/esm/boolean/is_not_false.d.ts +16 -9
- package/esm/boolean/is_not_false.d.ts.map +1 -1
- package/esm/boolean/is_not_true.d.ts +15 -9
- package/esm/boolean/is_not_true.d.ts.map +1 -1
- package/esm/boolean/is_true.d.ts +15 -9
- package/esm/boolean/is_true.d.ts.map +1 -1
- package/esm/equal/equal.d.ts +189 -74
- package/esm/equal/equal.d.ts.map +1 -1
- package/esm/equal/identity_equal.d.ts +5 -1
- package/esm/equal/identity_equal.d.ts.map +1 -1
- package/esm/equal/is_equal.d.ts +102 -0
- package/esm/equal/is_equal.d.ts.map +1 -0
- package/esm/equal/is_equal.js +2 -0
- package/esm/equal/is_equal.js.map +1 -0
- package/esm/function/is_function.d.ts +28 -5
- package/esm/function/is_function.d.ts.map +1 -1
- package/esm/function/is_not_function.d.ts +1 -1
- package/esm/function/is_not_function.d.ts.map +1 -1
- package/esm/function/is_not_strict_function.d.ts +15 -13
- package/esm/function/is_not_strict_function.d.ts.map +1 -1
- package/esm/function/is_strict_function.d.ts +22 -17
- package/esm/function/is_strict_function.d.ts.map +1 -1
- package/esm/functional/Maybe.d.ts +1 -1
- package/esm/functional/Maybe.d.ts.map +1 -1
- package/esm/functional/compose.d.ts.map +1 -1
- package/esm/functional/compose.js +1 -3
- package/esm/functional/compose.js.map +1 -1
- package/esm/index.d.ts +20 -21
- package/esm/index.d.ts.map +1 -1
- package/esm/index.js.map +1 -1
- package/esm/logical/logical.d.ts +35 -0
- package/esm/logical/logical.d.ts.map +1 -0
- package/esm/{predicates → logical}/logical.js.map +1 -1
- package/esm/math/abs.d.ts +1 -1
- package/esm/math/abs.d.ts.map +1 -1
- package/esm/mix_types/box.d.ts +2 -2
- package/esm/mix_types/box.d.ts.map +1 -1
- package/esm/mix_types/is_any_or_never.d.ts +2 -3
- package/esm/mix_types/is_any_or_never.d.ts.map +1 -1
- package/esm/mix_types/merge.d.ts +18 -6
- package/esm/mix_types/merge.d.ts.map +1 -1
- package/esm/mix_types/merge.js.map +1 -1
- package/esm/never/is_never.d.ts +16 -15
- package/esm/never/is_never.d.ts.map +1 -1
- package/esm/never/is_not_never.d.ts +16 -15
- package/esm/never/is_not_never.d.ts.map +1 -1
- package/esm/null/is_not_null.d.ts +15 -9
- package/esm/null/is_not_null.d.ts.map +1 -1
- package/esm/null/is_null.d.ts +15 -9
- package/esm/null/is_null.d.ts.map +1 -1
- package/esm/number/is_not_number.d.ts +20 -16
- package/esm/number/is_not_number.d.ts.map +1 -1
- package/esm/number/is_not_number_literal.d.ts +18 -13
- package/esm/number/is_not_number_literal.d.ts.map +1 -1
- package/esm/number/is_number.d.ts +20 -16
- package/esm/number/is_number.d.ts.map +1 -1
- package/esm/number/is_number_literal.d.ts +18 -13
- package/esm/number/is_number_literal.d.ts.map +1 -1
- package/esm/numeric/is_integer.d.ts +18 -12
- package/esm/numeric/is_integer.d.ts.map +1 -1
- package/esm/numeric/is_negative.d.ts +19 -13
- package/esm/numeric/is_negative.d.ts.map +1 -1
- package/esm/numeric/is_not_integer.d.ts +13 -7
- package/esm/numeric/is_not_integer.d.ts.map +1 -1
- package/esm/numeric/is_not_negative.d.ts +15 -9
- package/esm/numeric/is_not_negative.d.ts.map +1 -1
- package/esm/numeric/is_not_numeric.d.ts +1 -1
- package/esm/numeric/is_not_numeric.d.ts.map +1 -1
- package/esm/numeric/is_not_positive.d.ts +13 -7
- package/esm/numeric/is_not_positive.d.ts.map +1 -1
- package/esm/numeric/is_numeric.d.ts +28 -5
- package/esm/numeric/is_numeric.d.ts.map +1 -1
- package/esm/numeric/is_positive.d.ts +19 -13
- package/esm/numeric/is_positive.d.ts.map +1 -1
- package/esm/object/ANotB.d.ts +2 -2
- package/esm/object/ANotB.d.ts.map +1 -1
- package/esm/object/KeysWithDiffType.d.ts +1 -1
- package/esm/object/KeysWithDiffType.d.ts.map +1 -1
- package/esm/object/adjust_exact_optional_props.d.ts +1 -1
- package/esm/object/adjust_exact_optional_props.d.ts.map +1 -1
- package/esm/object/is_not_object.d.ts +23 -19
- package/esm/object/is_not_object.d.ts.map +1 -1
- package/esm/object/is_object.d.ts +23 -19
- package/esm/object/is_object.d.ts.map +1 -1
- package/esm/object/left_join.d.ts +2 -2
- package/esm/object/left_join.d.ts.map +1 -1
- package/esm/object/mapProperties.d.ts +1 -1
- package/esm/object/mapProperties.d.ts.map +1 -1
- package/esm/object/mapProperties.js.map +1 -1
- package/esm/object/merge.d.ts +55 -49
- package/esm/object/merge.d.ts.map +1 -1
- package/esm/object/optional_key.d.ts +1 -1
- package/esm/object/optional_key.d.ts.map +1 -1
- package/esm/object/record.d.ts.map +1 -1
- package/esm/object/split.d.ts +1 -1
- package/esm/object/split.d.ts.map +1 -1
- package/esm/predicates/CanAssign.d.ts +1 -1
- package/esm/predicates/CanAssign.d.ts.map +1 -1
- package/esm/predicates/assignable.d.ts +23 -25
- package/esm/predicates/assignable.d.ts.map +1 -1
- package/esm/predicates/index.d.ts +1 -1
- package/esm/predicates/index.d.ts.map +1 -1
- package/esm/predicates/not_assignable.d.ts +24 -26
- package/esm/predicates/not_assignable.d.ts.map +1 -1
- package/esm/string/is_not_string.d.ts +20 -17
- package/esm/string/is_not_string.d.ts.map +1 -1
- package/esm/string/is_not_string_literal.d.ts +25 -22
- package/esm/string/is_not_string_literal.d.ts.map +1 -1
- package/esm/string/is_not_template_literal.d.ts +18 -13
- package/esm/string/is_not_template_literal.d.ts.map +1 -1
- package/esm/string/is_string.d.ts +20 -16
- package/esm/string/is_string.d.ts.map +1 -1
- package/esm/string/is_string_literal.d.ts +25 -22
- package/esm/string/is_string_literal.d.ts.map +1 -1
- package/esm/string/is_template_literal.d.ts +18 -13
- package/esm/string/is_template_literal.d.ts.map +1 -1
- package/esm/symbol/is_not_symbol.d.ts +15 -9
- package/esm/symbol/is_not_symbol.d.ts.map +1 -1
- package/esm/symbol/is_symbol.d.ts +15 -9
- package/esm/symbol/is_symbol.d.ts.map +1 -1
- package/esm/testing/stub.d.ts +0 -1
- package/esm/testing/stub.d.ts.map +1 -1
- package/esm/testing/stub.js.map +1 -1
- package/esm/testing/test_type.d.ts +1 -1
- package/esm/testing/test_type.d.ts.map +1 -1
- package/esm/tuple/is_not_tuple.d.ts +18 -13
- package/esm/tuple/is_not_tuple.d.ts.map +1 -1
- package/esm/tuple/is_tuple.d.ts +18 -13
- package/esm/tuple/is_tuple.d.ts.map +1 -1
- package/esm/tuple/tuple_plus.common_prop_keys.d.ts +1 -1
- package/esm/tuple/tuple_plus.common_prop_keys.d.ts.map +1 -1
- package/esm/tuple/tuple_plus.drop_match.d.ts +1 -1
- package/esm/tuple/tuple_plus.drop_match.d.ts.map +1 -1
- package/esm/tuple/tuple_plus.find.d.ts +1 -1
- package/esm/tuple/tuple_plus.find.d.ts.map +1 -1
- package/esm/type-guard/is_type.d.ts +1 -1
- package/esm/type-guard/is_type.d.ts.map +1 -1
- package/esm/undefined/has_undefined.d.ts +4 -5
- package/esm/undefined/has_undefined.d.ts.map +1 -1
- package/esm/undefined/is_not_undefined.d.ts +15 -9
- package/esm/undefined/is_not_undefined.d.ts.map +1 -1
- package/esm/undefined/is_undefined.d.ts +15 -9
- package/esm/undefined/is_undefined.d.ts.map +1 -1
- package/esm/unknown/is_not_unknown.d.ts +15 -14
- package/esm/unknown/is_not_unknown.d.ts.map +1 -1
- package/esm/unknown/is_unknown.d.ts +15 -14
- package/esm/unknown/is_unknown.d.ts.map +1 -1
- package/esm/unknown/not_unknown_or.d.ts +1 -1
- package/esm/unknown/not_unknown_or.d.ts.map +1 -1
- package/esm/utils/Widen.d.ts +9 -2
- package/esm/utils/Widen.d.ts.map +1 -1
- package/esm/utils/excessive.d.ts +12 -0
- package/esm/utils/excessive.d.ts.map +1 -0
- package/esm/utils/excessive.js +2 -0
- package/esm/utils/excessive.js.map +1 -0
- package/esm/{type → utils}/no_infer.d.ts +9 -7
- package/esm/utils/no_infer.d.ts.map +1 -0
- package/esm/{type → utils}/no_infer.js.map +1 -1
- package/esm/void/is_not_void.d.ts +17 -10
- package/esm/void/is_not_void.d.ts.map +1 -1
- package/esm/void/is_void.d.ts +17 -10
- package/esm/void/is_void.d.ts.map +1 -1
- package/package.json +5 -5
- package/readme.md +74 -74
- package/src/{type_plus → $type}/$resolve_options.ts +4 -2
- package/src/$type/$type.ts +37 -0
- package/src/{type_plus → $type}/branch/$branch.ts +4 -2
- package/src/{type_plus → $type}/branch/$input_options.ts +2 -1
- package/src/$type/branch/$resolve_branch.ts +46 -0
- package/src/$type/branch/$selection.ts +170 -0
- package/src/$type/branch/readme.md +78 -0
- package/src/$type/distributive/$distributive.ts +34 -0
- package/src/$type/distributive/readme.md +26 -0
- package/src/$type/errors/$error.ts +20 -0
- package/src/{type_plus → $type/errors}/$infer_error.ts +7 -8
- package/src/{type → $type/errors}/failed.ts +4 -0
- package/src/$type/errors/readme.md +60 -0
- package/src/$type/exact/$exact.ts +34 -0
- package/src/$type/exact/readme.md +27 -0
- package/src/$type/readme.md +23 -0
- package/src/$type/special/$any.ts +34 -0
- package/src/$type/special/$never.ts +51 -0
- package/src/$type/special/$special.ts +40 -0
- package/src/$type/special/$unknown.ts +35 -0
- package/src/$type/special/$void.ts +44 -0
- package/src/$type/special/readme.md +51 -0
- package/src/$type/utils/$merge_options.ts +11 -0
- package/src/$type/utils/readme.md +10 -0
- package/src/any/is_any.ts +23 -20
- package/src/any/is_not_any.ts +15 -14
- package/src/any/readme.md +30 -19
- package/src/array/array.some.ts +1 -1
- package/src/array/array_plus.common_prop_keys.ts +1 -1
- package/src/array/array_plus.filter.ts +2 -2
- package/src/array/array_plus.find.ts +2 -2
- package/src/array/array_plus.index_at.ts +23 -29
- package/src/array/array_plus.is_readonly.ts +3 -3
- package/src/array/head.ts +3 -3
- package/src/array/is_array.ts +30 -23
- package/src/array/is_not_array.ts +30 -23
- package/src/array/last.ts +6 -14
- package/src/array/readme.md +3 -3
- package/src/assertion/assert_type.ts +1 -1
- package/src/bigint/is_bigint.ts +28 -21
- package/src/bigint/is_bigint_literal.ts +25 -17
- package/src/bigint/is_not_bigint.ts +27 -20
- package/src/bigint/is_not_bigint_literal.ts +26 -17
- package/src/bigint/readme.md +25 -8
- package/src/binary/_binary.ts +2 -1
- package/src/binary/bit.ts +29 -0
- package/src/binary/readme.md +11 -0
- package/src/boolean/is_boolean.ts +30 -23
- package/src/boolean/is_false.ts +18 -9
- package/src/boolean/is_not_boolean.ts +30 -22
- package/src/boolean/is_not_false.ts +19 -9
- package/src/boolean/is_not_true.ts +18 -9
- package/src/boolean/is_true.ts +18 -9
- package/src/equal/equal.ts +307 -89
- package/src/equal/identity_equal.ts +3 -7
- package/src/equal/is_equal.ts +150 -0
- package/src/equal/readme.md +20 -1
- package/src/function/is_function.ts +37 -5
- package/src/function/is_not_function.ts +1 -1
- package/src/function/is_not_strict_function.ts +16 -14
- package/src/function/is_strict_function.ts +29 -21
- package/src/functional/Maybe.ts +1 -1
- package/src/functional/compose.ts +1 -3
- package/src/index.ts +20 -21
- package/src/logical/logical.ts +52 -0
- package/src/logical/readme.md +53 -0
- package/src/math/abs.ts +1 -1
- package/src/mix_types/box.ts +2 -2
- package/src/mix_types/is_any_or_never.ts +2 -3
- package/src/mix_types/merge.ts +22 -17
- package/src/never/is_never.ts +16 -15
- package/src/never/is_not_never.ts +16 -15
- package/src/null/is_not_null.ts +18 -9
- package/src/null/is_null.ts +18 -9
- package/src/number/is_not_number.ts +27 -20
- package/src/number/is_not_number_literal.ts +25 -17
- package/src/number/is_number.ts +27 -20
- package/src/number/is_number_literal.ts +25 -17
- package/src/numeric/is_integer.ts +29 -30
- package/src/numeric/is_negative.ts +29 -20
- package/src/numeric/is_not_integer.ts +19 -10
- package/src/numeric/is_not_negative.ts +25 -13
- package/src/numeric/is_not_numeric.ts +1 -1
- package/src/numeric/is_not_positive.ts +19 -9
- package/src/numeric/is_numeric.ts +37 -5
- package/src/numeric/is_positive.ts +29 -21
- package/src/object/ANotB.ts +2 -2
- package/src/object/KeysWithDiffType.ts +1 -1
- package/src/object/adjust_exact_optional_props.ts +1 -1
- package/src/object/is_not_object.ts +29 -22
- package/src/object/is_object.ts +29 -22
- package/src/object/left_join.ts +2 -2
- package/src/object/mapProperties.ts +1 -1
- package/src/object/merge.ts +54 -50
- package/src/object/optional_key.ts +1 -1
- package/src/object/record.ts +1 -1
- package/src/object/split.ts +1 -1
- package/src/predicates/CanAssign.ts +1 -1
- package/src/predicates/assignable.ts +23 -25
- package/src/predicates/index.ts +1 -1
- package/src/predicates/not_assignable.ts +24 -26
- package/src/string/is_not_string.ts +29 -23
- package/src/string/is_not_string_literal.ts +36 -30
- package/src/string/is_not_template_literal.ts +24 -16
- package/src/string/is_string.ts +27 -20
- package/src/string/is_string_literal.ts +36 -30
- package/src/string/is_template_literal.ts +24 -16
- package/src/symbol/is_not_symbol.ts +18 -9
- package/src/symbol/is_symbol.ts +18 -9
- package/src/testing/stub.ts +0 -1
- package/src/testing/test_type.ts +1 -1
- package/src/tuple/is_not_tuple.ts +26 -17
- package/src/tuple/is_tuple.ts +25 -17
- package/src/tuple/tuple_plus.common_prop_keys.ts +1 -1
- package/src/tuple/tuple_plus.drop_match.ts +1 -1
- package/src/tuple/tuple_plus.find.ts +1 -1
- package/src/type-guard/is_type.ts +1 -1
- package/src/undefined/has_undefined.ts +5 -6
- package/src/undefined/is_not_undefined.ts +18 -9
- package/src/undefined/is_undefined.ts +18 -9
- package/src/unknown/is_not_unknown.ts +15 -14
- package/src/unknown/is_unknown.ts +15 -14
- package/src/unknown/not_unknown_or.ts +1 -1
- package/src/utils/Widen.ts +9 -2
- package/src/utils/excessive.ts +11 -0
- package/src/{type → utils}/no_infer.ts +13 -7
- package/src/utils/readme.md +17 -0
- package/src/void/is_not_void.ts +20 -10
- package/src/void/is_void.ts +20 -10
- package/cjs/any/any.d.ts +0 -49
- package/cjs/any/any.d.ts.map +0 -1
- package/cjs/any/any.js.map +0 -1
- package/cjs/binary/Bit.d.ts +0 -6
- package/cjs/binary/Bit.d.ts.map +0 -1
- package/cjs/binary/Bit.js.map +0 -1
- package/cjs/binary/index.d.ts +0 -3
- package/cjs/binary/index.d.ts.map +0 -1
- package/cjs/binary/index.js +0 -6
- package/cjs/binary/index.js.map +0 -1
- package/cjs/never/never.d.ts +0 -75
- package/cjs/never/never.d.ts.map +0 -1
- package/cjs/never/never.js.map +0 -1
- package/cjs/predicates/logical.d.ts +0 -5
- package/cjs/predicates/logical.d.ts.map +0 -1
- package/cjs/type/failed.d.ts.map +0 -1
- package/cjs/type/no_infer.d.ts.map +0 -1
- package/cjs/type_plus/$equality.d.ts +0 -12
- package/cjs/type_plus/$equality.d.ts.map +0 -1
- package/cjs/type_plus/$equality.js +0 -3
- package/cjs/type_plus/$equality.js.map +0 -1
- package/cjs/type_plus/$error.d.ts +0 -8
- package/cjs/type_plus/$error.d.ts.map +0 -1
- package/cjs/type_plus/$infer_error.d.ts.map +0 -1
- package/cjs/type_plus/$infer_error.js.map +0 -1
- package/cjs/type_plus/$merge_options.d.ts +0 -11
- package/cjs/type_plus/$merge_options.d.ts.map +0 -1
- package/cjs/type_plus/$merge_options.js.map +0 -1
- package/cjs/type_plus/$resolve_options.d.ts.map +0 -1
- package/cjs/type_plus/$resolve_options.js.map +0 -1
- package/cjs/type_plus/$special_type.d.ts +0 -19
- package/cjs/type_plus/$special_type.d.ts.map +0 -1
- package/cjs/type_plus/$special_type.js +0 -3
- package/cjs/type_plus/$special_type.js.map +0 -1
- package/cjs/type_plus/$type.d.ts +0 -11
- package/cjs/type_plus/$type.d.ts.map +0 -1
- package/cjs/type_plus/branch/$branch.d.ts.map +0 -1
- package/cjs/type_plus/branch/$branch.js.map +0 -1
- package/cjs/type_plus/branch/$distributive.d.ts +0 -19
- package/cjs/type_plus/branch/$distributive.d.ts.map +0 -1
- package/cjs/type_plus/branch/$distributive.js.map +0 -1
- package/cjs/type_plus/branch/$exact.d.ts +0 -21
- package/cjs/type_plus/branch/$exact.d.ts.map +0 -1
- package/cjs/type_plus/branch/$input_options.d.ts.map +0 -1
- package/cjs/type_plus/branch/$input_options.js.map +0 -1
- package/cjs/type_plus/branch/$is_distributive.d.ts +0 -6
- package/cjs/type_plus/branch/$is_distributive.d.ts.map +0 -1
- package/cjs/type_plus/branch/$is_distributive.js +0 -3
- package/cjs/type_plus/branch/$is_distributive.js.map +0 -1
- package/cjs/type_plus/branch/$override.d.ts +0 -21
- package/cjs/type_plus/branch/$override.d.ts.map +0 -1
- package/cjs/type_plus/branch/$override.js +0 -3
- package/cjs/type_plus/branch/$override.js.map +0 -1
- package/cjs/type_plus/branch/$resolve_branch.d.ts +0 -29
- package/cjs/type_plus/branch/$resolve_branch.d.ts.map +0 -1
- package/cjs/type_plus/branch/$resolve_branch.js.map +0 -1
- package/cjs/type_plus/branch/$select.d.ts +0 -77
- package/cjs/type_plus/branch/$select.d.ts.map +0 -1
- package/cjs/type_plus/branch/$select.js +0 -3
- package/cjs/type_plus/branch/$select.js.map +0 -1
- package/cjs/type_plus/branch/$select_invert.d.ts +0 -75
- package/cjs/type_plus/branch/$select_invert.d.ts.map +0 -1
- package/cjs/type_plus/branch/$select_invert.js +0 -3
- package/cjs/type_plus/branch/$select_invert.js.map +0 -1
- package/cjs/type_plus/branch/$select_invert_strict.d.ts +0 -75
- package/cjs/type_plus/branch/$select_invert_strict.d.ts.map +0 -1
- package/cjs/type_plus/branch/$select_invert_strict.js +0 -3
- package/cjs/type_plus/branch/$select_invert_strict.js.map +0 -1
- package/cjs/type_plus/branch/$select_strict.d.ts +0 -76
- package/cjs/type_plus/branch/$select_strict.d.ts.map +0 -1
- package/cjs/type_plus/branch/$select_strict.js +0 -3
- package/cjs/type_plus/branch/$select_strict.js.map +0 -1
- package/cjs/type_plus/branch/$selection.d.ts +0 -127
- package/cjs/type_plus/branch/$selection.d.ts.map +0 -1
- package/cjs/type_plus/branch/$selection.js.map +0 -1
- package/cjs/type_plus/branch/$selection_options.d.ts +0 -37
- package/cjs/type_plus/branch/$selection_options.d.ts.map +0 -1
- package/cjs/type_plus/branch/$selection_options.js +0 -3
- package/cjs/type_plus/branch/$selection_options.js.map +0 -1
- package/cjs/unknown/unknown.d.ts +0 -55
- package/cjs/unknown/unknown.d.ts.map +0 -1
- package/cjs/unknown/unknown.js +0 -3
- package/cjs/unknown/unknown.js.map +0 -1
- package/esm/any/any.d.ts +0 -49
- package/esm/any/any.d.ts.map +0 -1
- package/esm/any/any.js +0 -2
- package/esm/any/any.js.map +0 -1
- package/esm/binary/Bit.d.ts +0 -6
- package/esm/binary/Bit.d.ts.map +0 -1
- package/esm/binary/Bit.js +0 -2
- package/esm/binary/Bit.js.map +0 -1
- package/esm/binary/index.d.ts +0 -3
- package/esm/binary/index.d.ts.map +0 -1
- package/esm/binary/index.js +0 -3
- package/esm/binary/index.js.map +0 -1
- package/esm/never/never.d.ts +0 -75
- package/esm/never/never.d.ts.map +0 -1
- package/esm/never/never.js +0 -2
- package/esm/never/never.js.map +0 -1
- package/esm/predicates/logical.d.ts +0 -5
- package/esm/predicates/logical.d.ts.map +0 -1
- package/esm/type/failed.d.ts.map +0 -1
- package/esm/type/no_infer.d.ts.map +0 -1
- package/esm/type_plus/$equality.d.ts +0 -12
- package/esm/type_plus/$equality.d.ts.map +0 -1
- package/esm/type_plus/$equality.js +0 -2
- package/esm/type_plus/$equality.js.map +0 -1
- package/esm/type_plus/$error.d.ts +0 -8
- package/esm/type_plus/$error.d.ts.map +0 -1
- package/esm/type_plus/$infer_error.d.ts.map +0 -1
- package/esm/type_plus/$infer_error.js.map +0 -1
- package/esm/type_plus/$merge_options.d.ts +0 -11
- package/esm/type_plus/$merge_options.d.ts.map +0 -1
- package/esm/type_plus/$merge_options.js.map +0 -1
- package/esm/type_plus/$resolve_options.d.ts.map +0 -1
- package/esm/type_plus/$resolve_options.js.map +0 -1
- package/esm/type_plus/$special_type.d.ts +0 -19
- package/esm/type_plus/$special_type.d.ts.map +0 -1
- package/esm/type_plus/$special_type.js +0 -2
- package/esm/type_plus/$special_type.js.map +0 -1
- package/esm/type_plus/$type.d.ts +0 -11
- package/esm/type_plus/$type.d.ts.map +0 -1
- package/esm/type_plus/branch/$branch.d.ts.map +0 -1
- package/esm/type_plus/branch/$branch.js.map +0 -1
- package/esm/type_plus/branch/$distributive.d.ts +0 -19
- package/esm/type_plus/branch/$distributive.d.ts.map +0 -1
- package/esm/type_plus/branch/$distributive.js.map +0 -1
- package/esm/type_plus/branch/$exact.d.ts +0 -21
- package/esm/type_plus/branch/$exact.d.ts.map +0 -1
- package/esm/type_plus/branch/$input_options.d.ts.map +0 -1
- package/esm/type_plus/branch/$input_options.js.map +0 -1
- package/esm/type_plus/branch/$is_distributive.d.ts +0 -6
- package/esm/type_plus/branch/$is_distributive.d.ts.map +0 -1
- package/esm/type_plus/branch/$is_distributive.js +0 -2
- package/esm/type_plus/branch/$is_distributive.js.map +0 -1
- package/esm/type_plus/branch/$override.d.ts +0 -21
- package/esm/type_plus/branch/$override.d.ts.map +0 -1
- package/esm/type_plus/branch/$override.js +0 -2
- package/esm/type_plus/branch/$override.js.map +0 -1
- package/esm/type_plus/branch/$resolve_branch.d.ts +0 -29
- package/esm/type_plus/branch/$resolve_branch.d.ts.map +0 -1
- package/esm/type_plus/branch/$resolve_branch.js.map +0 -1
- package/esm/type_plus/branch/$select.d.ts +0 -77
- package/esm/type_plus/branch/$select.d.ts.map +0 -1
- package/esm/type_plus/branch/$select.js +0 -2
- package/esm/type_plus/branch/$select.js.map +0 -1
- package/esm/type_plus/branch/$select_invert.d.ts +0 -75
- package/esm/type_plus/branch/$select_invert.d.ts.map +0 -1
- package/esm/type_plus/branch/$select_invert.js +0 -2
- package/esm/type_plus/branch/$select_invert.js.map +0 -1
- package/esm/type_plus/branch/$select_invert_strict.d.ts +0 -75
- package/esm/type_plus/branch/$select_invert_strict.d.ts.map +0 -1
- package/esm/type_plus/branch/$select_invert_strict.js +0 -2
- package/esm/type_plus/branch/$select_invert_strict.js.map +0 -1
- package/esm/type_plus/branch/$select_strict.d.ts +0 -76
- package/esm/type_plus/branch/$select_strict.d.ts.map +0 -1
- package/esm/type_plus/branch/$select_strict.js +0 -2
- package/esm/type_plus/branch/$select_strict.js.map +0 -1
- package/esm/type_plus/branch/$selection.d.ts +0 -127
- package/esm/type_plus/branch/$selection.d.ts.map +0 -1
- package/esm/type_plus/branch/$selection.js.map +0 -1
- package/esm/type_plus/branch/$selection_options.d.ts +0 -37
- package/esm/type_plus/branch/$selection_options.d.ts.map +0 -1
- package/esm/type_plus/branch/$selection_options.js +0 -2
- package/esm/type_plus/branch/$selection_options.js.map +0 -1
- package/esm/unknown/unknown.d.ts +0 -55
- package/esm/unknown/unknown.d.ts.map +0 -1
- package/esm/unknown/unknown.js +0 -2
- package/esm/unknown/unknown.js.map +0 -1
- package/src/any/any.ts +0 -46
- package/src/binary/Bit.ts +0 -6
- package/src/binary/index.ts +0 -2
- package/src/never/never.ts +0 -78
- package/src/predicates/logical.ts +0 -19
- package/src/type/readme.md +0 -36
- package/src/type_plus/$equality.ts +0 -12
- package/src/type_plus/$error.ts +0 -8
- package/src/type_plus/$merge_options.ts +0 -8
- package/src/type_plus/$special_type.ts +0 -26
- package/src/type_plus/$type.ts +0 -10
- package/src/type_plus/branch/$distributive.ts +0 -19
- package/src/type_plus/branch/$exact.ts +0 -28
- package/src/type_plus/branch/$is_distributive.ts +0 -15
- package/src/type_plus/branch/$override.ts +0 -22
- package/src/type_plus/branch/$resolve_branch.ts +0 -71
- package/src/type_plus/branch/$select.ts +0 -89
- package/src/type_plus/branch/$select_invert.ts +0 -83
- package/src/type_plus/branch/$select_invert_strict.ts +0 -83
- package/src/type_plus/branch/$select_strict.ts +0 -88
- package/src/type_plus/branch/$selection.ts +0 -134
- package/src/type_plus/branch/$selection_options.ts +0 -36
- package/src/type_plus/readme.md +0 -25
- package/src/unknown/unknown.ts +0 -57
- /package/cjs/{type_plus → $type}/$resolve_options.js +0 -0
- /package/cjs/{type_plus → $type}/$type.js +0 -0
- /package/cjs/{type_plus → $type}/branch/$branch.js +0 -0
- /package/cjs/{type_plus → $type}/branch/$input_options.js +0 -0
- /package/cjs/{type_plus → $type}/branch/$resolve_branch.js +0 -0
- /package/cjs/{type_plus → $type}/branch/$selection.js +0 -0
- /package/cjs/{type_plus/branch → $type/distributive}/$distributive.js +0 -0
- /package/cjs/{type_plus → $type/errors}/$error.js +0 -0
- /package/cjs/{type_plus → $type/errors}/$infer_error.js +0 -0
- /package/cjs/{type → $type/errors}/failed.js +0 -0
- /package/cjs/{type_plus/branch → $type/exact}/$exact.js +0 -0
- /package/cjs/{type_plus → $type/utils}/$merge_options.js +0 -0
- /package/cjs/{predicates → logical}/logical.js +0 -0
- /package/cjs/{type → utils}/no_infer.js +0 -0
- /package/esm/{type_plus → $type}/$resolve_options.js +0 -0
- /package/esm/{type_plus → $type}/$type.js +0 -0
- /package/esm/{type_plus → $type}/branch/$branch.js +0 -0
- /package/esm/{type_plus → $type}/branch/$input_options.js +0 -0
- /package/esm/{type_plus → $type}/branch/$resolve_branch.js +0 -0
- /package/esm/{type_plus → $type}/branch/$selection.js +0 -0
- /package/esm/{type_plus/branch → $type/distributive}/$distributive.js +0 -0
- /package/esm/{type_plus → $type/errors}/$error.js +0 -0
- /package/esm/{type_plus → $type/errors}/$infer_error.js +0 -0
- /package/esm/{type → $type/errors}/failed.js +0 -0
- /package/esm/{type_plus/branch → $type/exact}/$exact.js +0 -0
- /package/esm/{type_plus → $type/utils}/$merge_options.js +0 -0
- /package/esm/{predicates → logical}/logical.js +0 -0
- /package/esm/{type → utils}/no_infer.js +0 -0
|
@@ -1,14 +1,18 @@
|
|
|
1
|
+
import type { $ResolveOptions } from '../$type/$resolve_options.js';
|
|
2
|
+
import type { $InputOptions } from '../$type/branch/$input_options.js';
|
|
3
|
+
import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
|
|
4
|
+
import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
|
|
5
|
+
import type { $Distributive } from '../$type/distributive/$distributive.js';
|
|
6
|
+
import type { $Exact } from '../$type/exact/$exact.js';
|
|
7
|
+
import type { $Any } from '../$type/special/$any.js';
|
|
8
|
+
import type { $Never } from '../$type/special/$never.js';
|
|
9
|
+
import type { $Special } from '../$type/special/$special.js';
|
|
10
|
+
import type { $Unknown } from '../$type/special/$unknown.js';
|
|
11
|
+
import type { $Void } from '../$type/special/$void.js';
|
|
12
|
+
import type { $MergeOptions } from '../$type/utils/$merge_options.js';
|
|
1
13
|
import type { IdentityEqual } from '../equal/identity_equal.js';
|
|
2
14
|
import type { IsNever } from '../never/is_never.js';
|
|
3
15
|
import type { Assignable } from '../predicates/assignable.js';
|
|
4
|
-
import type { $Equality } from '../type_plus/$equality.js';
|
|
5
|
-
import type { $MergeOptions } from '../type_plus/$merge_options.js';
|
|
6
|
-
import type { $ResolveOptions } from '../type_plus/$resolve_options.js';
|
|
7
|
-
import type { $SpecialType } from '../type_plus/$special_type.js';
|
|
8
|
-
import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js';
|
|
9
|
-
import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js';
|
|
10
|
-
import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js';
|
|
11
|
-
import type { $Else, $Then } from '../type_plus/branch/$selection.js';
|
|
12
16
|
/**
|
|
13
17
|
* 🎭 *predicate*
|
|
14
18
|
*
|
|
@@ -75,13 +79,13 @@ import type { $Else, $Then } from '../type_plus/branch/$selection.js';
|
|
|
75
79
|
* type R = IsObject<string, $SelectionBranch> // $Else
|
|
76
80
|
* ```
|
|
77
81
|
*/
|
|
78
|
-
export type IsObject<T, $O extends IsObject.$Options = {}> = $
|
|
79
|
-
$then: $ResolveBranch
|
|
82
|
+
export type IsObject<T, $O extends IsObject.$Options = {}> = $Special<T, $MergeOptions<$O, {
|
|
83
|
+
$then: $ResolveBranch<$O, [$Else]>;
|
|
80
84
|
$else: IsObject.$<T, $O>;
|
|
81
85
|
}>>;
|
|
82
86
|
export declare namespace IsObject {
|
|
83
|
-
type $Options = $
|
|
84
|
-
type $Branch<$O extends $Options = {}> = $
|
|
87
|
+
type $Options = $Selection.Options & $Distributive.Options & $Exact.Options & $InputOptions<$Any | $Unknown | $Never | $Void>;
|
|
88
|
+
type $Branch<$O extends $Options = {}> = $Selection.Branch<$O>;
|
|
85
89
|
/**
|
|
86
90
|
* 🧰 *type util*
|
|
87
91
|
*
|
|
@@ -90,15 +94,15 @@ export declare namespace IsObject {
|
|
|
90
94
|
* This is a type util for building custom types.
|
|
91
95
|
* It does not check against special types.
|
|
92
96
|
*/
|
|
93
|
-
type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $
|
|
97
|
+
type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.Default]> extends true ? $Distributive.Parse<$O, {
|
|
94
98
|
$then: _D<T, $O>;
|
|
95
99
|
$else: _N<T, $O>;
|
|
96
100
|
}> : Assignable.$<T, object, $O>;
|
|
97
|
-
type $UtilOptions = Assignable.$UtilOptions & $
|
|
98
|
-
type _D<T, $O extends $UtilOptions> = T extends object ? IdentityEqual<T, {}, $ResolveBranch
|
|
99
|
-
$then: $ResolveBranch
|
|
100
|
-
$else: $ResolveBranch
|
|
101
|
-
}>> : $ResolveBranch
|
|
102
|
-
type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U] ? U extends object ? $ResolveBranch
|
|
101
|
+
type $UtilOptions = Assignable.$UtilOptions & $Exact.Options;
|
|
102
|
+
type _D<T, $O extends $UtilOptions> = T extends object ? IdentityEqual<T, {}, $ResolveBranch<$O, [$Else]>, IsNever<keyof T, {
|
|
103
|
+
$then: $ResolveBranch<$O, [$Then], T>;
|
|
104
|
+
$else: $ResolveBranch<$O, [$Else]>;
|
|
105
|
+
}>> : $ResolveBranch<$O, [$Else]>;
|
|
106
|
+
type _N<T, $O extends $UtilOptions> = [T] extends [object & infer U] ? U extends object ? $ResolveBranch<$O, [$Else]> : $ResolveBranch<$O, [$Then], T> : $ResolveBranch<$O, [$Else]>;
|
|
103
107
|
}
|
|
104
108
|
//# sourceMappingURL=is_object.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"is_object.d.ts","sourceRoot":"","sources":["../../src/object/is_object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"is_object.d.ts","sourceRoot":"","sources":["../../src/object/is_object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AACrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAA;AAE7D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACpE,CAAC,EACD,aAAa,CACZ,EAAE,EACF;IACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAClC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;CACxB,CACD,CACD,CAAA;AAED,yBAAiB,QAAQ,CAAC;IACzB,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GACxC,aAAa,CAAC,OAAO,GACrB,MAAM,CAAC,OAAO,GACd,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC,CAAA;IAChD,KAAY,OAAO,CAAC,EAAE,SAAS,QAAQ,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAErE;;;;;;;OAOG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,GACpG,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE;QAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,GAC/D,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,CAAA;IAC9B,KAAY,YAAY,GAAG,UAAU,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAA;IAEnE,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,SAAS,MAAM,GAC1D,aAAa,CACb,CAAC,EACD,EAAE,EACF,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAC3B,OAAO,CACN,MAAM,CAAC,EACP;QACC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QACrC,KAAK,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;KAClC,CACD,CACD,GACA,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IAE9B,KAAY,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,GACxE,CAAC,SAAS,MAAM,GACf,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAC3B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAC/B,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;CAC9B"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
import type { IsEqual } from '../equal/
|
|
2
|
-
import type { AnyRecord } from './any_record.js';
|
|
1
|
+
import type { IsEqual } from '../equal/is_equal.js';
|
|
3
2
|
import type { IsDisjoint } from './IsDisjoint.js';
|
|
3
|
+
import type { AnyRecord } from './any_record.js';
|
|
4
4
|
import type { Properties } from './properties.js';
|
|
5
5
|
export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true ? A : IsDisjoint<A, B> extends true ? A & B : Properties<{
|
|
6
6
|
[k in Exclude<keyof A, keyof B>]: A[k];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"left_join.d.ts","sourceRoot":"","sources":["../../src/object/left_join.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"left_join.d.ts","sourceRoot":"","sources":["../../src/object/left_join.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACxF,CAAC,GACD,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,CAAC,GAAG,CAAC,GACL,UAAU,CAAC;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mapProperties.d.ts","sourceRoot":"","sources":["../../src/object/mapProperties.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"mapProperties.d.ts","sourceRoot":"","sources":["../../src/object/mapProperties.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAGhD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,OAAO,SAAS,SAAS,EAAE,UAAU,EAClE,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,OAAO,EAAE,GAAG,EAAE,OAAO,KAAK,UAAU,GACnF;KAAG,CAAC,IAAI,MAAM,OAAO,GAAG,UAAU;CAAE,CAMtC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mapProperties.js","sourceRoot":"","sources":["../../src/object/mapProperties.ts"],"names":[],"mappings":";;;
|
|
1
|
+
{"version":3,"file":"mapProperties.js","sourceRoot":"","sources":["../../src/object/mapProperties.ts"],"names":[],"mappings":";;;AAEA,iDAA4C;AAE5C;;;;;;;GAOG;AACH,SAAgB,aAAa,CAC5B,OAAgB,EAChB,UAAqF;IAErF,OAAO,IAAA,0BAAW,EACjB,OAAO,EACP,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAClE,EAA0C,CAC1C,CAAA;AACF,CAAC;AATD,sCASC"}
|
package/cjs/object/merge.d.ts
CHANGED
|
@@ -1,13 +1,13 @@
|
|
|
1
|
+
import type { $Never } from '../$type/special/$never.js';
|
|
1
2
|
import type { IsAny } from '../any/is_any.js';
|
|
2
3
|
import type { NonComposableTypes } from '../composable_types.js';
|
|
4
|
+
import type { Or } from '../logical/logical.js';
|
|
3
5
|
import type { IsNever } from '../never/is_never.js';
|
|
4
6
|
import type { IsNotNever } from '../never/is_not_never.js';
|
|
5
|
-
import type { $Never } from '../never/never.js';
|
|
6
7
|
import type { IsLiteral } from '../predicates/literal.js';
|
|
7
|
-
import type { Or } from '../predicates/logical.js';
|
|
8
|
-
import type { AnyRecord } from './any_record.js';
|
|
9
8
|
import type { IsDisjoint } from './IsDisjoint.js';
|
|
10
9
|
import type { KeyTypes } from './KeyTypes.js';
|
|
10
|
+
import type { AnyRecord } from './any_record.js';
|
|
11
11
|
import type { OptionalKeys } from './optional_key.js';
|
|
12
12
|
/**
|
|
13
13
|
* ⚗️ *transform*
|
|
@@ -20,52 +20,58 @@ import type { OptionalKeys } from './optional_key.js';
|
|
|
20
20
|
* It handles cases like A or B are `Record`,
|
|
21
21
|
* joining between required and optional props, etc.
|
|
22
22
|
*/
|
|
23
|
-
export type Merge<A extends AnyRecord, B extends AnyRecord, Options = Merge.DefaultOptions> = Or<IsAny<A>, IsAny<B>,
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
}> extends infer R extends KeyTypes ? {
|
|
31
|
-
|
|
32
|
-
} : unknown) & (IsNotNever<Exclude<
|
|
33
|
-
|
|
34
|
-
}> extends infer R extends KeyTypes ? {
|
|
35
|
-
|
|
36
|
-
} : unknown) & (IsNotNever<Exclude<
|
|
37
|
-
|
|
38
|
-
}> extends infer R extends KeyTypes ? {
|
|
39
|
-
|
|
40
|
-
} : unknown)
|
|
41
|
-
|
|
42
|
-
}> extends infer R extends KeyTypes ? {
|
|
43
|
-
|
|
44
|
-
} : unknown)
|
|
45
|
-
|
|
46
|
-
}> extends infer R extends KeyTypes ? {
|
|
47
|
-
|
|
48
|
-
} : unknown) & (IsNotNever<KA & KB
|
|
49
|
-
|
|
50
|
-
}> extends infer R extends KeyTypes ? {
|
|
51
|
-
|
|
52
|
-
} : unknown)
|
|
53
|
-
|
|
54
|
-
}
|
|
55
|
-
|
|
56
|
-
} :
|
|
57
|
-
|
|
58
|
-
}
|
|
59
|
-
|
|
60
|
-
} :
|
|
61
|
-
|
|
62
|
-
}> extends infer R extends KeyTypes ? {
|
|
63
|
-
|
|
64
|
-
} : unknown) & (IsNotNever<KA & KB
|
|
65
|
-
|
|
66
|
-
}> extends infer R extends KeyTypes ? {
|
|
67
|
-
|
|
68
|
-
} : unknown)
|
|
23
|
+
export type Merge<A extends AnyRecord, B extends AnyRecord, Options = Merge.DefaultOptions> = Or<IsAny<A>, IsAny<B>, {
|
|
24
|
+
$then: any;
|
|
25
|
+
$else: Or<IsNever<A>, IsNever<B>, {
|
|
26
|
+
$then: never;
|
|
27
|
+
$else: IsDisjoint<A, B> extends true ? A & B : [keyof A, keyof B] extends [infer KA extends KeyTypes, infer KB extends KeyTypes] ? IsLiteral<KA> extends true ? IsLiteral<KB> extends true ? [OptionalKeys<A>, OptionalKeys<B>] extends [infer PKA extends KeyTypes, infer PKB extends KeyTypes] ? // property is optional when both A[k] and B[k] are optional
|
|
28
|
+
(IsNotNever<PKA & PKB, {
|
|
29
|
+
selection: 'filter';
|
|
30
|
+
}> extends infer R extends KeyTypes ? {
|
|
31
|
+
[k in R]?: A[k] | B[k];
|
|
32
|
+
} : unknown) & (IsNotNever<Exclude<KA, PKA | KB>, {
|
|
33
|
+
selection: 'filter';
|
|
34
|
+
}> extends infer R extends KeyTypes ? {
|
|
35
|
+
[k in R]: A[k];
|
|
36
|
+
} : unknown) & (IsNotNever<Exclude<KB, PKB>, {
|
|
37
|
+
selection: 'filter';
|
|
38
|
+
}> extends infer R extends KeyTypes ? {
|
|
39
|
+
[k in R]: B[k];
|
|
40
|
+
} : unknown) & (IsNotNever<Exclude<KA & PKB, PKA>, {
|
|
41
|
+
selection: 'filter';
|
|
42
|
+
}> extends infer R extends KeyTypes ? {
|
|
43
|
+
[k in R]: A[k] | Exclude<B[k], undefined>;
|
|
44
|
+
} : unknown) : never : (IsNotNever<Exclude<KA, KA & KB>, {
|
|
45
|
+
selection: 'filter';
|
|
46
|
+
}> extends infer R extends KeyTypes ? {
|
|
47
|
+
[k in R]: A[k];
|
|
48
|
+
} : unknown) & (IsNotNever<Exclude<KB, KA & KB>, {
|
|
49
|
+
selection: 'filter';
|
|
50
|
+
}> extends infer R extends KeyTypes ? {
|
|
51
|
+
[k in R]: B[k];
|
|
52
|
+
} : unknown) & (IsNotNever<KA & KB, {
|
|
53
|
+
selection: 'filter';
|
|
54
|
+
}> extends infer R extends KeyTypes ? {
|
|
55
|
+
[k in R]: A[k] | B[k];
|
|
56
|
+
} : unknown) : IsLiteral<KB> extends true ? {
|
|
57
|
+
[k in Exclude<KA, KB>]: A[k];
|
|
58
|
+
} & {
|
|
59
|
+
[k in keyof B]: B[k];
|
|
60
|
+
} : (IsNotNever<Exclude<KA, KA & KB>, {
|
|
61
|
+
selection: 'filter';
|
|
62
|
+
}> extends infer R extends KeyTypes ? {
|
|
63
|
+
[k in R]: A[k];
|
|
64
|
+
} : unknown) & (IsNotNever<Exclude<KB, KA & KB>, {
|
|
65
|
+
selection: 'filter';
|
|
66
|
+
}> extends infer R extends KeyTypes ? {
|
|
67
|
+
[k in R]: B[k];
|
|
68
|
+
} : unknown) & (IsNotNever<KA & KB, {
|
|
69
|
+
selection: 'filter';
|
|
70
|
+
}> extends infer R extends KeyTypes ? {
|
|
71
|
+
[k in R]: A[k] | B[k];
|
|
72
|
+
} : unknown) : never;
|
|
73
|
+
}>;
|
|
74
|
+
}>;
|
|
69
75
|
export declare namespace Merge {
|
|
70
76
|
type JoinProps<A, B> = A extends NonComposableTypes ? B : B extends NonComposableTypes ? A : A & B;
|
|
71
77
|
type Options = {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/object/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/object/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAA;AAChE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,uBAAuB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAErD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAChB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,EAEnB,OAAO,GAAG,KAAK,CAAC,cAAc,IAC3B,EAAE,CACL,KAAK,CAAC,CAAC,CAAC,EACR,KAAK,CAAC,CAAC,CAAC,EACR;IACC,KAAK,EAAE,GAAG,CAAA;IACV,KAAK,EAAE,EAAE,CACR,OAAO,CAAC,CAAC,CAAC,EACV,OAAO,CAAC,CAAC,CAAC,EACV;QACC,KAAK,EAAE,KAAK,CAAA;QACZ,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACjC,CAAC,GAAG,CAAC,GACL,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,MAAM,EAAE,SAAS,QAAQ,CAAC,GAChF,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,SAAS,QAAQ,EAAE,MAAM,GAAG,SAAS,QAAQ,CAAC,GAEnG,AADC,4DAA4D;QAC7D,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GAC7E;aAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAC1B,OAAO,CAAC,GAEV,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GACzF;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAClB,OAAO,CAAC,GAEX,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GACpF;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAClB,OAAO,CAAC,GAEX,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GAC1F;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;SAAE,GAC7C,OAAO,CAAC,GACX,KAAK,GACN,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GACzF;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAClB,OAAO,CAAC,GACV,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GACxF;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAClB,OAAO,CAAC,GACX,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GAC3E;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GACzB,OAAO,CAAC,GACZ,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB;aAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAAG;aAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAC3D,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GACzF;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAClB,OAAO,CAAC,GACV,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GACxF;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GAClB,OAAO,CAAC,GACX,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,EAAE;YAAE,SAAS,EAAE,QAAQ,CAAA;SAAE,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GAC3E;aAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAAE,GACzB,OAAO,CAAC,GACb,KAAK,CAAA;KACT,CACD,CAAA;CACD,CACD,CAAA;AAED,yBAAiB,KAAK,CAAC;IACtB,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,kBAAkB,GAAG,CAAC,GAAG,CAAC,SAAS,kBAAkB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAEzG,KAAY,OAAO,GAAG;QACrB,MAAM,CAAC,EAAE,SAAS,CAAA;KAClB,CAAA;IAED,UAAiB,cAAc;QAC9B,MAAM,EAAE,KAAK,CAAA;KACb;IAED,KAAY,KAAK,GAAG;QACnB,MAAM,EAAE,MAAM,CAAA;KACd,CAAA;CACD"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"optional_key.d.ts","sourceRoot":"","sources":["../../src/object/optional_key.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"optional_key.d.ts","sourceRoot":"","sources":["../../src/object/optional_key.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAEhD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAEpG;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAC5C;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,GACnF,KAAK,CAAA;AAER;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,OAAO,GAAG;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,KAAK,CAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/object/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;
|
|
1
|
+
{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../src/object/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAG7C;;;;;;;GAOG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACxF,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;AAMhE;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA"}
|
package/cjs/object/split.d.ts
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
|
+
import type { Partial } from './Partial.js';
|
|
1
2
|
import type { AnyRecord } from './any_record.js';
|
|
2
3
|
import type { Omit } from './omit.js';
|
|
3
|
-
import type { Partial } from './Partial.js';
|
|
4
4
|
type Splitter<T extends AnyRecord> = Partial<{
|
|
5
5
|
[k in keyof T]: T[k] | undefined;
|
|
6
6
|
}>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../src/object/split.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"split.d.ts","sourceRoot":"","sources":["../../src/object/split.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGrC,KAAK,QAAQ,CAAC,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;CAAE,CAAC,CAAA;AAClF,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI;KAC5D,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;CAC9F,CAAA;AAED;;;GAGG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAChE,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,EAAE,GACR,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;AACpC,wBAAgB,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACxF,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,EAAE,EACV,MAAM,EAAE,EAAE,GACR,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAA;AAC7D,wBAAgB,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAChH,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAA;AACtF,wBAAgB,KAAK,CACpB,CAAC,SAAS,SAAS,EACnB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAEtB,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAA;AAC/G,wBAAgB,KAAK,CACpB,CAAC,SAAS,SAAS,EACnB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAEtB,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX;IACF,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;CAC7D,CAAA;AACD,wBAAgB,KAAK,CACpB,CAAC,SAAS,SAAS,EACnB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAEtB,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX;IACF,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;CACxE,CAAA;AACD,wBAAgB,KAAK,CACpB,CAAC,SAAS,SAAS,EACnB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAEtB,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX;IACF,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;CACnF,CAAA;AACD,wBAAgB,KAAK,CACpB,CAAC,SAAS,SAAS,EACnB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAEtB,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX;IACF,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;CAC9F,CAAA;AACD,wBAAgB,KAAK,CACpB,CAAC,SAAS,SAAS,EACnB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EACtB,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAEtB,MAAM,EAAE,CAAC,EACT,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,EACb,SAAS,EAAE,EAAE,GACX;IACF,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;IACZ,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;CACzG,CAAA"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"CanAssign.d.ts","sourceRoot":"","sources":["../../src/predicates/CanAssign.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"CanAssign.d.ts","sourceRoot":"","sources":["../../src/predicates/CanAssign.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,SAAS,CAAC,GACvE,OAAO,SAAS,CAAC,GAChB,IAAI,GACJ,IAAI,GACL,CAAC,SAAS,CAAC,GACV,IAAI,GACJ,IAAI,CAAA;AAER;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,UAAU,CACxE,CAAC,EACD,CAAC,EACD;IAAE,YAAY,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,CACjD,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEnF,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;AACzF,wBAAgB,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
|
|
@@ -1,13 +1,11 @@
|
|
|
1
|
-
import type { $
|
|
2
|
-
import type { $
|
|
3
|
-
import type { $
|
|
4
|
-
import type { $
|
|
5
|
-
import type { $
|
|
6
|
-
import type { $
|
|
7
|
-
import type { $
|
|
8
|
-
import type { $
|
|
9
|
-
import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
|
|
10
|
-
import type { $Unknown } from '../unknown/unknown.js';
|
|
1
|
+
import type { $InputOptions } from '../$type/branch/$input_options.js';
|
|
2
|
+
import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
|
|
3
|
+
import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
|
|
4
|
+
import type { $Distributive } from '../$type/distributive/$distributive.js';
|
|
5
|
+
import type { $Any } from '../$type/special/$any.js';
|
|
6
|
+
import type { $Never } from '../$type/special/$never.js';
|
|
7
|
+
import type { $Special } from '../$type/special/$special.js';
|
|
8
|
+
import type { $Unknown } from '../$type/special/$unknown.js';
|
|
11
9
|
/**
|
|
12
10
|
* 🎭 *predicate*
|
|
13
11
|
*
|
|
@@ -55,21 +53,21 @@ import type { $Unknown } from '../unknown/unknown.js';
|
|
|
55
53
|
* type R = Assignable<never, any, { $never: 1 }> // 1
|
|
56
54
|
* ```
|
|
57
55
|
*/
|
|
58
|
-
export type Assignable<A, B, $O extends Assignable.$Options = {}> = $
|
|
59
|
-
$any: $ResolveBranch
|
|
60
|
-
$unknown: $ResolveBranch
|
|
61
|
-
$never: $ResolveBranch
|
|
62
|
-
$else: $
|
|
63
|
-
$any: $ResolveBranch
|
|
64
|
-
$unknown: $ResolveBranch
|
|
65
|
-
$never: $ResolveBranch
|
|
56
|
+
export type Assignable<A, B, $O extends Assignable.$Options = {}> = $Special<B, {
|
|
57
|
+
$any: $ResolveBranch<$O, [0 extends 1 & A ? $Any : unknown, $Then], A>;
|
|
58
|
+
$unknown: $ResolveBranch<$O, [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Then], A>;
|
|
59
|
+
$never: $ResolveBranch<$O, [A, never] extends [never, A] ? [$Never, $Then] : [$Else], A>;
|
|
60
|
+
$else: $Special<A, {
|
|
61
|
+
$any: $ResolveBranch<$O, [$Any, $Then], A>;
|
|
62
|
+
$unknown: $ResolveBranch<$O, [$Unknown, $Then], A>;
|
|
63
|
+
$never: $ResolveBranch<$O, [$Never, $Then], A>;
|
|
66
64
|
$else: Assignable.$<A, B, $O>;
|
|
67
65
|
}>;
|
|
68
66
|
}>;
|
|
69
67
|
export declare namespace Assignable {
|
|
70
|
-
type $Options = $
|
|
71
|
-
type $Default = $
|
|
72
|
-
type $Branch<$O extends $
|
|
68
|
+
type $Options = $Selection.Options & $Distributive.Options & $InputOptions<$Any | $Unknown | $Never>;
|
|
69
|
+
type $Default = $Selection.Predicate & $Distributive.Default;
|
|
70
|
+
type $Branch<$O extends $Distributive.Options = {}> = $Selection.Branch & $O;
|
|
73
71
|
/**
|
|
74
72
|
* 🧰 *type util*
|
|
75
73
|
*
|
|
@@ -80,10 +78,10 @@ export declare namespace Assignable {
|
|
|
80
78
|
*
|
|
81
79
|
* It is suitable for building custom types.
|
|
82
80
|
*/
|
|
83
|
-
type $<A, B, $O extends $UtilOptions> = $
|
|
84
|
-
$then: A extends B ? $ResolveBranch
|
|
85
|
-
$else: [A] extends [B] ? $ResolveBranch
|
|
81
|
+
type $<A, B, $O extends $UtilOptions> = $Distributive.Parse<$O, {
|
|
82
|
+
$then: A extends B ? $ResolveBranch<$O, [$Then], A> : $ResolveBranch<$O, [$Else], A>;
|
|
83
|
+
$else: [A] extends [B] ? $ResolveBranch<$O, [$Then], A> : $ResolveBranch<$O, [$Else], A>;
|
|
86
84
|
}>;
|
|
87
|
-
type $UtilOptions = $
|
|
85
|
+
type $UtilOptions = $Selection.Options & $Distributive.Options;
|
|
88
86
|
}
|
|
89
87
|
//# sourceMappingURL=assignable.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"assignable.d.ts","sourceRoot":"","sources":["../../src/predicates/assignable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"assignable.d.ts","sourceRoot":"","sources":["../../src/predicates/assignable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CAC3E,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACtE,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,QAAQ,GAAG,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAChG,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACxF,KAAK,EAAE,QAAQ,CACd,CAAC,EACD;QACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAC1C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAClD,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9C,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;KAC7B,CACD,CAAA;CACD,CACD,CAAA;AAED,yBAAiB,UAAU,CAAC;IAC3B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IAC3G,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,CAAA;IACnE,KAAY,OAAO,CAAC,EAAE,SAAS,aAAa,CAAC,OAAO,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,GAAG,EAAE,CAAA;IAEnF;;;;;;;;;OASG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,aAAa,CAAC,KAAK,CACjE,EAAE,EACF;QACC,KAAK,EAAE,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QACpF,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;KACxF,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;CACrE"}
|
|
@@ -3,5 +3,5 @@ export type { Extendable, IsExtend, IsNotExtend, NotExtendable } from './Extends
|
|
|
3
3
|
export type { If } from './If.js';
|
|
4
4
|
export type { IsEmptyObject } from './IsEmptyObject.js';
|
|
5
5
|
export type { IsLiteral } from './literal.js';
|
|
6
|
-
export type { And, Not, Or, Xor } from '
|
|
6
|
+
export type { And, Not, Or, Xor } from '../logical/logical.js';
|
|
7
7
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACpF,YAAY,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC7C,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACpF,YAAY,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC7C,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAA"}
|
|
@@ -1,17 +1,15 @@
|
|
|
1
|
-
import type { $
|
|
2
|
-
import type { $
|
|
3
|
-
import type { $
|
|
4
|
-
import type { $
|
|
5
|
-
import type { $
|
|
6
|
-
import type { $
|
|
7
|
-
import type { $
|
|
8
|
-
import type { $
|
|
9
|
-
import type { $SelectionOptions } from '../type_plus/branch/$selection_options.js';
|
|
10
|
-
import type { $Unknown } from '../unknown/unknown.js';
|
|
1
|
+
import type { $InputOptions } from '../$type/branch/$input_options.js';
|
|
2
|
+
import type { $ResolveBranch } from '../$type/branch/$resolve_branch.js';
|
|
3
|
+
import type { $Else, $Selection, $Then } from '../$type/branch/$selection.js';
|
|
4
|
+
import type { $Distributive } from '../$type/distributive/$distributive.js';
|
|
5
|
+
import type { $Any } from '../$type/special/$any.js';
|
|
6
|
+
import type { $Never } from '../$type/special/$never.js';
|
|
7
|
+
import type { $Special } from '../$type/special/$special.js';
|
|
8
|
+
import type { $Unknown } from '../$type/special/$unknown.js';
|
|
11
9
|
/**
|
|
12
10
|
* 🎭 *predicate*
|
|
13
11
|
*
|
|
14
|
-
* Validate if `A` is not assignable to `B`.
|
|
12
|
+
* Validate if `A` is not assignable to `B`.]
|
|
15
13
|
*
|
|
16
14
|
* @example
|
|
17
15
|
* ```ts
|
|
@@ -55,21 +53,21 @@ import type { $Unknown } from '../unknown/unknown.js';
|
|
|
55
53
|
* type R = NotAssignable<never, any, { $never: 1 }> // 1
|
|
56
54
|
* ```
|
|
57
55
|
*/
|
|
58
|
-
export type NotAssignable<A, B, $O extends NotAssignable.$Options = {}> = $
|
|
59
|
-
$any: $ResolveBranch
|
|
60
|
-
$unknown: $ResolveBranch
|
|
61
|
-
$never: $ResolveBranch
|
|
62
|
-
$else: $
|
|
63
|
-
$any: $ResolveBranch
|
|
64
|
-
$unknown: $ResolveBranch
|
|
65
|
-
$never: $ResolveBranch
|
|
56
|
+
export type NotAssignable<A, B, $O extends NotAssignable.$Options = {}> = $Special<B, {
|
|
57
|
+
$any: $ResolveBranch<$O, [0 extends 1 & A ? $Any : unknown, $Else], A>;
|
|
58
|
+
$unknown: $ResolveBranch<$O, [[A, unknown] extends [unknown, A] ? $Unknown : unknown, $Else], A>;
|
|
59
|
+
$never: $ResolveBranch<$O, [A, never] extends [never, A] ? [$Never, $Else] : [$Then], A>;
|
|
60
|
+
$else: $Special<A, {
|
|
61
|
+
$any: $ResolveBranch<$O, [$Any, $Else], A>;
|
|
62
|
+
$unknown: $ResolveBranch<$O, [$Unknown, $Else], A>;
|
|
63
|
+
$never: $ResolveBranch<$O, [$Never, $Else], A>;
|
|
66
64
|
$else: NotAssignable.$<A, B, $O>;
|
|
67
65
|
}>;
|
|
68
66
|
}>;
|
|
69
67
|
export declare namespace NotAssignable {
|
|
70
|
-
type $Options = $
|
|
71
|
-
type $Default = $
|
|
72
|
-
type $Branch<$O extends $
|
|
68
|
+
type $Options = $Selection.Options & $Distributive.Options & $InputOptions<$Any | $Unknown | $Never>;
|
|
69
|
+
type $Default = $Selection.Predicate & $Distributive.Default;
|
|
70
|
+
type $Branch<$O extends $Distributive.Options = {}> = $Selection.Branch & $O;
|
|
73
71
|
/**
|
|
74
72
|
* 🧰 *type util*
|
|
75
73
|
*
|
|
@@ -80,10 +78,10 @@ export declare namespace NotAssignable {
|
|
|
80
78
|
*
|
|
81
79
|
* It is suitable for building custom types.
|
|
82
80
|
*/
|
|
83
|
-
type $<A, B, $O extends $UtilOptions> = $
|
|
84
|
-
$then: A extends B ? $ResolveBranch
|
|
85
|
-
$else: [A] extends [B] ? $ResolveBranch
|
|
81
|
+
type $<A, B, $O extends $UtilOptions> = $Distributive.Parse<$O, {
|
|
82
|
+
$then: A extends B ? $ResolveBranch<$O, [$Else], A> : $ResolveBranch<$O, [$Then], A>;
|
|
83
|
+
$else: [A] extends [B] ? $ResolveBranch<$O, [$Else], A> : $ResolveBranch<$O, [$Then], A>;
|
|
86
84
|
}>;
|
|
87
|
-
type $UtilOptions = $
|
|
85
|
+
type $UtilOptions = $Selection.Options & $Distributive.Options;
|
|
88
86
|
}
|
|
89
87
|
//# sourceMappingURL=not_assignable.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"not_assignable.d.ts","sourceRoot":"","sources":["../../src/predicates/not_assignable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"not_assignable.d.ts","sourceRoot":"","sources":["../../src/predicates/not_assignable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAA;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAA;AACxE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAA;AAC7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,aAAa,CAAC,QAAQ,GAAG,EAAE,IAAI,QAAQ,CACjF,CAAC,EACD;IACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACtE,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,QAAQ,GAAG,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAChG,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACxF,KAAK,EAAE,QAAQ,CACd,CAAC,EACD;QACC,IAAI,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAC1C,QAAQ,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAClD,MAAM,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAC9C,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;KAChC,CACD,CAAA;CACD,CACD,CAAA;AAED,yBAAiB,aAAa,CAAC;IAC9B,KAAY,QAAQ,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,CAAA;IAC3G,KAAY,QAAQ,GAAG,UAAU,CAAC,SAAS,GAAG,aAAa,CAAC,OAAO,CAAA;IACnE,KAAY,OAAO,CAAC,EAAE,SAAS,aAAa,CAAC,OAAO,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,GAAG,EAAE,CAAA;IAEnF;;;;;;;;;OASG;IACH,KAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,YAAY,IAAI,aAAa,CAAC,KAAK,CACjE,EAAE,EACF;QACC,KAAK,EAAE,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QACpF,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;KACxF,CACD,CAAA;IAED,KAAY,YAAY,GAAG,UAAU,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,CAAA;CACrE"}
|