type-plus 4.16.0 → 4.18.0
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/README.md +7 -1
- package/cjs/ComposableTypes.d.ts +2 -2
- package/cjs/ComposableTypes.d.ts.map +1 -1
- package/cjs/JSONTypes.d.ts +4 -4
- package/cjs/JSONTypes.d.ts.map +1 -1
- package/cjs/PrimitiveTypes.d.ts +2 -2
- package/cjs/PrimitiveTypes.d.ts.map +1 -1
- package/cjs/UnionKeys.d.ts +1 -1
- package/cjs/UnionKeys.d.ts.map +1 -1
- package/cjs/UnionToIntersection.d.ts +1 -1
- package/cjs/UnionToIntersection.d.ts.map +1 -1
- package/cjs/array/CommonPropKeys.d.ts +2 -2
- package/cjs/array/CommonPropKeys.d.ts.map +1 -1
- package/cjs/array/Concat.d.ts +1 -1
- package/cjs/array/Concat.d.ts.map +1 -1
- package/cjs/array/CreateTuple.d.ts +1 -1
- package/cjs/array/CreateTuple.d.ts.map +1 -1
- package/cjs/array/Filter.d.ts +2 -2
- package/cjs/array/Filter.d.ts.map +1 -1
- package/cjs/array/FindFirst.d.ts +2 -2
- package/cjs/array/FindFirst.d.ts.map +1 -1
- package/cjs/array/FindLast.d.ts +1 -1
- package/cjs/array/FindLast.d.ts.map +1 -1
- package/cjs/array/Head.d.ts +1 -1
- package/cjs/array/Head.d.ts.map +1 -1
- package/cjs/array/IntersectOfProps.d.ts +2 -2
- package/cjs/array/IntersectOfProps.d.ts.map +1 -1
- package/cjs/array/IsArray.d.ts +1 -1
- package/cjs/array/IsArray.d.ts.map +1 -1
- package/cjs/array/Last.d.ts +1 -1
- package/cjs/array/Last.d.ts.map +1 -1
- package/cjs/array/PadLeft.d.ts +1 -1
- package/cjs/array/PadLeft.d.ts.map +1 -1
- package/cjs/array/Reverse.d.ts +1 -1
- package/cjs/array/Reverse.d.ts.map +1 -1
- package/cjs/array/Some.d.ts +1 -1
- package/cjs/array/Some.d.ts.map +1 -1
- package/cjs/array/Tail.d.ts +1 -1
- package/cjs/array/Tail.d.ts.map +1 -1
- package/cjs/array/UnionOfProps.d.ts +2 -2
- package/cjs/array/UnionOfProps.d.ts.map +1 -1
- package/cjs/array/UnionOfValues.d.ts +2 -2
- package/cjs/array/UnionOfValues.d.ts.map +1 -1
- package/cjs/array/drop.d.ts +8 -8
- package/cjs/array/drop.d.ts.map +1 -1
- package/cjs/binary/Bit.d.ts +5 -5
- package/cjs/binary/Bit.d.ts.map +1 -1
- package/cjs/class/AnyConstructor.d.ts +1 -1
- package/cjs/class/AnyConstructor.d.ts.map +1 -1
- package/cjs/function/AnyFunction.d.ts +1 -1
- package/cjs/function/AnyFunction.d.ts.map +1 -1
- package/cjs/function/ExtractFunction.d.ts +7 -0
- package/cjs/function/ExtractFunction.d.ts.map +1 -0
- package/cjs/function/ExtractFunction.js +8 -0
- package/cjs/function/ExtractFunction.js.map +1 -0
- package/cjs/function/ExtractFunction.spec.d.ts +2 -0
- package/cjs/function/ExtractFunction.spec.d.ts.map +1 -0
- package/cjs/function/ExtractFunction.spec.js +17 -0
- package/cjs/function/ExtractFunction.spec.js.map +1 -0
- package/cjs/function/index.d.ts +1 -0
- package/cjs/function/index.d.ts.map +1 -1
- package/cjs/function/index.js +15 -0
- package/cjs/function/index.js.map +1 -1
- package/cjs/functional/ChainFn.d.ts +2 -2
- package/cjs/functional/ChainFn.d.ts.map +1 -1
- package/cjs/functional/Maybe.d.ts +3 -3
- package/cjs/functional/Maybe.d.ts.map +1 -1
- package/cjs/index.d.ts +2 -2
- package/cjs/index.d.ts.map +1 -1
- package/cjs/index.js +0 -2
- package/cjs/index.js.map +1 -1
- package/cjs/math/Abs.d.ts +1 -1
- package/cjs/math/Abs.d.ts.map +1 -1
- package/cjs/math/Add.d.ts +2 -2
- package/cjs/math/Add.d.ts.map +1 -1
- package/cjs/math/GreaterThan.d.ts +1 -1
- package/cjs/math/GreaterThan.d.ts.map +1 -1
- package/cjs/math/IsPositive.d.ts +1 -1
- package/cjs/math/IsPositive.d.ts.map +1 -1
- package/cjs/math/IsWhole.d.ts +1 -1
- package/cjs/math/IsWhole.d.ts.map +1 -1
- package/cjs/math/Max.d.ts +1 -1
- package/cjs/math/Max.d.ts.map +1 -1
- package/cjs/math/Subtract.d.ts +2 -2
- package/cjs/math/Subtract.d.ts.map +1 -1
- package/cjs/nodejs/isNodeError.d.ts +2 -2
- package/cjs/nodejs/isNodeError.d.ts.map +1 -1
- package/cjs/nominal-types/Brand.d.ts +1 -1
- package/cjs/nominal-types/Brand.d.ts.map +1 -1
- package/cjs/nominal-types/Flavor.d.ts +1 -1
- package/cjs/nominal-types/Flavor.d.ts.map +1 -1
- package/cjs/object/ANotB.d.ts +3 -3
- package/cjs/object/ANotB.d.ts.map +1 -1
- package/cjs/object/AnyRecord.d.ts +1 -1
- package/cjs/object/AnyRecord.d.ts.map +1 -1
- package/cjs/object/ExcludePropType.d.ts +1 -1
- package/cjs/object/ExcludePropType.d.ts.map +1 -1
- package/cjs/object/IsDisjoint.d.ts +1 -1
- package/cjs/object/IsDisjoint.d.ts.map +1 -1
- package/cjs/object/IsRecord.d.ts +1 -1
- package/cjs/object/IsRecord.d.ts.map +1 -1
- package/cjs/object/KeyTypes.d.ts +1 -1
- package/cjs/object/KeyTypes.d.ts.map +1 -1
- package/cjs/object/KeyofOptional.d.ts +2 -2
- package/cjs/object/KeyofOptional.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/KnownKeys.d.ts +1 -1
- package/cjs/object/KnownKeys.d.ts.map +1 -1
- package/cjs/object/OptionalKeys.d.ts +1 -1
- package/cjs/object/OptionalKeys.d.ts.map +1 -1
- package/cjs/object/Partial.d.ts +3 -3
- package/cjs/object/Partial.d.ts.map +1 -1
- package/cjs/object/RecursiveIntersect.d.ts +1 -1
- package/cjs/object/RecursiveIntersect.d.ts.map +1 -1
- package/cjs/object/RecursivePartial.d.ts +1 -1
- package/cjs/object/RecursivePartial.d.ts.map +1 -1
- package/cjs/object/RecursiveRequired.d.ts +1 -1
- package/cjs/object/RecursiveRequired.d.ts.map +1 -1
- package/cjs/object/Required.d.ts +2 -2
- package/cjs/object/Required.d.ts.map +1 -1
- package/cjs/object/RequiredKeys.d.ts +1 -1
- package/cjs/object/RequiredKeys.d.ts.map +1 -1
- package/cjs/object/SpreadRecord.d.ts +1 -1
- package/cjs/object/SpreadRecord.d.ts.map +1 -1
- package/cjs/object/ValueOf.d.ts +1 -1
- package/cjs/object/ValueOf.d.ts.map +1 -1
- package/cjs/object/hasKey.d.ts +1 -1
- package/cjs/object/hasKey.d.ts.map +1 -1
- package/cjs/object/omit.d.ts +2 -2
- package/cjs/object/omit.d.ts.map +1 -1
- package/cjs/object/pick.d.ts +1 -1
- package/cjs/object/pick.d.ts.map +1 -1
- package/cjs/object/record.d.ts +1 -1
- package/cjs/object/record.d.ts.map +1 -1
- package/cjs/object/replaceProperty.d.ts +1 -1
- package/cjs/object/replaceProperty.d.ts.map +1 -1
- package/cjs/object/split.d.ts +2 -2
- package/cjs/object/split.d.ts.map +1 -1
- package/cjs/predicates/CanAssign.d.ts +2 -2
- package/cjs/predicates/CanAssign.d.ts.map +1 -1
- package/cjs/predicates/Equal.d.ts +4 -4
- package/cjs/predicates/Equal.d.ts.map +1 -1
- package/cjs/predicates/Extends.d.ts +4 -4
- package/cjs/predicates/Extends.d.ts.map +1 -1
- package/cjs/predicates/If.d.ts +1 -1
- package/cjs/predicates/If.d.ts.map +1 -1
- package/cjs/predicates/IsEmptyObject.d.ts +1 -1
- package/cjs/predicates/IsEmptyObject.d.ts.map +1 -1
- package/cjs/predicates/index.d.ts +3 -3
- package/cjs/predicates/index.d.ts.map +1 -1
- package/cjs/predicates/logical.d.ts +4 -4
- package/cjs/predicates/logical.d.ts.map +1 -1
- package/cjs/promise/MaybePromise.d.ts +1 -1
- package/cjs/promise/MaybePromise.d.ts.map +1 -1
- package/cjs/promise/MaybePromise.spec.js +1 -1
- package/cjs/promise/PromiseValue.d.ts +1 -1
- package/cjs/promise/PromiseValue.d.ts.map +1 -1
- package/cjs/promise/PromiseValueMerge.d.ts +1 -1
- package/cjs/promise/PromiseValueMerge.d.ts.map +1 -1
- package/cjs/promise/PromiseValueMerge.spec.js +1 -1
- package/cjs/utils/NonNull.d.ts +1 -1
- package/cjs/utils/NonNull.d.ts.map +1 -1
- package/cjs/utils/NonUndefined.d.ts +1 -1
- package/cjs/utils/NonUndefined.d.ts.map +1 -1
- package/cjs/utils/Widen.d.ts +1 -1
- package/cjs/utils/Widen.d.ts.map +1 -1
- package/cjs/utils/index.d.ts +2 -2
- package/cjs/utils/index.d.ts.map +1 -1
- package/esm/ComposableTypes.d.ts +2 -2
- package/esm/ComposableTypes.d.ts.map +1 -1
- package/esm/JSONTypes.d.ts +4 -4
- package/esm/JSONTypes.d.ts.map +1 -1
- package/esm/PrimitiveTypes.d.ts +2 -2
- package/esm/PrimitiveTypes.d.ts.map +1 -1
- package/esm/UnionKeys.d.ts +1 -1
- package/esm/UnionKeys.d.ts.map +1 -1
- package/esm/UnionToIntersection.d.ts +1 -1
- package/esm/UnionToIntersection.d.ts.map +1 -1
- package/esm/array/CommonPropKeys.d.ts +2 -2
- package/esm/array/CommonPropKeys.d.ts.map +1 -1
- package/esm/array/Concat.d.ts +1 -1
- package/esm/array/Concat.d.ts.map +1 -1
- package/esm/array/CreateTuple.d.ts +1 -1
- package/esm/array/CreateTuple.d.ts.map +1 -1
- package/esm/array/Filter.d.ts +2 -2
- package/esm/array/Filter.d.ts.map +1 -1
- package/esm/array/FindFirst.d.ts +2 -2
- package/esm/array/FindFirst.d.ts.map +1 -1
- package/esm/array/FindLast.d.ts +1 -1
- package/esm/array/FindLast.d.ts.map +1 -1
- package/esm/array/Head.d.ts +1 -1
- package/esm/array/Head.d.ts.map +1 -1
- package/esm/array/IntersectOfProps.d.ts +2 -2
- package/esm/array/IntersectOfProps.d.ts.map +1 -1
- package/esm/array/IsArray.d.ts +1 -1
- package/esm/array/IsArray.d.ts.map +1 -1
- package/esm/array/Last.d.ts +1 -1
- package/esm/array/Last.d.ts.map +1 -1
- package/esm/array/PadLeft.d.ts +1 -1
- package/esm/array/PadLeft.d.ts.map +1 -1
- package/esm/array/Reverse.d.ts +1 -1
- package/esm/array/Reverse.d.ts.map +1 -1
- package/esm/array/Some.d.ts +1 -1
- package/esm/array/Some.d.ts.map +1 -1
- package/esm/array/Tail.d.ts +1 -1
- package/esm/array/Tail.d.ts.map +1 -1
- package/esm/array/UnionOfProps.d.ts +2 -2
- package/esm/array/UnionOfProps.d.ts.map +1 -1
- package/esm/array/UnionOfValues.d.ts +2 -2
- package/esm/array/UnionOfValues.d.ts.map +1 -1
- package/esm/array/drop.d.ts +8 -8
- package/esm/array/drop.d.ts.map +1 -1
- package/esm/binary/Bit.d.ts +5 -5
- package/esm/binary/Bit.d.ts.map +1 -1
- package/esm/class/AnyConstructor.d.ts +1 -1
- package/esm/class/AnyConstructor.d.ts.map +1 -1
- package/esm/function/AnyFunction.d.ts +1 -1
- package/esm/function/AnyFunction.d.ts.map +1 -1
- package/esm/function/ExtractFunction.d.ts +7 -0
- package/esm/function/ExtractFunction.d.ts.map +1 -0
- package/esm/function/ExtractFunction.js +4 -0
- package/esm/function/ExtractFunction.js.map +1 -0
- package/esm/function/ExtractFunction.spec.d.ts +2 -0
- package/esm/function/ExtractFunction.spec.d.ts.map +1 -0
- package/esm/function/ExtractFunction.spec.js +15 -0
- package/esm/function/ExtractFunction.spec.js.map +1 -0
- package/esm/function/index.d.ts +1 -0
- package/esm/function/index.d.ts.map +1 -1
- package/esm/function/index.js +1 -1
- package/esm/function/index.js.map +1 -1
- package/esm/functional/ChainFn.d.ts +2 -2
- package/esm/functional/ChainFn.d.ts.map +1 -1
- package/esm/functional/Maybe.d.ts +3 -3
- package/esm/functional/Maybe.d.ts.map +1 -1
- package/esm/index.d.ts +2 -2
- package/esm/index.d.ts.map +1 -1
- package/esm/index.js +0 -2
- package/esm/index.js.map +1 -1
- package/esm/math/Abs.d.ts +1 -1
- package/esm/math/Abs.d.ts.map +1 -1
- package/esm/math/Add.d.ts +2 -2
- package/esm/math/Add.d.ts.map +1 -1
- package/esm/math/GreaterThan.d.ts +1 -1
- package/esm/math/GreaterThan.d.ts.map +1 -1
- package/esm/math/IsPositive.d.ts +1 -1
- package/esm/math/IsPositive.d.ts.map +1 -1
- package/esm/math/IsWhole.d.ts +1 -1
- package/esm/math/IsWhole.d.ts.map +1 -1
- package/esm/math/Max.d.ts +1 -1
- package/esm/math/Max.d.ts.map +1 -1
- package/esm/math/Subtract.d.ts +2 -2
- package/esm/math/Subtract.d.ts.map +1 -1
- package/esm/nodejs/isNodeError.d.ts +2 -2
- package/esm/nodejs/isNodeError.d.ts.map +1 -1
- package/esm/nominal-types/Brand.d.ts +1 -1
- package/esm/nominal-types/Brand.d.ts.map +1 -1
- package/esm/nominal-types/Flavor.d.ts +1 -1
- package/esm/nominal-types/Flavor.d.ts.map +1 -1
- package/esm/object/ANotB.d.ts +3 -3
- package/esm/object/ANotB.d.ts.map +1 -1
- package/esm/object/AnyRecord.d.ts +1 -1
- package/esm/object/AnyRecord.d.ts.map +1 -1
- package/esm/object/ExcludePropType.d.ts +1 -1
- package/esm/object/ExcludePropType.d.ts.map +1 -1
- package/esm/object/IsDisjoint.d.ts +1 -1
- package/esm/object/IsDisjoint.d.ts.map +1 -1
- package/esm/object/IsRecord.d.ts +1 -1
- package/esm/object/IsRecord.d.ts.map +1 -1
- package/esm/object/KeyTypes.d.ts +1 -1
- package/esm/object/KeyTypes.d.ts.map +1 -1
- package/esm/object/KeyofOptional.d.ts +2 -2
- package/esm/object/KeyofOptional.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/KnownKeys.d.ts +1 -1
- package/esm/object/KnownKeys.d.ts.map +1 -1
- package/esm/object/OptionalKeys.d.ts +1 -1
- package/esm/object/OptionalKeys.d.ts.map +1 -1
- package/esm/object/Partial.d.ts +3 -3
- package/esm/object/Partial.d.ts.map +1 -1
- package/esm/object/RecursiveIntersect.d.ts +1 -1
- package/esm/object/RecursiveIntersect.d.ts.map +1 -1
- package/esm/object/RecursivePartial.d.ts +1 -1
- package/esm/object/RecursivePartial.d.ts.map +1 -1
- package/esm/object/RecursiveRequired.d.ts +1 -1
- package/esm/object/RecursiveRequired.d.ts.map +1 -1
- package/esm/object/Required.d.ts +2 -2
- package/esm/object/Required.d.ts.map +1 -1
- package/esm/object/RequiredKeys.d.ts +1 -1
- package/esm/object/RequiredKeys.d.ts.map +1 -1
- package/esm/object/SpreadRecord.d.ts +1 -1
- package/esm/object/SpreadRecord.d.ts.map +1 -1
- package/esm/object/ValueOf.d.ts +1 -1
- package/esm/object/ValueOf.d.ts.map +1 -1
- package/esm/object/hasKey.d.ts +1 -1
- package/esm/object/hasKey.d.ts.map +1 -1
- package/esm/object/omit.d.ts +2 -2
- package/esm/object/omit.d.ts.map +1 -1
- package/esm/object/pick.d.ts +1 -1
- package/esm/object/pick.d.ts.map +1 -1
- package/esm/object/record.d.ts +1 -1
- package/esm/object/record.d.ts.map +1 -1
- package/esm/object/replaceProperty.d.ts +1 -1
- package/esm/object/replaceProperty.d.ts.map +1 -1
- package/esm/object/split.d.ts +2 -2
- package/esm/object/split.d.ts.map +1 -1
- package/esm/predicates/CanAssign.d.ts +2 -2
- package/esm/predicates/CanAssign.d.ts.map +1 -1
- package/esm/predicates/Equal.d.ts +4 -4
- package/esm/predicates/Equal.d.ts.map +1 -1
- package/esm/predicates/Extends.d.ts +4 -4
- package/esm/predicates/Extends.d.ts.map +1 -1
- package/esm/predicates/If.d.ts +1 -1
- package/esm/predicates/If.d.ts.map +1 -1
- package/esm/predicates/IsEmptyObject.d.ts +1 -1
- package/esm/predicates/IsEmptyObject.d.ts.map +1 -1
- package/esm/predicates/index.d.ts +3 -3
- package/esm/predicates/index.d.ts.map +1 -1
- package/esm/predicates/logical.d.ts +4 -4
- package/esm/predicates/logical.d.ts.map +1 -1
- package/esm/promise/MaybePromise.d.ts +1 -1
- package/esm/promise/MaybePromise.d.ts.map +1 -1
- package/esm/promise/PromiseValue.d.ts +1 -1
- package/esm/promise/PromiseValue.d.ts.map +1 -1
- package/esm/promise/PromiseValueMerge.d.ts +1 -1
- package/esm/promise/PromiseValueMerge.d.ts.map +1 -1
- package/esm/utils/NonNull.d.ts +1 -1
- package/esm/utils/NonNull.d.ts.map +1 -1
- package/esm/utils/NonUndefined.d.ts +1 -1
- package/esm/utils/NonUndefined.d.ts.map +1 -1
- package/esm/utils/Widen.d.ts +1 -1
- package/esm/utils/Widen.d.ts.map +1 -1
- package/esm/utils/index.d.ts +2 -2
- package/esm/utils/index.d.ts.map +1 -1
- package/package.json +7 -6
- package/ts/function/ExtractFunction.ts +11 -0
- package/ts/function/index.ts +1 -0
- package/ts/index.ts +2 -2
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"FindFirst.d.ts","sourceRoot":"","sources":["../../ts/array/FindFirst.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"FindFirst.d.ts","sourceRoot":"","sources":["../../ts/array/FindFirst.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,IAAI,CACtD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GACpC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,GACL,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7B,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACxD,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhB;;GAEG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA"}
|
package/esm/array/FindLast.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type FindLast<A extends Array<any>, Criteria> = number extends A['length'] ? A[0] extends Criteria ? A[0] : never : (A['length'] extends 0 ? never : (A extends [...infer Heads, infer Last] ? Last extends Criteria ? Last : FindLast<Heads, Criteria> : never));
|
|
2
2
|
//# sourceMappingURL=FindLast.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"FindLast.d.ts","sourceRoot":"","sources":["../../ts/array/FindLast.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"FindLast.d.ts","sourceRoot":"","sources":["../../ts/array/FindLast.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,IACjD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GACpC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,GACL,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,MAAM,IAAI,CAAC,GACrC,IAAI,SAAS,QAAQ,GAAG,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,GACxD,KAAK,CAAC,CAAC,CAAA"}
|
package/esm/array/Head.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type Head<T extends any[]> = T['length'] extends 0 ? never : T[0];
|
|
2
2
|
//# sourceMappingURL=Head.d.ts.map
|
package/esm/array/Head.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Head.d.ts","sourceRoot":"","sources":["../../ts/array/Head.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"Head.d.ts","sourceRoot":"","sources":["../../ts/array/Head.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA"}
|
|
@@ -3,10 +3,10 @@ import type { Tail } from './Tail.js';
|
|
|
3
3
|
/**
|
|
4
4
|
* Gets the intersect of properties of the elements in `A`
|
|
5
5
|
*/
|
|
6
|
-
export
|
|
6
|
+
export type IntersectOfProps<A extends Record<any, unknown>[], P extends KeyTypes> = A['length'] extends 0 ? never : (A['length'] extends 1 ? A[0][P] : A[0][P] & IntersectOfProps<Tail<A>, P>);
|
|
7
7
|
/**
|
|
8
8
|
* Gets the intersect of properties of the elements in `A`
|
|
9
9
|
* This will be deprecated in 4.0. Please use IntersectOfProps instead.
|
|
10
10
|
*/
|
|
11
|
-
export
|
|
11
|
+
export type MapToProp<A extends Record<any, any>[], P extends KeyTypes> = IntersectOfProps<A, P>;
|
|
12
12
|
//# sourceMappingURL=IntersectOfProps.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"IntersectOfProps.d.ts","sourceRoot":"","sources":["../../ts/array/IntersectOfProps.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,
|
|
1
|
+
{"version":3,"file":"IntersectOfProps.d.ts","sourceRoot":"","sources":["../../ts/array/IntersectOfProps.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAChC,CAAC,SAAS,QAAQ,IACd,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,KAAK,GACL,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAE7C;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
|
package/esm/array/IsArray.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type IsArray<T, Then = true, Else = false> = T extends any[] ? Then : Else;
|
|
2
2
|
//# sourceMappingURL=IsArray.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"IsArray.d.ts","sourceRoot":"","sources":["../../ts/array/IsArray.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"IsArray.d.ts","sourceRoot":"","sources":["../../ts/array/IsArray.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA"}
|
package/esm/array/Last.d.ts
CHANGED
package/esm/array/Last.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Last.d.ts","sourceRoot":"","sources":["../../ts/array/Last.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,
|
|
1
|
+
{"version":3,"file":"Last.d.ts","sourceRoot":"","sources":["../../ts/array/Last.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA"}
|
package/esm/array/PadLeft.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { Equal, IsAny } from '../predicates/index.js';
|
|
2
2
|
import { CreateTuple } from './CreateTuple.js';
|
|
3
3
|
import { UnionOfValues } from './UnionOfValues.js';
|
|
4
|
-
export
|
|
4
|
+
export type PadLeft<A extends any[], Total extends number, PadWith = any> = number extends A['length'] ? (IsAny<UnionOfValues<A>> extends true ? A : (Equal<UnionOfValues<A>, PadWith> extends true ? A : PadLeft<[...CreateTuple<Total, PadWith>, ...A], Total, PadWith>)) : (CreateTuple<Total, any> extends [...infer U, ...A] ? (number extends U['length'] ? A : [...CreateTuple<U['length'], PadWith>, ...A]) : A);
|
|
5
5
|
//# sourceMappingURL=PadLeft.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"PadLeft.d.ts","sourceRoot":"","sources":["../../ts/array/PadLeft.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD,
|
|
1
|
+
{"version":3,"file":"PadLeft.d.ts","sourceRoot":"","sources":["../../ts/array/PadLeft.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,KAAK,SAAS,MAAM,EAAE,OAAO,GAAG,GAAG,IACtE,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACnC,CAAC,GACD,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAC5C,CAAC,GACD,OAAO,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GACrE,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GACjD,CAAC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACzB,CAAC,GACD,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC/C,CAAC,CAAC,CAAA"}
|
package/esm/array/Reverse.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type Reverse<A extends unknown[]> = number extends A['length'] ? A : (A['length'] extends 0 ? A : (A['length'] extends 1 ? A : (A extends [any, ...infer T] ? T extends any[] ? [...Reverse<T>, A[0]] : never : never)));
|
|
2
2
|
//# sourceMappingURL=Reverse.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Reverse.d.ts","sourceRoot":"","sources":["../../ts/array/Reverse.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"Reverse.d.ts","sourceRoot":"","sources":["../../ts/array/Reverse.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,IACrC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,GACD,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,GACD,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,GACD,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,GAAG,EAAE,GAC5C,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACrB,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA"}
|
package/esm/array/Some.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import type { Equal } from '../predicates/index.js';
|
|
2
2
|
import type { Tail } from './Tail.js';
|
|
3
3
|
import type { UnionOfValues } from './UnionOfValues.js';
|
|
4
|
-
export
|
|
4
|
+
export type Some<A extends any[], Criteria, Mode extends 'strict' | 'loose' = 'loose', Then = true, Else = false> = Mode extends 'strict' ? Some.Strict<A, Criteria, Then, Else> : number extends A['length'] ? UnionOfValues<A> extends Criteria ? Then : Else : A['length'] extends 0 ? Else : A[0] extends Criteria ? Then : Some<Tail<A>, Criteria, 'loose', Then, Else>;
|
|
5
5
|
export declare namespace Some {
|
|
6
6
|
type Strict<A extends any[], Criteria, Then, Else> = number extends A['length'] ? (Equal<UnionOfValues<A>, Criteria> extends true ? Then : Else) : (A['length'] extends 0 ? Else : (Equal<A[0], Criteria> extends true ? Then : Strict<Tail<A>, Criteria, Then, Else>));
|
|
7
7
|
}
|
package/esm/array/Some.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Some.d.ts","sourceRoot":"","sources":["../../ts/array/Some.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAEvD,
|
|
1
|
+
{"version":3,"file":"Some.d.ts","sourceRoot":"","sources":["../../ts/array/Some.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAEvD,MAAM,MAAM,IAAI,CACd,CAAC,SAAS,GAAG,EAAE,EACf,QAAQ,EACR,IAAI,SAAS,QAAQ,GAAG,OAAO,GAAG,OAAO,EACzC,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IAEZ,IAAI,SAAS,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GAC5D,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,IAAI,GAC5E,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,IAAI,GAC5B,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE7E,yBAAiB,IAAI,CAAC;IACpB,KAAY,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IACtD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GACxB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,GAC9D,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,IAAI,GACJ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,SAAS,IAAI,GACjC,IAAI,GACJ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;CAChD"}
|
package/esm/array/Tail.d.ts
CHANGED
|
@@ -2,5 +2,5 @@ import { UnionOfValues } from './UnionOfValues.js';
|
|
|
2
2
|
/**
|
|
3
3
|
* Gets the types of a tuple except the first entry.
|
|
4
4
|
*/
|
|
5
|
-
export
|
|
5
|
+
export type Tail<T extends any[]> = T['length'] extends 0 ? never : (T extends [any, ...infer Tail] ? (Tail extends UnionOfValues<T>[] ? Tail : never) : T);
|
|
6
6
|
//# sourceMappingURL=Tail.d.ts.map
|
package/esm/array/Tail.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Tail.d.ts","sourceRoot":"","sources":["../../ts/array/Tail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD;;GAEG;AACH,
|
|
1
|
+
{"version":3,"file":"Tail.d.ts","sourceRoot":"","sources":["../../ts/array/Tail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACrD,KAAK,GACL,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7B,CAAC,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC,GAChD,CAAC,CAAC,CAAA"}
|
|
@@ -3,10 +3,10 @@ import type { Tail } from './Tail.js';
|
|
|
3
3
|
/**
|
|
4
4
|
* Gets the union of properties of the elements in `A`
|
|
5
5
|
*/
|
|
6
|
-
export
|
|
6
|
+
export type UnionOfProps<A extends Record<any, any>[], P extends KeyTypes> = A['length'] extends 0 ? never : (A['length'] extends 1 ? A[0][P] : A[0][P] | UnionOfProps<Tail<A>, P>);
|
|
7
7
|
/**
|
|
8
8
|
* Gets the union of properties in the element of `A`
|
|
9
9
|
* This will be deprecated in 4.0. Please use UnionOfProps instead.
|
|
10
10
|
*/
|
|
11
|
-
export
|
|
11
|
+
export type PropUnion<A extends Record<any, any>[], P extends KeyTypes> = UnionOfProps<A, P>;
|
|
12
12
|
//# sourceMappingURL=UnionOfProps.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"UnionOfProps.d.ts","sourceRoot":"","sources":["../../ts/array/UnionOfProps.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,
|
|
1
|
+
{"version":3,"file":"UnionOfProps.d.ts","sourceRoot":"","sources":["../../ts/array/UnionOfProps.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IACvE,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACnB,KAAK,GACL,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACP,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAEzC;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,SAAS,QAAQ,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
|
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Gets the union of value types in `A`
|
|
3
3
|
*/
|
|
4
|
-
export
|
|
4
|
+
export type UnionOfValues<A extends Array<any>> = A extends Array<infer E> ? E : never;
|
|
5
5
|
/**
|
|
6
6
|
* Gets the union of value types in `A`
|
|
7
7
|
* This will be deprecated in 4.0. Please use UnionOfValues instead.
|
|
8
8
|
*/
|
|
9
|
-
export
|
|
9
|
+
export type ArrayValue<A extends any[]> = UnionOfValues<A>;
|
|
10
10
|
//# sourceMappingURL=UnionOfValues.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"UnionOfValues.d.ts","sourceRoot":"","sources":["../../ts/array/UnionOfValues.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,
|
|
1
|
+
{"version":3,"file":"UnionOfValues.d.ts","sourceRoot":"","sources":["../../ts/array/UnionOfValues.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEtF;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,CAAA"}
|
package/esm/array/drop.d.ts
CHANGED
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
import type { Equal } from '../predicates/index.js';
|
|
2
2
|
import type { NonNull, NonUndefined } from '../utils/index.js';
|
|
3
|
-
export
|
|
4
|
-
export
|
|
5
|
-
|
|
3
|
+
export type DropFirst<A extends any[]> = number extends A['length'] ? A : (A['length'] extends 0 ? never[] : (A['length'] extends 1 ? never[] : (A extends [any, ...infer Tail] ? Tail : never)));
|
|
4
|
+
export type DropLast<A extends any[]> = number extends A['length'] ? A : (A['length'] extends 0 ? never[] : (A['length'] extends 1 ? never[] : (A extends [...infer Heads, any] ? Heads : never)));
|
|
5
|
+
type ExcludeUnionOfEmptyTuple<A> = Equal<A, []> extends true ? A : Exclude<A, []>;
|
|
6
6
|
/**
|
|
7
7
|
* drops entries matching `Criteria` in array or tuple `A`.
|
|
8
8
|
*/
|
|
9
|
-
export
|
|
10
|
-
|
|
11
|
-
export
|
|
12
|
-
export
|
|
13
|
-
export
|
|
9
|
+
export type DropMatch<A extends Readonly<Array<any>>, Criteria> = number extends A['length'] ? (A[0] extends Criteria ? never[] : (undefined extends Criteria ? (null extends Criteria ? Array<NonNullable<A[0]>> : Array<NonUndefined<A[0]>>) : (null extends Criteria ? Array<NonNull<A[0]>> : (Criteria extends A[0] ? Array<Exclude<A[0], Criteria>> : (A[0] extends Criteria ? A : Array<Exclude<A[0], Criteria>>))))) : DropMatchTuple<A, Criteria>;
|
|
10
|
+
type DropMatchTuple<A extends Readonly<Array<any>>, Criteria> = A['length'] extends 0 ? A : (A extends readonly [infer Head, ...infer Tail] ? (Tail['length'] extends 0 ? (undefined extends Criteria ? ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]> : ExcludeUnionOfEmptyTuple<Head extends Criteria ? [] : [Head]>) : (Exclude<Head, Criteria> extends never ? DropMatch<Tail, Criteria> : [Exclude<Head, Criteria>, ...DropMatch<Tail, Criteria>])) : never[]);
|
|
11
|
+
export type DropNull<A extends Array<any>> = DropMatch<A, null>;
|
|
12
|
+
export type DropNullable<A extends Array<any>> = DropMatch<A, null | undefined>;
|
|
13
|
+
export type DropUndefined<A extends Array<any>> = DropMatch<A, undefined>;
|
|
14
14
|
/**
|
|
15
15
|
* drop a particular value from an array
|
|
16
16
|
*/
|
package/esm/array/drop.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"drop.d.ts","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAE9D,
|
|
1
|
+
{"version":3,"file":"drop.d.ts","sourceRoot":"","sources":["../../ts/array/drop.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAE9D,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC/D,CAAC,GACD,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,EAAE,GACP,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,EAAE,GACP,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7B,IAAI,GACJ,KAAK,CAAC,CAAC,CAAC,CAAA;AAElB,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,GAAG,EAAE,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAC9D,CAAC,GACD,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,EAAE,GACP,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACpB,KAAK,EAAE,GACP,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,KAAK,EAAE,GAAG,CAAC,GAC9B,KAAK,GACL,KAAK,CAAC,CAAC,CAAC,CAAA;AAElB,KAAK,wBAAwB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;AAEjF;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAExF,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAEpB,KAAK,EAAE,GACP,CAAC,SAAS,SAAS,QAAQ,GACzB,CAAC,IAAI,SAAS,QAAQ,GACpB,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxB,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC5B,CAAC,IAAI,SAAS,QAAQ,GACpB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACpB,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,GACpB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAC9B,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxE,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;AAE/B,KAAK,cAAc,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAEjF,CAAC,GACD,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC7C,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAEvB,CAAC,SAAS,SAAS,QAAQ,GACzB,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAC7D,wBAAwB,CAAC,IAAI,SAAS,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAChE,GAEC,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,KAAK,GACpC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GACzB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAC1D,CAAC,GACF,KAAK,EAAE,CACV,CAAA;AAEH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAC/D,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAA;AAC/E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAEzE;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAE3F"}
|
package/esm/binary/Bit.d.ts
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
export
|
|
2
|
-
export
|
|
3
|
-
export
|
|
4
|
-
export
|
|
5
|
-
export
|
|
1
|
+
export type Bit = 0 | 1;
|
|
2
|
+
export type BitNot<X extends Bit> = X extends 0 ? 1 : 0;
|
|
3
|
+
export type BitAnd<A extends Bit, B extends Bit> = A extends 1 ? B extends 1 ? 1 : 0 : 0;
|
|
4
|
+
export type BitOr<A extends Bit, B extends Bit> = A extends 1 ? 1 : B extends 1 ? 1 : 0;
|
|
5
|
+
export type BitXor<A extends Bit, B extends Bit> = A extends 1 ? BitNot<B> : B;
|
|
6
6
|
//# sourceMappingURL=Bit.d.ts.map
|
package/esm/binary/Bit.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Bit.d.ts","sourceRoot":"","sources":["../../ts/binary/Bit.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"Bit.d.ts","sourceRoot":"","sources":["../../ts/binary/Bit.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;AAEvB,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvD,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACxF,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AACvF,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type AnyConstructor<Params extends any[] = any[]> = new (...args: Params) => void;
|
|
2
2
|
//# sourceMappingURL=AnyConstructor.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"AnyConstructor.d.ts","sourceRoot":"","sources":["../../ts/class/AnyConstructor.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"AnyConstructor.d.ts","sourceRoot":"","sources":["../../ts/class/AnyConstructor.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,CAAC,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,IAAI,KAAK,GAAG,IAAI,EAAE,MAAM,KAAK,IAAI,CAAA"}
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type AnyFunction<Params extends any[] = any[], Result = any> = (...args: Params) => Result;
|
|
2
2
|
//# sourceMappingURL=AnyFunction.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"AnyFunction.d.ts","sourceRoot":"","sources":["../../ts/function/AnyFunction.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"AnyFunction.d.ts","sourceRoot":"","sources":["../../ts/function/AnyFunction.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,CACrB,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,EAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,KAAK,MAAM,CAAA"}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { AnyFunction } from './AnyFunction.js';
|
|
2
|
+
/**
|
|
3
|
+
* Extract the function signature from a composit type T.
|
|
4
|
+
*/
|
|
5
|
+
export type ExtractFunction<T extends AnyFunction> = T extends AnyFunction<infer P, infer R> ? (...args: P) => R : never;
|
|
6
|
+
export declare function extractFunction<T extends AnyFunction>(fn: T): ExtractFunction<T>;
|
|
7
|
+
//# sourceMappingURL=ExtractFunction.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ExtractFunction.d.ts","sourceRoot":"","sources":["../../ts/function/ExtractFunction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GACxF,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,CAAA;AAE7B,wBAAgB,eAAe,CAAC,CAAC,SAAS,WAAW,EAAE,EAAE,EAAE,CAAC,sBAE3D"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ExtractFunction.js","sourceRoot":"","sources":["../../ts/function/ExtractFunction.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,eAAe,CAAwB,EAAK;IAC1D,OAAO,EAA+B,CAAA;AACxC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ExtractFunction.spec.d.ts","sourceRoot":"","sources":["../../ts/function/ExtractFunction.spec.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import { extractFunction, isType } from '../index.js';
|
|
2
|
+
it('gets the function itself if it is not composite', () => {
|
|
3
|
+
isType.equal();
|
|
4
|
+
});
|
|
5
|
+
it('omits other props from the type', () => {
|
|
6
|
+
isType.equal();
|
|
7
|
+
});
|
|
8
|
+
describe(`${extractFunction.name}()`, () => {
|
|
9
|
+
it('adjust type to its function type', () => {
|
|
10
|
+
const fn = Object.assign(() => { }, { a: 1 });
|
|
11
|
+
const r = extractFunction(fn);
|
|
12
|
+
isType.equal();
|
|
13
|
+
});
|
|
14
|
+
});
|
|
15
|
+
//# sourceMappingURL=ExtractFunction.spec.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"ExtractFunction.spec.js","sourceRoot":"","sources":["../../ts/function/ExtractFunction.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,eAAe,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEtE,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAIzD,MAAM,CAAC,KAAK,EAAc,CAAA;AAC5B,CAAC,CAAC,CAAA;AAEF,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAIzC,MAAM,CAAC,KAAK,EAAuB,CAAA;AACrC,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,GAAG,eAAe,CAAC,IAAI,IAAI,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAE7C,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,CAAA;QAE7B,MAAM,CAAC,KAAK,EAAuB,CAAA;IACrC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|
package/esm/function/index.d.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/function/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/function/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,cAAc,sBAAsB,CAAA"}
|
package/esm/function/index.js
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export
|
|
1
|
+
export * from './ExtractFunction.js';
|
|
2
2
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/function/index.ts"],"names":[],"mappings":""}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/function/index.ts"],"names":[],"mappings":"AACA,cAAc,sBAAsB,CAAA"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
export
|
|
1
|
+
export type ChainFn<T> = (param: T) => T;
|
|
2
2
|
/**
|
|
3
3
|
* An endofunctor is a functor from one category back to the same category.
|
|
4
4
|
*/
|
|
5
|
-
export
|
|
5
|
+
export type EndoFn<T> = (param: T) => T;
|
|
6
6
|
//# sourceMappingURL=ChainFn.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ChainFn.d.ts","sourceRoot":"","sources":["../../ts/functional/ChainFn.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"ChainFn.d.ts","sourceRoot":"","sources":["../../ts/functional/ChainFn.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA;AAExC;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAA"}
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
import type { Brand } from '../nominal-types/index.js';
|
|
2
2
|
import type { Equal } from '../predicates/index.js';
|
|
3
3
|
import type { Widen } from '../utils/index.js';
|
|
4
|
-
export
|
|
5
|
-
export
|
|
4
|
+
export type Maybe<T> = Just<T> | None<T>;
|
|
5
|
+
export type Just<T> = Brand<'maybe', T> & {
|
|
6
6
|
unwrap(): T;
|
|
7
7
|
};
|
|
8
|
-
export
|
|
8
|
+
export type None<T> = Brand<'maybe', void> & {
|
|
9
9
|
unwrap(): T;
|
|
10
10
|
};
|
|
11
11
|
export declare function just<T>(value: T): Equal<T, undefined | null> extends true ? None<T> : Just<Widen<NonNullable<T>>>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../ts/functional/Maybe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,
|
|
1
|
+
{"version":3,"file":"Maybe.d.ts","sourceRoot":"","sources":["../../ts/functional/Maybe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAE9C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;AACxC,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AACzD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG;IAAE,MAAM,IAAI,CAAC,CAAA;CAAE,CAAA;AAE5D,wBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAC9B,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GACvC,IAAI,CAAC,CAAC,CAAC,GACP,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAG5B;AAED,wBAAgB,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAEjC"}
|
package/esm/index.d.ts
CHANGED
|
@@ -5,8 +5,8 @@ export * from './class/index.js';
|
|
|
5
5
|
export type { ComposableTypes, NonComposableTypes } from './ComposableTypes.js';
|
|
6
6
|
export * from './function/index.js';
|
|
7
7
|
export * from './functional/index.js';
|
|
8
|
-
export
|
|
9
|
-
export
|
|
8
|
+
export type { JSONArray, JSONObject, JSONPrimitive, JSONTypes } from './JSONTypes.js';
|
|
9
|
+
export type { Abs, Add, Decrement, Digit, DigitArray, GreaterThan, Increment, IsPositive, IsWhole, Max, Subtract } from './math/index.js';
|
|
10
10
|
export * from './nodejs/index.js';
|
|
11
11
|
export * from './nominal-types/index.js';
|
|
12
12
|
export * from './object/index.js';
|
package/esm/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC7D,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAC/E,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AACrC,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC7D,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,kBAAkB,CAAA;AAChC,YAAY,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAA;AAC/E,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AACrF,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AACzI,cAAc,mBAAmB,CAAA;AACjC,cAAc,0BAA0B,CAAA;AACxC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,YAAY,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAClE,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAGlC,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,cAAc,kBAAkB,CAAA"}
|
package/esm/index.js
CHANGED
|
@@ -5,8 +5,6 @@ export * from './assertion/index.js';
|
|
|
5
5
|
export * from './class/index.js';
|
|
6
6
|
export * from './function/index.js';
|
|
7
7
|
export * from './functional/index.js';
|
|
8
|
-
export * from './JSONTypes.js';
|
|
9
|
-
export * from './math/index.js';
|
|
10
8
|
export * from './nodejs/index.js';
|
|
11
9
|
export * from './nominal-types/index.js';
|
|
12
10
|
export * from './object/index.js';
|
package/esm/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC7D,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,kBAAkB,CAAA;AAEhC,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../ts/index.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAC5C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC7D,cAAc,kBAAkB,CAAA;AAChC,cAAc,sBAAsB,CAAA;AACpC,cAAc,kBAAkB,CAAA;AAEhC,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AAGrC,cAAc,mBAAmB,CAAA;AACjC,cAAc,0BAA0B,CAAA;AACxC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AAErC,cAAc,oBAAoB,CAAA;AAClC,cAAc,oBAAoB,CAAA;AAIlC,cAAc,kBAAkB,CAAA;AAChC,+BAA+B"}
|
package/esm/math/Abs.d.ts
CHANGED
|
@@ -1,3 +1,3 @@
|
|
|
1
1
|
import type { DigitArray } from './Digit.js';
|
|
2
|
-
export
|
|
2
|
+
export type Abs<N extends number, Fail = never> = number extends N ? Fail : `${N}` extends `-${infer P}` ? DigitArray.ToNumber<DigitArray.FromString<P>> : N;
|
|
3
3
|
//# sourceMappingURL=Abs.d.ts.map
|
package/esm/math/Abs.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Abs.d.ts","sourceRoot":"","sources":["../../ts/math/Abs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,
|
|
1
|
+
{"version":3,"file":"Abs.d.ts","sourceRoot":"","sources":["../../ts/math/Abs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GAAG,IAAI,GACvE,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA"}
|
package/esm/math/Add.d.ts
CHANGED
|
@@ -7,7 +7,7 @@ import type { Max } from './Max.js';
|
|
|
7
7
|
/**
|
|
8
8
|
* Add two number literals.
|
|
9
9
|
*/
|
|
10
|
-
export
|
|
10
|
+
export type Add<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends false ? Fail : DigitArray.FromNumber<A> extends infer DA ? DA extends number[] ? DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ? Max<DA['length'], DB['length']> extends infer M ? M extends number ? PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ? PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ? DigitArray.ToNumber<Add.DigitArray<PDA, PDB>> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail;
|
|
11
11
|
export declare namespace Add {
|
|
12
12
|
type DigitArray<A extends number[], B extends number[]> = (A extends [any, ...infer ATail] ? (ATail extends number[] ? (B extends [any, ...infer BTail] ? (BTail extends number[] ? [Digit<A[0], B[0]>, ...DigitArray<ATail, BTail>] : []) : [A[0], ...DigitArray<[], ATail>]) : []) : (B extends [any, ...infer BTail] ? (BTail extends number[] ? [B[0], ...DigitArray<[], BTail>] : []) : []));
|
|
13
13
|
type Digit<A extends number, B extends number> = [
|
|
@@ -18,5 +18,5 @@ export declare namespace Add {
|
|
|
18
18
|
/**
|
|
19
19
|
* Increment `A` by 1.
|
|
20
20
|
*/
|
|
21
|
-
export
|
|
21
|
+
export type Increment<A extends number, Fail = never> = Add<A, 1, Fail>;
|
|
22
22
|
//# sourceMappingURL=Add.d.ts.map
|
package/esm/math/Add.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Add.d.ts","sourceRoot":"","sources":["../../ts/math/Add.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC;;GAEG;AACH,
|
|
1
|
+
{"version":3,"file":"Add.d.ts","sourceRoot":"","sources":["../../ts/math/Add.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC;;GAEG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAC9D,GAAG,CACD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAC/B,SAAS,KAAK,GAAG,IAAI,GACtB,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAC/D,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAC/D,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAClE,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC3C,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,CAAA;AAEf,yBAAiB,GAAG,CAAC;IACnB,KAAY,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,CAC/D,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,KAAK,CAAC,GAC7B,CAAC,KAAK,SAAS,MAAM,EAAE,GACrB,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,KAAK,CAAC,GAC9B,CAAC,KAAK,SAAS,MAAM,EAAE,GACrB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAChD,EAAE,CAAC,GACL,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,GACnC,EAAE,CAAC,GACL,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,MAAM,KAAK,CAAC,GAC9B,CAAC,KAAK,SAAS,MAAM,EAAE,GACrB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAChC,EAAE,CAAC,GACL,EAAE,CAAC,CACR,CAAA;IAED,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAClD;QAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;KAAC,CAAC,QAAQ,CAAC,CAAA;CACvD;AACD;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA"}
|
|
@@ -4,7 +4,7 @@ import type { Digit, DigitArray } from './Digit.js';
|
|
|
4
4
|
import type { IsPositive } from './IsPositive.js';
|
|
5
5
|
import type { IsWhole } from './IsWhole.js';
|
|
6
6
|
import type { Max } from './Max.js';
|
|
7
|
-
export
|
|
7
|
+
export type GreaterThan<A extends number, B extends number, Fail = never> = And<IsWhole<A>, IsWhole<B>> extends false ? Fail : number extends A ? Fail : number extends B ? Fail : Equal<A, B> extends true ? false : Xor<IsPositive<A>, IsPositive<B>> extends true ? IsPositive<A> : Or<IsPositive<A>, IsPositive<B>> extends false ? GreaterThan.ForWholeNumber<B, A> : GreaterThan.ForWholeNumber<A, B>;
|
|
8
8
|
export declare namespace GreaterThan {
|
|
9
9
|
type ForWholeNumber<A extends number, B extends number> = (DigitArray.FromNumberAbs<A> extends infer DA ? DA extends number[] ? DigitArray.FromNumberAbs<B> extends infer DB ? DB extends number[] ? Max<DA['length'], DB['length']> extends infer M ? M extends number ? PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ? PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ? ForDigitArray<PDA, PDB> : never : never : never : never : never : never : never : never : never : never);
|
|
10
10
|
type ForDigitArray<DA extends number[], DB extends number[]> = (Equal<Head<DA>, Head<DB>> extends true ? ForDigitArray<Tail<DA>, Tail<DB>> : Digit.GreaterThan<Head<DA>, Head<DB>>);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"GreaterThan.d.ts","sourceRoot":"","sources":["../../ts/math/GreaterThan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,
|
|
1
|
+
{"version":3,"file":"GreaterThan.d.ts","sourceRoot":"","sources":["../../ts/math/GreaterThan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IACtE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,GAChD,MAAM,SAAS,CAAC,GAAG,IAAI,GACvB,MAAM,SAAS,CAAC,GAAG,IAAI,GACvB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAChC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,GAC9D,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GACjF,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAElC,yBAAiB,WAAW,CAAC;IAC3B,KAAY,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAC/D,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAClE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAClE,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAClE,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,GACrB,KAAK,GAAG,KAAK,GACb,KAAK,GAAG,KAAK,GACb,KAAK,GAAG,KAAK,GACb,KAAK,GAAG,KAAK,GACb,KAAK,GAAG,KAAK,CAChB,CAAA;IAED,KAAY,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,SAAS,MAAM,EAAE,IAAI,CACpE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACpC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GACjC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CACxC,CAAA;CACF"}
|
package/esm/math/IsPositive.d.ts
CHANGED
|
@@ -3,5 +3,5 @@
|
|
|
3
3
|
* `number` type is false as it can be negative.
|
|
4
4
|
* @see https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
|
|
5
5
|
*/
|
|
6
|
-
export
|
|
6
|
+
export type IsPositive<N extends number, Then = true, Else = false> = number extends N ? Else : `${N}` extends `-${number}` ? Else : Then;
|
|
7
7
|
//# sourceMappingURL=IsPositive.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"IsPositive.d.ts","sourceRoot":"","sources":["../../ts/math/IsPositive.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,
|
|
1
|
+
{"version":3,"file":"IsPositive.d.ts","sourceRoot":"","sources":["../../ts/math/IsPositive.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAChE,MAAM,SAAS,CAAC,GACd,IAAI,GACJ,GAAG,CAAC,EAAE,SAAS,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA"}
|
package/esm/math/IsWhole.d.ts
CHANGED
|
@@ -3,5 +3,5 @@
|
|
|
3
3
|
* `number` type is false as it can be fractional.
|
|
4
4
|
* @see https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f
|
|
5
5
|
*/
|
|
6
|
-
export
|
|
6
|
+
export type IsWhole<N extends number, Then = true, Else = false> = number extends N ? Else : `${N}` extends `${number}.${number}` ? Else : Then;
|
|
7
7
|
//# sourceMappingURL=IsWhole.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"IsWhole.d.ts","sourceRoot":"","sources":["../../ts/math/IsWhole.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,
|
|
1
|
+
{"version":3,"file":"IsWhole.d.ts","sourceRoot":"","sources":["../../ts/math/IsWhole.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAC7D,MAAM,SAAS,CAAC,GACd,IAAI,GACJ,GAAG,CAAC,EAAE,SAAS,GAAG,MAAM,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA"}
|
package/esm/math/Max.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
1
|
import type { Equal } from '../predicates/index.js';
|
|
2
2
|
import { GreaterThan } from './GreaterThan.js';
|
|
3
|
-
export
|
|
3
|
+
export type Max<A extends number, B extends number, Fail = never> = GreaterThan<A, B> extends infer Result ? Equal<Result, never> extends true ? Fail : Result extends true ? A : B : never;
|
|
4
4
|
//# sourceMappingURL=Max.d.ts.map
|
package/esm/math/Max.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Max.d.ts","sourceRoot":"","sources":["../../ts/math/Max.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,
|
|
1
|
+
{"version":3,"file":"Max.d.ts","sourceRoot":"","sources":["../../ts/math/Max.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAC9D,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,MAAM,GACtC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,IAAI,GAAG,IAAI,GACxC,MAAM,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,GACzB,KAAK,CAAA"}
|
package/esm/math/Subtract.d.ts
CHANGED
|
@@ -4,7 +4,7 @@ import type { Digit, DigitArray } from './Digit.js';
|
|
|
4
4
|
import type { IsPositive } from './IsPositive.js';
|
|
5
5
|
import type { IsWhole } from './IsWhole.js';
|
|
6
6
|
import type { Max } from './Max.js';
|
|
7
|
-
export
|
|
7
|
+
export type Subtract<A extends number, B extends number, Fail = never> = And<And<IsPositive<A>, IsWhole<A>>, And<IsPositive<B>, IsWhole<B>>> extends true ? (DigitArray.Shift10<DigitArray.FromNumber<A>> extends infer DA ? DA extends number[] ? DigitArray.FromNumber<B> extends infer DB ? DB extends number[] ? Max<DA['length'], DB['length']> extends infer M ? M extends number ? PadLeft<DA, M, 0> extends infer PDA ? PDA extends number[] ? PadLeft<DB, M, 0> extends infer PDB ? PDB extends number[] ? Subtract.DigitArray<[], PDA, PDB> extends infer Result ? Result extends number[] ? Some<Result, never, 'strict'> extends true ? Fail : DigitArray.ToNumber<Result> : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail : Fail) : Fail;
|
|
8
8
|
export declare namespace Subtract {
|
|
9
9
|
type DigitArray<R extends number[], A extends number[], B extends number[]> = A['length'] extends 0 ? R : DigitArray<[...R, Digit<A[0], B[0]>], Tail<A>, Tail<B>>;
|
|
10
10
|
type Digit<A extends number, B extends number> = Digit.ToTuple[A] extends [...(infer U), ...Digit.ToTuple[B]] ? U['length'] : never;
|
|
@@ -12,5 +12,5 @@ export declare namespace Subtract {
|
|
|
12
12
|
/**
|
|
13
13
|
* A - 1
|
|
14
14
|
*/
|
|
15
|
-
export
|
|
15
|
+
export type Decrement<A extends number, Fail = never> = Subtract<A, 1, Fail>;
|
|
16
16
|
//# sourceMappingURL=Subtract.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Subtract.d.ts","sourceRoot":"","sources":["../../ts/math/Subtract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,
|
|
1
|
+
{"version":3,"file":"Subtract.d.ts","sourceRoot":"","sources":["../../ts/math/Subtract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC5D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAEnC,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IACnE,GAAG,CACD,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAC/B,SAAS,IAAI,GACZ,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GACpF,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAC/D,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAClE,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,SAAS,MAAM,EAAE,GAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,SAAS,MAAM,MAAM,GAAG,MAAM,SAAS,MAAM,EAAE,GAChF,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,SAAS,IAAI,GAAG,IAAI,GACjD,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,GACzB,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,GACX,IAAI,GAAG,IAAI,CAAC,GACd,IAAI,CAAA;AAER,yBAAiB,QAAQ,CAAC;IACxB,KAAY,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,SAAS,MAAM,EAAE,IAC/E,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,GACzB,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IAGzD,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAClD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAA;CACrF;AAED;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA"}
|