type-plus 3.13.0 → 4.0.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 +32 -88
- package/cjs/ComposableTypes.d.ts +8 -0
- package/cjs/ComposableTypes.js +3 -0
- package/cjs/ComposableTypes.js.map +1 -0
- package/{lib → cjs}/JSONTypes.d.ts +0 -0
- package/cjs/JSONTypes.js +27 -0
- package/cjs/JSONTypes.js.map +1 -0
- package/{lib → cjs}/PrimitiveTypes.d.ts +0 -0
- package/{lib → cjs}/PrimitiveTypes.js +0 -0
- package/cjs/PrimitiveTypes.js.map +1 -0
- package/{lib → cjs}/UnionKeys.d.ts +0 -0
- package/{lib → cjs}/UnionKeys.js +0 -0
- package/cjs/UnionKeys.js.map +1 -0
- package/{lib → cjs}/array/CommonPropKeys.d.ts +0 -0
- package/{lib → cjs}/array/CommonPropKeys.js +0 -0
- package/cjs/array/CommonPropKeys.js.map +1 -0
- package/{lib → cjs}/array/Concat.d.ts +0 -0
- package/{lib → cjs}/array/Concat.js +0 -0
- package/cjs/array/Concat.js.map +1 -0
- package/{lib → cjs}/array/CreateTuple.d.ts +0 -0
- package/{lib → cjs}/array/CreateTuple.js +0 -0
- package/cjs/array/CreateTuple.js.map +1 -0
- package/{lib → cjs}/array/DropFirst.d.ts +0 -0
- package/{lib → cjs}/array/DropFirst.js +0 -0
- package/cjs/array/DropFirst.js.map +1 -0
- package/{lib → cjs}/array/DropLast.d.ts +0 -0
- package/{lib → cjs}/array/DropLast.js +0 -0
- package/cjs/array/DropLast.js.map +1 -0
- package/{lib → cjs}/array/Filter.d.ts +0 -0
- package/{lib → cjs}/array/Filter.js +0 -0
- package/cjs/array/Filter.js.map +1 -0
- package/{lib → cjs}/array/FindFirst.d.ts +0 -0
- package/{lib → cjs}/array/FindFirst.js +0 -0
- package/cjs/array/FindFirst.js.map +1 -0
- package/{lib → cjs}/array/FindLast.d.ts +0 -0
- package/{lib → cjs}/array/FindLast.js +0 -0
- package/cjs/array/FindLast.js.map +1 -0
- package/{lib → cjs}/array/Head.d.ts +0 -0
- package/{lib → cjs}/array/Head.js +0 -0
- package/cjs/array/Head.js.map +1 -0
- package/{lib → cjs}/array/IntersectOfProps.d.ts +0 -0
- package/{lib → cjs}/array/IntersectOfProps.js +0 -0
- package/cjs/array/IntersectOfProps.js.map +1 -0
- package/{lib → cjs}/array/IsArray.d.ts +0 -0
- package/{lib → cjs}/array/IsArray.js +0 -0
- package/cjs/array/IsArray.js.map +1 -0
- package/{lib → cjs}/array/PadLeft.d.ts +0 -0
- package/{lib → cjs}/array/PadLeft.js +0 -0
- package/cjs/array/PadLeft.js.map +1 -0
- package/{lib → cjs}/array/Reverse.d.ts +0 -0
- package/{lib → cjs}/array/Reverse.js +0 -0
- package/cjs/array/Reverse.js.map +1 -0
- package/{lib → cjs}/array/Some.d.ts +0 -0
- package/{lib → cjs}/array/Some.js +0 -0
- package/cjs/array/Some.js.map +1 -0
- package/{lib → cjs}/array/Tail.d.ts +0 -0
- package/{lib → cjs}/array/Tail.js +0 -0
- package/cjs/array/Tail.js.map +1 -0
- package/{lib → cjs}/array/UnionOfProps.d.ts +0 -0
- package/{lib → cjs}/array/UnionOfProps.js +0 -0
- package/cjs/array/UnionOfProps.js.map +1 -0
- package/{lib → cjs}/array/UnionOfValues.d.ts +0 -0
- package/{lib → cjs}/array/UnionOfValues.js +0 -0
- package/cjs/array/UnionOfValues.js.map +1 -0
- package/{lib → cjs}/array/index.d.ts +0 -0
- package/{lib → cjs}/array/index.js +0 -0
- package/cjs/array/index.js.map +1 -0
- package/{lib → cjs}/array/literalArray.d.ts +0 -0
- package/{lib → cjs}/array/literalArray.js +0 -0
- package/cjs/array/literalArray.js.map +1 -0
- package/{lib → cjs}/array/reduceWhile.d.ts +0 -0
- package/{lib → cjs}/array/reduceWhile.js +0 -0
- package/cjs/array/reduceWhile.js.map +1 -0
- package/cjs/assertion/assertType.d.ts +32 -0
- package/cjs/assertion/assertType.js +107 -0
- package/cjs/assertion/assertType.js.map +1 -0
- package/{lib → cjs}/assertion/index.d.ts +0 -0
- package/{lib → cjs}/assertion/index.js +0 -0
- package/cjs/assertion/index.js.map +1 -0
- package/{lib → cjs}/class/AnyConstructor.d.ts +0 -0
- package/{lib → cjs}/class/AnyConstructor.js +0 -0
- package/cjs/class/AnyConstructor.js.map +1 -0
- package/{lib → cjs}/class/index.d.ts +0 -0
- package/{lib → cjs}/class/index.js +0 -0
- package/cjs/class/index.js.map +1 -0
- package/{lib → cjs}/class/isConstructor.d.ts +0 -0
- package/cjs/class/isConstructor.js +17 -0
- package/cjs/class/isConstructor.js.map +1 -0
- package/{lib → cjs}/function/AnyFunction.d.ts +0 -0
- package/{lib → cjs}/function/AnyFunction.js +0 -0
- package/cjs/function/AnyFunction.js.map +1 -0
- package/{lib → cjs}/function/index.d.ts +0 -0
- package/{lib → cjs}/function/index.js +0 -0
- package/cjs/function/index.js.map +1 -0
- package/{lib → cjs}/functional/ChainFn.d.ts +0 -0
- package/{lib → cjs}/functional/ChainFn.js +0 -0
- package/cjs/functional/ChainFn.js.map +1 -0
- package/{lib → cjs}/functional/index.d.ts +0 -0
- package/{lib → cjs}/functional/index.js +0 -0
- package/cjs/functional/index.js.map +1 -0
- package/cjs/index.d.ts +17 -0
- package/cjs/index.js +37 -0
- package/cjs/index.js.map +1 -0
- package/{lib → cjs}/math/Abs.d.ts +0 -0
- package/{lib → cjs}/math/Abs.js +0 -0
- package/cjs/math/Abs.js.map +1 -0
- package/{lib → cjs}/math/Add.d.ts +0 -0
- package/{lib → cjs}/math/Add.js +0 -0
- package/cjs/math/Add.js.map +1 -0
- package/{lib → cjs}/math/Digit.d.ts +0 -0
- package/{lib → cjs}/math/Digit.js +0 -0
- package/cjs/math/Digit.js.map +1 -0
- package/{lib → cjs}/math/GreaterThan.d.ts +0 -0
- package/{lib → cjs}/math/GreaterThan.js +0 -0
- package/cjs/math/GreaterThan.js.map +1 -0
- package/{lib → cjs}/math/IsPositive.d.ts +0 -0
- package/{lib → cjs}/math/IsPositive.js +0 -0
- package/cjs/math/IsPositive.js.map +1 -0
- package/{lib → cjs}/math/IsWhole.d.ts +0 -0
- package/{lib → cjs}/math/IsWhole.js +0 -0
- package/cjs/math/IsWhole.js.map +1 -0
- package/{lib → cjs}/math/Max.d.ts +0 -0
- package/{lib → cjs}/math/Max.js +0 -0
- package/cjs/math/Max.js.map +1 -0
- package/{lib → cjs}/math/Subtract.d.ts +0 -0
- package/{lib → cjs}/math/Subtract.js +0 -0
- package/cjs/math/Subtract.js.map +1 -0
- package/{lib → cjs}/math/index.d.ts +0 -0
- package/{lib → cjs}/math/index.js +0 -0
- package/cjs/math/index.js.map +1 -0
- package/cjs/nodejs/index.d.ts +1 -0
- package/cjs/nodejs/index.js +14 -0
- package/cjs/nodejs/index.js.map +1 -0
- package/cjs/nodejs/isNodeError.d.ts +31 -0
- package/cjs/nodejs/isNodeError.js +13 -0
- package/cjs/nodejs/isNodeError.js.map +1 -0
- package/{lib → cjs}/nominal-types/Brand.d.ts +0 -0
- package/{lib → cjs}/nominal-types/Brand.js +0 -0
- package/cjs/nominal-types/Brand.js.map +1 -0
- package/{lib → cjs}/nominal-types/Flavor.d.ts +0 -0
- package/{lib → cjs}/nominal-types/Flavor.js +0 -0
- package/cjs/nominal-types/Flavor.js.map +1 -0
- package/{lib → cjs}/nominal-types/index.d.ts +0 -0
- package/{lib → cjs}/nominal-types/index.js +0 -0
- package/cjs/nominal-types/index.js.map +1 -0
- package/{lib → cjs}/nominal-types/nominalMatch.d.ts +0 -0
- package/{lib → cjs}/nominal-types/nominalMatch.js +0 -0
- package/cjs/nominal-types/nominalMatch.js.map +1 -0
- package/{lib → cjs}/nominal-types/types.d.ts +0 -0
- package/{lib → cjs}/nominal-types/types.js +0 -0
- package/cjs/nominal-types/types.js.map +1 -0
- package/{lib → cjs}/object/ANotB.d.ts +0 -0
- package/{lib → cjs}/object/ANotB.js +0 -0
- package/cjs/object/ANotB.js.map +1 -0
- package/{lib → cjs}/object/AnyRecord.d.ts +0 -0
- package/{lib → cjs}/object/AnyRecord.js +0 -0
- package/cjs/object/AnyRecord.js.map +1 -0
- package/{lib → cjs}/object/ExcludePropType.d.ts +0 -0
- package/{lib → cjs}/object/ExcludePropType.js +0 -0
- package/cjs/object/ExcludePropType.js.map +1 -0
- package/{lib → cjs}/object/IsDisjoint.d.ts +0 -0
- package/{lib → cjs}/object/IsDisjoint.js +0 -0
- package/cjs/object/IsDisjoint.js.map +1 -0
- package/{lib → cjs}/object/IsRecord.d.ts +0 -0
- package/{lib → cjs}/object/IsRecord.js +0 -0
- package/cjs/object/IsRecord.js.map +1 -0
- package/{lib → cjs}/object/KeyTypes.d.ts +0 -0
- package/{lib → cjs}/object/KeyTypes.js +0 -0
- package/cjs/object/KeyTypes.js.map +1 -0
- package/{lib → cjs}/object/KeyofOptional.d.ts +0 -0
- package/{lib → cjs}/object/KeyofOptional.js +0 -0
- package/cjs/object/KeyofOptional.js.map +1 -0
- package/{lib → cjs}/object/KeysWithDiffType.d.ts +0 -0
- package/{lib → cjs}/object/KeysWithDiffType.js +0 -0
- package/cjs/object/KeysWithDiffType.js.map +1 -0
- package/{lib → cjs}/object/KnownKeys.d.ts +0 -0
- package/{lib → cjs}/object/KnownKeys.js +0 -0
- package/cjs/object/KnownKeys.js.map +1 -0
- package/{lib → cjs}/object/OptionalKeys.d.ts +0 -0
- package/{lib → cjs}/object/OptionalKeys.js +0 -0
- package/cjs/object/OptionalKeys.js.map +1 -0
- package/{lib → cjs}/object/Partial.d.ts +0 -0
- package/{lib → cjs}/object/Partial.js +0 -0
- package/cjs/object/Partial.js.map +1 -0
- package/{lib → cjs}/object/RecursiveIntersect.d.ts +0 -0
- package/{lib → cjs}/object/RecursiveIntersect.js +0 -0
- package/cjs/object/RecursiveIntersect.js.map +1 -0
- package/{lib → cjs}/object/RecursivePartial.d.ts +0 -0
- package/{lib → cjs}/object/RecursivePartial.js +0 -0
- package/cjs/object/RecursivePartial.js.map +1 -0
- package/{lib → cjs}/object/RecursiveRequired.d.ts +0 -0
- package/{lib → cjs}/object/RecursiveRequired.js +0 -0
- package/cjs/object/RecursiveRequired.js.map +1 -0
- package/{lib → cjs}/object/Required.d.ts +0 -0
- package/{lib → cjs}/object/Required.js +0 -0
- package/cjs/object/Required.js.map +1 -0
- package/{lib → cjs}/object/RequiredKeys.d.ts +0 -0
- package/{lib → cjs}/object/RequiredKeys.js +0 -0
- package/cjs/object/RequiredKeys.js.map +1 -0
- package/{lib → cjs}/object/SpreadRecord.d.ts +0 -0
- package/{lib → cjs}/object/SpreadRecord.js +0 -0
- package/cjs/object/SpreadRecord.js.map +1 -0
- package/{lib → cjs}/object/ValueOf.d.ts +0 -0
- package/{lib → cjs}/object/ValueOf.js +0 -0
- package/cjs/object/ValueOf.js.map +1 -0
- package/{lib → cjs}/object/everyKey.d.ts +0 -0
- package/{lib → cjs}/object/everyKey.js +0 -0
- package/cjs/object/everyKey.js.map +1 -0
- package/{lib → cjs}/object/facade.d.ts +0 -0
- package/{lib → cjs}/object/facade.js +0 -0
- package/cjs/object/facade.js.map +1 -0
- package/{lib → cjs}/object/filterKey.d.ts +0 -0
- package/{lib → cjs}/object/filterKey.js +0 -0
- package/cjs/object/filterKey.js.map +1 -0
- package/{lib → cjs}/object/findKey.d.ts +0 -0
- package/{lib → cjs}/object/findKey.js +0 -0
- package/cjs/object/findKey.js.map +1 -0
- package/{lib → cjs}/object/forEachKey.d.ts +0 -0
- package/{lib → cjs}/object/forEachKey.js +0 -0
- package/cjs/object/forEachKey.js.map +1 -0
- package/{lib → cjs}/object/getField.d.ts +0 -0
- package/{lib → cjs}/object/getField.js +0 -0
- package/cjs/object/getField.js.map +1 -0
- package/{lib → cjs}/object/hasKey.d.ts +0 -0
- package/{lib → cjs}/object/hasKey.js +0 -0
- package/cjs/object/hasKey.js.map +1 -0
- package/{lib → cjs}/object/hasProperty.d.ts +0 -0
- package/{lib → cjs}/object/hasProperty.js +0 -0
- package/cjs/object/hasProperty.js.map +1 -0
- package/{lib → cjs}/object/index.d.ts +0 -0
- package/{lib → cjs}/object/index.js +0 -0
- package/cjs/object/index.js.map +1 -0
- package/{lib → cjs}/object/mapKey.d.ts +0 -0
- package/{lib → cjs}/object/mapKey.js +0 -0
- package/cjs/object/mapKey.js.map +1 -0
- package/{lib → cjs}/object/mapProperties.d.ts +0 -0
- package/cjs/object/mapProperties.js +18 -0
- package/cjs/object/mapProperties.js.map +1 -0
- package/{lib → cjs}/object/omit.d.ts +0 -0
- package/cjs/object/omit.js +17 -0
- package/cjs/object/omit.js.map +1 -0
- package/{lib → cjs}/object/pick.d.ts +0 -0
- package/cjs/object/pick.js +17 -0
- package/cjs/object/pick.js.map +1 -0
- package/{lib → cjs}/object/reduceKey.d.ts +0 -0
- package/{lib → cjs}/object/reduceKey.js +0 -0
- package/cjs/object/reduceKey.js.map +1 -0
- package/{lib → cjs}/object/replaceProperty.d.ts +0 -0
- package/{lib → cjs}/object/replaceProperty.js +0 -0
- package/cjs/object/replaceProperty.js.map +1 -0
- package/{lib → cjs}/object/someKey.d.ts +0 -0
- package/{lib → cjs}/object/someKey.js +0 -0
- package/cjs/object/someKey.js.map +1 -0
- package/{lib → cjs}/object/typeOverrideIncompatible.d.ts +0 -0
- package/{lib → cjs}/object/typeOverrideIncompatible.js +0 -0
- package/cjs/object/typeOverrideIncompatible.js.map +1 -0
- package/{lib → cjs}/predicates/CanAssign.d.ts +0 -0
- package/{lib → cjs}/predicates/CanAssign.js +0 -0
- package/cjs/predicates/CanAssign.js.map +1 -0
- package/{lib → cjs}/predicates/Equal.d.ts +0 -0
- package/{lib → cjs}/predicates/Equal.js +0 -0
- package/cjs/predicates/Equal.js.map +1 -0
- package/{lib → cjs}/predicates/Extends.d.ts +0 -0
- package/{lib → cjs}/predicates/Extends.js +0 -0
- package/cjs/predicates/Extends.js.map +1 -0
- package/{lib → cjs}/predicates/If.d.ts +0 -0
- package/{lib → cjs}/predicates/If.js +0 -0
- package/cjs/predicates/If.js.map +1 -0
- package/{lib → cjs}/predicates/index.d.ts +0 -0
- package/{lib → cjs}/predicates/index.js +0 -0
- package/cjs/predicates/index.js.map +1 -0
- package/{lib → cjs}/predicates/isEmptyObject.d.ts +0 -0
- package/{lib → cjs}/predicates/isEmptyObject.js +0 -0
- package/cjs/predicates/isEmptyObject.js.map +1 -0
- package/cjs/predicates/isType.d.ts +10 -0
- package/cjs/predicates/isType.js +28 -0
- package/cjs/predicates/isType.js.map +1 -0
- package/{lib → cjs}/predicates/logical.d.ts +0 -0
- package/{lib → cjs}/predicates/logical.js +0 -0
- package/cjs/predicates/logical.js.map +1 -0
- package/{lib → cjs}/promise/PromiseValue.d.ts +0 -0
- package/{lib → cjs}/promise/PromiseValue.js +0 -0
- package/cjs/promise/PromiseValue.js.map +1 -0
- package/{lib → cjs}/promise/PromiseValueMerge.d.ts +0 -0
- package/{lib → cjs}/promise/PromiseValueMerge.js +0 -0
- package/cjs/promise/PromiseValueMerge.js.map +1 -0
- package/{lib → cjs}/promise/index.d.ts +0 -0
- package/{lib → cjs}/promise/index.js +0 -0
- package/cjs/promise/index.js.map +1 -0
- package/{lib → cjs}/promise/isPromise.d.ts +0 -0
- package/{lib → cjs}/promise/isPromise.js +0 -0
- package/cjs/promise/isPromise.js.map +1 -0
- package/{lib → cjs}/promise/mapSeries.d.ts +0 -0
- package/{lib → cjs}/promise/mapSeries.js +0 -0
- package/cjs/promise/mapSeries.js.map +1 -0
- package/{lib → cjs}/utils/Widen.d.ts +0 -0
- package/{lib → cjs}/utils/Widen.js +0 -0
- package/cjs/utils/Widen.js.map +1 -0
- package/{lib → cjs}/utils/as.d.ts +0 -0
- package/{lib → cjs}/utils/as.js +0 -0
- package/cjs/utils/as.js.map +1 -0
- package/{lib → cjs}/utils/index.d.ts +0 -0
- package/{lib → cjs}/utils/index.js +0 -0
- package/cjs/utils/index.js.map +1 -0
- package/esm/ComposableTypes.js +2 -0
- package/esm/ComposableTypes.js.map +1 -0
- package/{libm → esm}/JSONTypes.js +0 -0
- package/esm/JSONTypes.js.map +1 -0
- package/{libm → esm}/PrimitiveTypes.js +0 -0
- package/esm/PrimitiveTypes.js.map +1 -0
- package/{libm → esm}/UnionKeys.js +0 -0
- package/esm/UnionKeys.js.map +1 -0
- package/{libm → esm}/array/CommonPropKeys.js +0 -0
- package/esm/array/CommonPropKeys.js.map +1 -0
- package/{libm → esm}/array/Concat.js +0 -0
- package/esm/array/Concat.js.map +1 -0
- package/{libm → esm}/array/CreateTuple.js +0 -0
- package/esm/array/CreateTuple.js.map +1 -0
- package/{libm → esm}/array/DropFirst.js +0 -0
- package/esm/array/DropFirst.js.map +1 -0
- package/{libm → esm}/array/DropLast.js +0 -0
- package/esm/array/DropLast.js.map +1 -0
- package/{libm → esm}/array/Filter.js +0 -0
- package/esm/array/Filter.js.map +1 -0
- package/{libm → esm}/array/FindFirst.js +0 -0
- package/esm/array/FindFirst.js.map +1 -0
- package/{libm → esm}/array/FindLast.js +0 -0
- package/esm/array/FindLast.js.map +1 -0
- package/{libm → esm}/array/Head.js +0 -0
- package/esm/array/Head.js.map +1 -0
- package/{libm → esm}/array/IntersectOfProps.js +0 -0
- package/esm/array/IntersectOfProps.js.map +1 -0
- package/{libm → esm}/array/IsArray.js +0 -0
- package/esm/array/IsArray.js.map +1 -0
- package/{libm → esm}/array/PadLeft.js +0 -0
- package/esm/array/PadLeft.js.map +1 -0
- package/{libm → esm}/array/Reverse.js +0 -0
- package/esm/array/Reverse.js.map +1 -0
- package/{libm → esm}/array/Some.js +0 -0
- package/esm/array/Some.js.map +1 -0
- package/{libm → esm}/array/Tail.js +0 -0
- package/esm/array/Tail.js.map +1 -0
- package/{libm → esm}/array/UnionOfProps.js +0 -0
- package/esm/array/UnionOfProps.js.map +1 -0
- package/{libm → esm}/array/UnionOfValues.js +0 -0
- package/esm/array/UnionOfValues.js.map +1 -0
- package/{libm → esm}/array/index.js +0 -0
- package/esm/array/index.js.map +1 -0
- package/{libm → esm}/array/literalArray.js +0 -0
- package/esm/array/literalArray.js.map +1 -0
- package/{libm → esm}/array/reduceWhile.js +0 -0
- package/esm/array/reduceWhile.js.map +1 -0
- package/{libm → esm}/assertion/assertType.js +0 -0
- package/esm/assertion/assertType.js.map +1 -0
- package/{libm → esm}/assertion/index.js +0 -0
- package/esm/assertion/index.js.map +1 -0
- package/{libm → esm}/class/AnyConstructor.js +0 -0
- package/esm/class/AnyConstructor.js.map +1 -0
- package/{libm → esm}/class/index.js +0 -0
- package/esm/class/index.js.map +1 -0
- package/esm/class/isConstructor.js +13 -0
- package/esm/class/isConstructor.js.map +1 -0
- package/{libm → esm}/function/AnyFunction.js +0 -0
- package/esm/function/AnyFunction.js.map +1 -0
- package/{libm → esm}/function/index.js +0 -0
- package/esm/function/index.js.map +1 -0
- package/{libm → esm}/functional/ChainFn.js +0 -0
- package/esm/functional/ChainFn.js.map +1 -0
- package/{libm → esm}/functional/index.js +0 -0
- package/esm/functional/index.js.map +1 -0
- package/esm/index.js +22 -0
- package/esm/index.js.map +1 -0
- package/{libm → esm}/math/Abs.js +0 -0
- package/esm/math/Abs.js.map +1 -0
- package/{libm → esm}/math/Add.js +0 -0
- package/esm/math/Add.js.map +1 -0
- package/{libm → esm}/math/Digit.js +0 -0
- package/esm/math/Digit.js.map +1 -0
- package/{libm → esm}/math/GreaterThan.js +0 -0
- package/esm/math/GreaterThan.js.map +1 -0
- package/{libm → esm}/math/IsPositive.js +0 -0
- package/esm/math/IsPositive.js.map +1 -0
- package/{libm → esm}/math/IsWhole.js +0 -0
- package/esm/math/IsWhole.js.map +1 -0
- package/{libm → esm}/math/Max.js +0 -0
- package/esm/math/Max.js.map +1 -0
- package/{libm → esm}/math/Subtract.js +0 -0
- package/esm/math/Subtract.js.map +1 -0
- package/{libm → esm}/math/index.js +0 -0
- package/esm/math/index.js.map +1 -0
- package/esm/nodejs/index.js +2 -0
- package/esm/nodejs/index.js.map +1 -0
- package/esm/nodejs/isNodeError.js +9 -0
- package/esm/nodejs/isNodeError.js.map +1 -0
- package/{libm → esm}/nominal-types/Brand.js +0 -0
- package/esm/nominal-types/Brand.js.map +1 -0
- package/{libm → esm}/nominal-types/Flavor.js +0 -0
- package/esm/nominal-types/Flavor.js.map +1 -0
- package/{libm → esm}/nominal-types/index.js +0 -0
- package/esm/nominal-types/index.js.map +1 -0
- package/{libm → esm}/nominal-types/nominalMatch.js +0 -0
- package/esm/nominal-types/nominalMatch.js.map +1 -0
- package/{libm → esm}/nominal-types/types.js +0 -0
- package/esm/nominal-types/types.js.map +1 -0
- package/{libm → esm}/object/ANotB.js +0 -0
- package/esm/object/ANotB.js.map +1 -0
- package/{libm → esm}/object/AnyRecord.js +0 -0
- package/esm/object/AnyRecord.js.map +1 -0
- package/{libm → esm}/object/ExcludePropType.js +0 -0
- package/esm/object/ExcludePropType.js.map +1 -0
- package/{libm → esm}/object/IsDisjoint.js +0 -0
- package/esm/object/IsDisjoint.js.map +1 -0
- package/{libm → esm}/object/IsRecord.js +0 -0
- package/esm/object/IsRecord.js.map +1 -0
- package/{libm → esm}/object/KeyTypes.js +0 -0
- package/esm/object/KeyTypes.js.map +1 -0
- package/{libm → esm}/object/KeyofOptional.js +0 -0
- package/esm/object/KeyofOptional.js.map +1 -0
- package/{libm → esm}/object/KeysWithDiffType.js +0 -0
- package/esm/object/KeysWithDiffType.js.map +1 -0
- package/{libm → esm}/object/KnownKeys.js +0 -0
- package/esm/object/KnownKeys.js.map +1 -0
- package/{libm → esm}/object/OptionalKeys.js +0 -0
- package/esm/object/OptionalKeys.js.map +1 -0
- package/{libm → esm}/object/Partial.js +0 -0
- package/esm/object/Partial.js.map +1 -0
- package/{libm → esm}/object/RecursiveIntersect.js +0 -0
- package/esm/object/RecursiveIntersect.js.map +1 -0
- package/{libm → esm}/object/RecursivePartial.js +0 -0
- package/esm/object/RecursivePartial.js.map +1 -0
- package/{libm → esm}/object/RecursiveRequired.js +0 -0
- package/esm/object/RecursiveRequired.js.map +1 -0
- package/{libm → esm}/object/Required.js +0 -0
- package/esm/object/Required.js.map +1 -0
- package/{libm → esm}/object/RequiredKeys.js +0 -0
- package/esm/object/RequiredKeys.js.map +1 -0
- package/{libm → esm}/object/SpreadRecord.js +0 -0
- package/esm/object/SpreadRecord.js.map +1 -0
- package/{libm → esm}/object/ValueOf.js +0 -0
- package/esm/object/ValueOf.js.map +1 -0
- package/{libm → esm}/object/everyKey.js +0 -0
- package/esm/object/everyKey.js.map +1 -0
- package/{libm → esm}/object/facade.js +0 -0
- package/esm/object/facade.js.map +1 -0
- package/{libm → esm}/object/filterKey.js +0 -0
- package/esm/object/filterKey.js.map +1 -0
- package/{libm → esm}/object/findKey.js +0 -0
- package/esm/object/findKey.js.map +1 -0
- package/{libm → esm}/object/forEachKey.js +0 -0
- package/esm/object/forEachKey.js.map +1 -0
- package/{libm → esm}/object/getField.js +0 -0
- package/esm/object/getField.js.map +1 -0
- package/{libm → esm}/object/hasKey.js +0 -0
- package/esm/object/hasKey.js.map +1 -0
- package/{libm → esm}/object/hasProperty.js +0 -0
- package/esm/object/hasProperty.js.map +1 -0
- package/{libm → esm}/object/index.js +0 -0
- package/esm/object/index.js.map +1 -0
- package/{libm → esm}/object/mapKey.js +0 -0
- package/esm/object/mapKey.js.map +1 -0
- package/{libm → esm}/object/mapProperties.js +0 -0
- package/esm/object/mapProperties.js.map +1 -0
- package/{libm → esm}/object/omit.js +0 -0
- package/esm/object/omit.js.map +1 -0
- package/{libm → esm}/object/pick.js +0 -0
- package/esm/object/pick.js.map +1 -0
- package/{libm → esm}/object/reduceKey.js +0 -0
- package/esm/object/reduceKey.js.map +1 -0
- package/{libm → esm}/object/replaceProperty.js +0 -0
- package/esm/object/replaceProperty.js.map +1 -0
- package/{libm → esm}/object/someKey.js +0 -0
- package/esm/object/someKey.js.map +1 -0
- package/{libm → esm}/object/typeOverrideIncompatible.js +0 -0
- package/esm/object/typeOverrideIncompatible.js.map +1 -0
- package/{libm → esm}/predicates/CanAssign.js +0 -0
- package/esm/predicates/CanAssign.js.map +1 -0
- package/{libm → esm}/predicates/Equal.js +0 -0
- package/esm/predicates/Equal.js.map +1 -0
- package/{libm → esm}/predicates/Extends.js +0 -0
- package/esm/predicates/Extends.js.map +1 -0
- package/{libm → esm}/predicates/If.js +0 -0
- package/esm/predicates/If.js.map +1 -0
- package/{libm → esm}/predicates/index.js +0 -0
- package/esm/predicates/index.js.map +1 -0
- package/{libm → esm}/predicates/isEmptyObject.js +0 -0
- package/esm/predicates/isEmptyObject.js.map +1 -0
- package/{libm → esm}/predicates/isType.js +0 -0
- package/esm/predicates/isType.js.map +1 -0
- package/{libm → esm}/predicates/logical.js +0 -0
- package/esm/predicates/logical.js.map +1 -0
- package/{libm → esm}/promise/PromiseValue.js +0 -0
- package/esm/promise/PromiseValue.js.map +1 -0
- package/{libm → esm}/promise/PromiseValueMerge.js +0 -0
- package/esm/promise/PromiseValueMerge.js.map +1 -0
- package/{libm → esm}/promise/index.js +0 -0
- package/esm/promise/index.js.map +1 -0
- package/{libm → esm}/promise/isPromise.js +0 -0
- package/esm/promise/isPromise.js.map +1 -0
- package/{libm → esm}/promise/mapSeries.js +0 -0
- package/esm/promise/mapSeries.js.map +1 -0
- package/{libm → esm}/utils/Widen.js +0 -0
- package/esm/utils/Widen.js.map +1 -0
- package/{libm → esm}/utils/as.js +0 -0
- package/esm/utils/as.js.map +1 -0
- package/{libm → esm}/utils/index.js +0 -0
- package/esm/utils/index.js.map +1 -0
- package/package.json +47 -51
- package/ts/ComposableTypes.spec.ts +29 -0
- package/ts/ComposableTypes.ts +10 -0
- package/ts/JSONTypes.spec.ts +43 -0
- package/ts/JSONTypes.ts +18 -0
- package/ts/PrimitiveTypes.ts +2 -0
- package/{src → ts}/UnionKeys.ts +0 -0
- package/ts/UnionToIntersection.ts +7 -0
- package/ts/array/CommonPropKeys.spec.ts +20 -0
- package/ts/array/CommonPropKeys.ts +18 -0
- package/ts/array/Concat.spec.ts +21 -0
- package/ts/array/Concat.ts +1 -0
- package/ts/array/CreateTuple.spec.ts +21 -0
- package/ts/array/CreateTuple.ts +7 -0
- package/ts/array/DropFirst.spec.ts +21 -0
- package/ts/array/DropFirst.ts +9 -0
- package/ts/array/DropLast.spec.ts +21 -0
- package/ts/array/DropLast.ts +9 -0
- package/ts/array/Filter.spec.ts +21 -0
- package/ts/array/Filter.ts +12 -0
- package/ts/array/FindFirst.spec.ts +27 -0
- package/ts/array/FindFirst.ts +13 -0
- package/ts/array/FindLast.spec.ts +27 -0
- package/ts/array/FindLast.ts +8 -0
- package/ts/array/Head.spec.ts +21 -0
- package/ts/array/Head.ts +1 -0
- package/ts/array/IntersectOfProps.spec.ts +14 -0
- package/ts/array/IntersectOfProps.ts +20 -0
- package/ts/array/IsArray.ts +1 -0
- package/ts/array/PadLeft.spec.ts +26 -0
- package/ts/array/PadLeft.ts +16 -0
- package/ts/array/Reverse.spec.ts +17 -0
- package/ts/array/Reverse.ts +10 -0
- package/ts/array/Some.spec.ts +79 -0
- package/ts/array/Some.ts +24 -0
- package/ts/array/Tail.spec.ts +32 -0
- package/ts/array/Tail.ts +7 -0
- package/ts/array/UnionOfProps.spec.ts +14 -0
- package/ts/array/UnionOfProps.ts +18 -0
- package/ts/array/UnionOfValues.spec.ts +11 -0
- package/ts/array/UnionOfValues.ts +10 -0
- package/ts/array/index.ts +19 -0
- package/{src → ts}/array/literalArray.spec.ts +0 -0
- package/{src → ts}/array/literalArray.ts +0 -0
- package/{src → ts}/array/reduceWhile.spec.ts +0 -0
- package/{src → ts}/array/reduceWhile.ts +0 -0
- package/ts/assertion/assertType.spec.ts +507 -0
- package/ts/assertion/assertType.ts +105 -0
- package/ts/assertion/index.ts +1 -0
- package/{src → ts}/binary/Bit.ts +0 -0
- package/{src → ts}/binary/_binary.ts +0 -0
- package/{src → ts}/binary/index.spec.ts +0 -0
- package/{src → ts}/binary/index.ts +0 -0
- package/ts/class/AnyConstructor.spec.ts +13 -0
- package/{src → ts}/class/AnyConstructor.ts +0 -0
- package/{src → ts}/class/index.ts +0 -0
- package/ts/class/isConstructor.spec.ts +35 -0
- package/ts/class/isConstructor.ts +14 -0
- package/ts/function/AnyFunction.spec.ts +21 -0
- package/{src → ts}/function/AnyFunction.ts +0 -0
- package/{src → ts}/function/index.ts +0 -0
- package/ts/functional/ChainFn.spec.ts +7 -0
- package/ts/functional/ChainFn.ts +6 -0
- package/ts/functional/Maybe.spec.ts +42 -0
- package/ts/functional/Maybe.ts +19 -0
- package/ts/functional/index.ts +2 -0
- package/{src → ts}/index.spec.ts +0 -0
- package/ts/index.ts +21 -0
- package/ts/math/Abs.spec.ts +14 -0
- package/ts/math/Abs.ts +4 -0
- package/ts/math/Add.spec.ts +82 -0
- package/ts/math/Add.ts +49 -0
- package/ts/math/Digit.spec.ts +185 -0
- package/ts/math/Digit.ts +115 -0
- package/ts/math/GreaterThan.spec.ts +40 -0
- package/ts/math/GreaterThan.ts +36 -0
- package/{src → ts}/math/IsPositive.spec.ts +0 -0
- package/ts/math/IsPositive.ts +9 -0
- package/ts/math/IsWhole.spec.ts +19 -0
- package/ts/math/IsWhole.ts +9 -0
- package/ts/math/Max.spec.ts +35 -0
- package/ts/math/Max.ts +31 -0
- package/ts/math/README.md +7 -0
- package/ts/math/Subtract.spec.ts +40 -0
- package/ts/math/Subtract.ts +40 -0
- package/ts/math/index.ts +7 -0
- package/ts/nodejs/index.ts +1 -0
- package/ts/nodejs/isNodeError.spec.ts +11 -0
- package/ts/nodejs/isNodeError.ts +28 -0
- package/ts/nominal-types/Brand.spec.ts +43 -0
- package/ts/nominal-types/Brand.ts +32 -0
- package/ts/nominal-types/Flavor.spec.ts +51 -0
- package/ts/nominal-types/Flavor.ts +32 -0
- package/{src → ts}/nominal-types/index.ts +0 -0
- package/{src → ts}/nominal-types/nominalMatch.spec.ts +0 -0
- package/{src → ts}/nominal-types/nominalMatch.ts +0 -0
- package/{src → ts}/nominal-types/types.ts +0 -0
- package/{src → ts}/object/ANotB.spec.ts +0 -0
- package/ts/object/ANotB.ts +21 -0
- package/{src → ts}/object/AnyRecord.ts +0 -0
- package/ts/object/ExcludePropType.spec.ts +13 -0
- package/{src → ts}/object/ExcludePropType.ts +0 -0
- package/ts/object/IsDisjoint.spec.ts +25 -0
- package/ts/object/IsDisjoint.ts +12 -0
- package/ts/object/IsRecord.spec.ts +22 -0
- package/ts/object/IsRecord.ts +4 -0
- package/{src → ts}/object/KeyTypes.spec.ts +0 -0
- package/{src → ts}/object/KeyTypes.ts +0 -0
- package/ts/object/KeyofOptional.spec.ts +8 -0
- package/{src → ts}/object/KeyofOptional.ts +0 -0
- package/ts/object/KeysWithDiffType.spec.ts +21 -0
- package/{src → ts}/object/KeysWithDiffType.ts +0 -0
- package/ts/object/KnownKeys.spec.ts +39 -0
- package/ts/object/KnownKeys.ts +16 -0
- package/{src → ts}/object/OptionalKeys.spec.ts +0 -0
- package/{src → ts}/object/OptionalKeys.ts +0 -0
- package/ts/object/Partial.spec.ts +49 -0
- package/{src → ts}/object/Partial.ts +0 -0
- package/ts/object/RecursiveIntersect.spec.ts +39 -0
- package/{src → ts}/object/RecursiveIntersect.ts +0 -0
- package/{src → ts}/object/RecursivePartial.ts +0 -0
- package/{src → ts}/object/RecursiveRequired.spec.ts +0 -0
- package/{src → ts}/object/RecursiveRequired.ts +0 -0
- package/ts/object/Required.spec.ts +29 -0
- package/{src → ts}/object/Required.ts +0 -0
- package/{src → ts}/object/RequiredKeys.spec.ts +0 -0
- package/{src → ts}/object/RequiredKeys.ts +0 -0
- package/ts/object/SpreadRecord.spec.ts +14 -0
- package/ts/object/SpreadRecord.ts +6 -0
- package/ts/object/ValueOf.spec.ts +36 -0
- package/{src → ts}/object/ValueOf.ts +0 -0
- package/{src → ts}/object/everyKey.spec.ts +0 -0
- package/{src → ts}/object/everyKey.ts +0 -0
- package/{src → ts}/object/facade.spec.ts +0 -0
- package/ts/object/facade.ts +39 -0
- package/{src → ts}/object/filterKey.spec.ts +0 -0
- package/{src → ts}/object/filterKey.ts +0 -0
- package/{src → ts}/object/findKey.spec.ts +0 -0
- package/{src → ts}/object/findKey.ts +0 -0
- package/{src → ts}/object/forEachKey.spec.ts +0 -0
- package/{src → ts}/object/forEachKey.ts +0 -0
- package/ts/object/getField.spec.ts +21 -0
- package/ts/object/getField.ts +21 -0
- package/{src → ts}/object/hasKey.spec.ts +0 -0
- package/ts/object/hasKey.ts +7 -0
- package/ts/object/hasProperty.spec.ts +15 -0
- package/{src → ts}/object/hasProperty.ts +0 -0
- package/ts/object/index.ts +35 -0
- package/{src → ts}/object/mapKey.spec.ts +0 -0
- package/{src → ts}/object/mapKey.ts +0 -0
- package/ts/object/mapProperties.spec.ts +27 -0
- package/{src → ts}/object/mapProperties.ts +0 -0
- package/ts/object/omit.spec.ts +104 -0
- package/ts/object/omit.ts +36 -0
- package/ts/object/pick.spec.ts +66 -0
- package/ts/object/pick.ts +35 -0
- package/{src → ts}/object/reduceKey.spec.ts +0 -0
- package/{src → ts}/object/reduceKey.ts +0 -0
- package/{src → ts}/object/replaceProperty.spec.ts +0 -0
- package/{src → ts}/object/replaceProperty.ts +0 -0
- package/{src → ts}/object/someKey.spec.ts +0 -0
- package/{src → ts}/object/someKey.ts +0 -0
- package/ts/object/typeOverrideIncompatible.spec.ts +24 -0
- package/ts/object/typeOverrideIncompatible.ts +10 -0
- package/ts/predicates/CanAssign.spec.ts +57 -0
- package/{src → ts}/predicates/CanAssign.ts +0 -0
- package/ts/predicates/Equal.spec.ts +71 -0
- package/ts/predicates/Equal.ts +14 -0
- package/ts/predicates/Extends.ts +4 -0
- package/ts/predicates/If.spec.ts +14 -0
- package/ts/predicates/If.ts +5 -0
- package/ts/predicates/index.spec.ts +73 -0
- package/ts/predicates/index.ts +17 -0
- package/ts/predicates/isEmptyObject.spec.ts +15 -0
- package/ts/predicates/isEmptyObject.ts +2 -0
- package/ts/predicates/isType.spec.ts +106 -0
- package/ts/predicates/isType.ts +30 -0
- package/ts/predicates/logical.spec.ts +59 -0
- package/ts/predicates/logical.ts +4 -0
- package/ts/promise/PromiseValue.spec.ts +6 -0
- package/{src → ts}/promise/PromiseValue.ts +0 -0
- package/{src → ts}/promise/PromiseValueMerge.spec.ts +0 -0
- package/{src → ts}/promise/PromiseValueMerge.ts +0 -0
- package/{src → ts}/promise/index.ts +0 -0
- package/{src → ts}/promise/isPromise.spec.ts +0 -0
- package/ts/promise/isPromise.ts +4 -0
- package/{src → ts}/promise/mapSeries.spec.ts +0 -0
- package/ts/promise/mapSeries.ts +5 -0
- package/{src → ts}/type-checker/.eslintrc.json +0 -0
- package/{src → ts}/type-checker/AnyType.ts +0 -0
- package/{src → ts}/type-checker/Boolean.ts +0 -0
- package/{src → ts}/type-checker/Tuple.spec.ts +0 -0
- package/{src → ts}/type-checker/Tuple.ts +0 -0
- package/ts/type-checker/buildTypes.spec.ts +28 -0
- package/{src → ts}/type-checker/index.ts +0 -0
- package/ts/type-checker/typeChecker.spec.ts +14 -0
- package/{src → ts}/type-checker/typeChecker.ts +0 -0
- package/{src → ts}/type-checker/types.ts +0 -0
- package/{src → ts}/types/.eslintrc.json +0 -0
- package/{src → ts}/types/AllType.ts +0 -0
- package/{src → ts}/types/Any.ts +0 -0
- package/{src → ts}/types/Array.ts +0 -0
- package/{src → ts}/types/BigInt.ts +0 -0
- package/{src → ts}/types/Boolean.ts +0 -0
- package/ts/types/Generate.ts +48 -0
- package/{src → ts}/types/Null.ts +0 -0
- package/ts/types/Number.ts +56 -0
- package/ts/types/Object.ts +53 -0
- package/{src → ts}/types/Record.ts +0 -0
- package/ts/types/String.ts +56 -0
- package/ts/types/Symbol.ts +19 -0
- package/ts/types/Tuple.ts +50 -0
- package/{src → ts}/types/Undefined.ts +0 -0
- package/{src → ts}/types/Union.ts +0 -0
- package/{src → ts}/types/Unknown.ts +0 -0
- package/{src → ts}/types/analyze.spec.ts +0 -0
- package/{src → ts}/types/analyze.ts +0 -0
- package/ts/types/check.spec.ts +12 -0
- package/{src → ts}/types/check.ts +0 -0
- package/ts/types/conform.spec.ts +7 -0
- package/{src → ts}/types/conform.ts +0 -0
- package/{src → ts}/types/getPlainAnalysisReport.spec.ts +0 -0
- package/ts/types/getPlainAnalysisReport.ts +115 -0
- package/ts/types/index.ts +28 -0
- package/ts/types/optional.ts +30 -0
- package/ts/types/required.ts +30 -0
- package/ts/types/satisfy.accept.ts +39 -0
- package/ts/types/satisfy.spec.ts +600 -0
- package/{src → ts}/types/satisfy.ts +0 -0
- package/{src → ts}/types/types.ts +0 -0
- package/{src → ts}/utils/Widen.ts +0 -0
- package/ts/utils/as.spec.ts +24 -0
- package/ts/utils/as.ts +7 -0
- package/ts/utils/index.ts +2 -0
- package/lib/JSONTypes.js +0 -23
- package/lib/JSONTypes.js.map +0 -1
- package/lib/PrimitiveTypes.js.map +0 -1
- package/lib/UnionKeys.js.map +0 -1
- package/lib/array/CommonPropKeys.js.map +0 -1
- package/lib/array/Concat.js.map +0 -1
- package/lib/array/CreateTuple.js.map +0 -1
- package/lib/array/DropFirst.js.map +0 -1
- package/lib/array/DropLast.js.map +0 -1
- package/lib/array/Filter.js.map +0 -1
- package/lib/array/FindFirst.js.map +0 -1
- package/lib/array/FindLast.js.map +0 -1
- package/lib/array/Head.js.map +0 -1
- package/lib/array/IntersectOfProps.js.map +0 -1
- package/lib/array/IsArray.js.map +0 -1
- package/lib/array/PadLeft.js.map +0 -1
- package/lib/array/Reverse.js.map +0 -1
- package/lib/array/Some.js.map +0 -1
- package/lib/array/Tail.js.map +0 -1
- package/lib/array/UnionOfProps.js.map +0 -1
- package/lib/array/UnionOfValues.js.map +0 -1
- package/lib/array/index.js.map +0 -1
- package/lib/array/literalArray.js.map +0 -1
- package/lib/array/reduceWhile.js.map +0 -1
- package/lib/assertion/assertType.d.ts +0 -78
- package/lib/assertion/assertType.js +0 -107
- package/lib/assertion/assertType.js.map +0 -1
- package/lib/assertion/index.js.map +0 -1
- package/lib/class/AnyConstructor.js.map +0 -1
- package/lib/class/index.js.map +0 -1
- package/lib/class/isConstructor.js +0 -18
- package/lib/class/isConstructor.js.map +0 -1
- package/lib/function/AnyFunction.js.map +0 -1
- package/lib/function/index.js.map +0 -1
- package/lib/functional/ChainFn.js.map +0 -1
- package/lib/functional/index.js.map +0 -1
- package/lib/index.d.ts +0 -19
- package/lib/index.js +0 -48
- package/lib/index.js.map +0 -1
- package/lib/math/Abs.js.map +0 -1
- package/lib/math/Add.js.map +0 -1
- package/lib/math/Digit.js.map +0 -1
- package/lib/math/GreaterThan.js.map +0 -1
- package/lib/math/IsPositive.js.map +0 -1
- package/lib/math/IsWhole.js.map +0 -1
- package/lib/math/Max.js.map +0 -1
- package/lib/math/Subtract.js.map +0 -1
- package/lib/math/index.js.map +0 -1
- package/lib/nominal-types/Brand.js.map +0 -1
- package/lib/nominal-types/Flavor.js.map +0 -1
- package/lib/nominal-types/index.js.map +0 -1
- package/lib/nominal-types/nominalMatch.js.map +0 -1
- package/lib/nominal-types/types.js.map +0 -1
- package/lib/object/ANotB.js.map +0 -1
- package/lib/object/AnyRecord.js.map +0 -1
- package/lib/object/ExcludePropType.js.map +0 -1
- package/lib/object/IsDisjoint.js.map +0 -1
- package/lib/object/IsRecord.js.map +0 -1
- package/lib/object/KeyTypes.js.map +0 -1
- package/lib/object/KeyofOptional.js.map +0 -1
- package/lib/object/KeysWithDiffType.js.map +0 -1
- package/lib/object/KnownKeys.js.map +0 -1
- package/lib/object/OptionalKeys.js.map +0 -1
- package/lib/object/Partial.js.map +0 -1
- package/lib/object/RecursiveIntersect.js.map +0 -1
- package/lib/object/RecursivePartial.js.map +0 -1
- package/lib/object/RecursiveRequired.js.map +0 -1
- package/lib/object/Required.js.map +0 -1
- package/lib/object/RequiredKeys.js.map +0 -1
- package/lib/object/SpreadRecord.js.map +0 -1
- package/lib/object/ValueOf.js.map +0 -1
- package/lib/object/everyKey.js.map +0 -1
- package/lib/object/facade.js.map +0 -1
- package/lib/object/filterKey.js.map +0 -1
- package/lib/object/findKey.js.map +0 -1
- package/lib/object/forEachKey.js.map +0 -1
- package/lib/object/getField.js.map +0 -1
- package/lib/object/hasKey.js.map +0 -1
- package/lib/object/hasProperty.js.map +0 -1
- package/lib/object/index.js.map +0 -1
- package/lib/object/mapKey.js.map +0 -1
- package/lib/object/mapProperties.js +0 -18
- package/lib/object/mapProperties.js.map +0 -1
- package/lib/object/omit.js +0 -17
- package/lib/object/omit.js.map +0 -1
- package/lib/object/pick.js +0 -17
- package/lib/object/pick.js.map +0 -1
- package/lib/object/reduceKey.js.map +0 -1
- package/lib/object/replaceProperty.js.map +0 -1
- package/lib/object/someKey.js.map +0 -1
- package/lib/object/typeOverrideIncompatible.js.map +0 -1
- package/lib/predicates/CanAssign.js.map +0 -1
- package/lib/predicates/Equal.js.map +0 -1
- package/lib/predicates/Extends.js.map +0 -1
- package/lib/predicates/If.js.map +0 -1
- package/lib/predicates/index.js.map +0 -1
- package/lib/predicates/isEmptyObject.js.map +0 -1
- package/lib/predicates/isType.d.ts +0 -20
- package/lib/predicates/isType.js +0 -28
- package/lib/predicates/isType.js.map +0 -1
- package/lib/predicates/logical.js.map +0 -1
- package/lib/promise/PromiseValue.js.map +0 -1
- package/lib/promise/PromiseValueMerge.js.map +0 -1
- package/lib/promise/index.js.map +0 -1
- package/lib/promise/isPromise.js.map +0 -1
- package/lib/promise/mapSeries.js.map +0 -1
- package/lib/types/AllType.d.ts +0 -18
- package/lib/types/AllType.js +0 -3
- package/lib/types/AllType.js.map +0 -1
- package/lib/types/Any.d.ts +0 -6
- package/lib/types/Any.js +0 -5
- package/lib/types/Any.js.map +0 -1
- package/lib/types/Array.d.ts +0 -28
- package/lib/types/Array.js +0 -30
- package/lib/types/Array.js.map +0 -1
- package/lib/types/Boolean.d.ts +0 -29
- package/lib/types/Boolean.js +0 -28
- package/lib/types/Boolean.js.map +0 -1
- package/lib/types/Generate.d.ts +0 -32
- package/lib/types/Generate.js +0 -3
- package/lib/types/Generate.js.map +0 -1
- package/lib/types/Null.d.ts +0 -8
- package/lib/types/Null.js +0 -10
- package/lib/types/Null.js.map +0 -1
- package/lib/types/Number.d.ts +0 -36
- package/lib/types/Number.js +0 -46
- package/lib/types/Number.js.map +0 -1
- package/lib/types/Object.d.ts +0 -329
- package/lib/types/Object.js +0 -35
- package/lib/types/Object.js.map +0 -1
- package/lib/types/Record.d.ts +0 -16
- package/lib/types/Record.js +0 -17
- package/lib/types/Record.js.map +0 -1
- package/lib/types/String.d.ts +0 -36
- package/lib/types/String.js +0 -47
- package/lib/types/String.js.map +0 -1
- package/lib/types/Symbol.d.ts +0 -8
- package/lib/types/Symbol.js +0 -13
- package/lib/types/Symbol.js.map +0 -1
- package/lib/types/Tuple.d.ts +0 -35
- package/lib/types/Tuple.js +0 -39
- package/lib/types/Tuple.js.map +0 -1
- package/lib/types/Undefined.d.ts +0 -6
- package/lib/types/Undefined.js +0 -5
- package/lib/types/Undefined.js.map +0 -1
- package/lib/types/Union.d.ts +0 -20
- package/lib/types/Union.js +0 -48
- package/lib/types/Union.js.map +0 -1
- package/lib/types/Unknown.d.ts +0 -6
- package/lib/types/Unknown.js +0 -5
- package/lib/types/Unknown.js.map +0 -1
- package/lib/types/analyze.d.ts +0 -13
- package/lib/types/analyze.js +0 -158
- package/lib/types/analyze.js.map +0 -1
- package/lib/types/check.d.ts +0 -14
- package/lib/types/check.js +0 -25
- package/lib/types/check.js.map +0 -1
- package/lib/types/conform.d.ts +0 -15
- package/lib/types/conform.js +0 -26
- package/lib/types/conform.js.map +0 -1
- package/lib/types/getPlainAnalysisReport.d.ts +0 -2
- package/lib/types/getPlainAnalysisReport.js +0 -116
- package/lib/types/getPlainAnalysisReport.js.map +0 -1
- package/lib/types/index.d.ts +0 -26
- package/lib/types/index.js +0 -45
- package/lib/types/index.js.map +0 -1
- package/lib/types/optional.d.ts +0 -344
- package/lib/types/optional.js +0 -33
- package/lib/types/optional.js.map +0 -1
- package/lib/types/required.d.ts +0 -696
- package/lib/types/required.js +0 -33
- package/lib/types/required.js.map +0 -1
- package/lib/types/satisfy.d.ts +0 -15
- package/lib/types/satisfy.js +0 -26
- package/lib/types/satisfy.js.map +0 -1
- package/lib/types/types.d.ts +0 -9
- package/lib/types/types.js +0 -3
- package/lib/types/types.js.map +0 -1
- package/lib/utils/Widen.js.map +0 -1
- package/lib/utils/as.js.map +0 -1
- package/lib/utils/index.js.map +0 -1
- package/libm/JSONTypes.js.map +0 -1
- package/libm/PrimitiveTypes.js.map +0 -1
- package/libm/UnionKeys.js.map +0 -1
- package/libm/array/CommonPropKeys.js.map +0 -1
- package/libm/array/Concat.js.map +0 -1
- package/libm/array/CreateTuple.js.map +0 -1
- package/libm/array/DropFirst.js.map +0 -1
- package/libm/array/DropLast.js.map +0 -1
- package/libm/array/Filter.js.map +0 -1
- package/libm/array/FindFirst.js.map +0 -1
- package/libm/array/FindLast.js.map +0 -1
- package/libm/array/Head.js.map +0 -1
- package/libm/array/IntersectOfProps.js.map +0 -1
- package/libm/array/IsArray.js.map +0 -1
- package/libm/array/PadLeft.js.map +0 -1
- package/libm/array/Reverse.js.map +0 -1
- package/libm/array/Some.js.map +0 -1
- package/libm/array/Tail.js.map +0 -1
- package/libm/array/UnionOfProps.js.map +0 -1
- package/libm/array/UnionOfValues.js.map +0 -1
- package/libm/array/index.js.map +0 -1
- package/libm/array/literalArray.js.map +0 -1
- package/libm/array/reduceWhile.js.map +0 -1
- package/libm/assertion/assertType.js.map +0 -1
- package/libm/assertion/index.js.map +0 -1
- package/libm/class/AnyConstructor.js.map +0 -1
- package/libm/class/index.js.map +0 -1
- package/libm/class/isConstructor.js +0 -14
- package/libm/class/isConstructor.js.map +0 -1
- package/libm/function/AnyFunction.js.map +0 -1
- package/libm/function/index.js.map +0 -1
- package/libm/functional/ChainFn.js.map +0 -1
- package/libm/functional/index.js.map +0 -1
- package/libm/index.js +0 -20
- package/libm/index.js.map +0 -1
- package/libm/math/Abs.js.map +0 -1
- package/libm/math/Add.js.map +0 -1
- package/libm/math/Digit.js.map +0 -1
- package/libm/math/GreaterThan.js.map +0 -1
- package/libm/math/IsPositive.js.map +0 -1
- package/libm/math/IsWhole.js.map +0 -1
- package/libm/math/Max.js.map +0 -1
- package/libm/math/Subtract.js.map +0 -1
- package/libm/math/index.js.map +0 -1
- package/libm/nominal-types/Brand.js.map +0 -1
- package/libm/nominal-types/Flavor.js.map +0 -1
- package/libm/nominal-types/index.js.map +0 -1
- package/libm/nominal-types/nominalMatch.js.map +0 -1
- package/libm/nominal-types/types.js.map +0 -1
- package/libm/object/ANotB.js.map +0 -1
- package/libm/object/AnyRecord.js.map +0 -1
- package/libm/object/ExcludePropType.js.map +0 -1
- package/libm/object/IsDisjoint.js.map +0 -1
- package/libm/object/IsRecord.js.map +0 -1
- package/libm/object/KeyTypes.js.map +0 -1
- package/libm/object/KeyofOptional.js.map +0 -1
- package/libm/object/KeysWithDiffType.js.map +0 -1
- package/libm/object/KnownKeys.js.map +0 -1
- package/libm/object/OptionalKeys.js.map +0 -1
- package/libm/object/Partial.js.map +0 -1
- package/libm/object/RecursiveIntersect.js.map +0 -1
- package/libm/object/RecursivePartial.js.map +0 -1
- package/libm/object/RecursiveRequired.js.map +0 -1
- package/libm/object/Required.js.map +0 -1
- package/libm/object/RequiredKeys.js.map +0 -1
- package/libm/object/SpreadRecord.js.map +0 -1
- package/libm/object/ValueOf.js.map +0 -1
- package/libm/object/everyKey.js.map +0 -1
- package/libm/object/facade.js.map +0 -1
- package/libm/object/filterKey.js.map +0 -1
- package/libm/object/findKey.js.map +0 -1
- package/libm/object/forEachKey.js.map +0 -1
- package/libm/object/getField.js.map +0 -1
- package/libm/object/hasKey.js.map +0 -1
- package/libm/object/hasProperty.js.map +0 -1
- package/libm/object/index.js.map +0 -1
- package/libm/object/mapKey.js.map +0 -1
- package/libm/object/mapProperties.js.map +0 -1
- package/libm/object/omit.js.map +0 -1
- package/libm/object/pick.js.map +0 -1
- package/libm/object/reduceKey.js.map +0 -1
- package/libm/object/replaceProperty.js.map +0 -1
- package/libm/object/someKey.js.map +0 -1
- package/libm/object/typeOverrideIncompatible.js.map +0 -1
- package/libm/predicates/CanAssign.js.map +0 -1
- package/libm/predicates/Equal.js.map +0 -1
- package/libm/predicates/Extends.js.map +0 -1
- package/libm/predicates/If.js.map +0 -1
- package/libm/predicates/index.js.map +0 -1
- package/libm/predicates/isEmptyObject.js.map +0 -1
- package/libm/predicates/isType.js.map +0 -1
- package/libm/predicates/logical.js.map +0 -1
- package/libm/promise/PromiseValue.js.map +0 -1
- package/libm/promise/PromiseValueMerge.js.map +0 -1
- package/libm/promise/index.js.map +0 -1
- package/libm/promise/isPromise.js.map +0 -1
- package/libm/promise/mapSeries.js.map +0 -1
- package/libm/types/AllType.js +0 -2
- package/libm/types/AllType.js.map +0 -1
- package/libm/types/Any.js +0 -2
- package/libm/types/Any.js.map +0 -1
- package/libm/types/Array.js +0 -27
- package/libm/types/Array.js.map +0 -1
- package/libm/types/Boolean.js +0 -25
- package/libm/types/Boolean.js.map +0 -1
- package/libm/types/Generate.js +0 -2
- package/libm/types/Generate.js.map +0 -1
- package/libm/types/Null.js +0 -7
- package/libm/types/Null.js.map +0 -1
- package/libm/types/Number.js +0 -30
- package/libm/types/Number.js.map +0 -1
- package/libm/types/Object.js +0 -31
- package/libm/types/Object.js.map +0 -1
- package/libm/types/Record.js +0 -14
- package/libm/types/Record.js.map +0 -1
- package/libm/types/String.js +0 -31
- package/libm/types/String.js.map +0 -1
- package/libm/types/Symbol.js +0 -10
- package/libm/types/Symbol.js.map +0 -1
- package/libm/types/Tuple.js +0 -23
- package/libm/types/Tuple.js.map +0 -1
- package/libm/types/Undefined.js +0 -2
- package/libm/types/Undefined.js.map +0 -1
- package/libm/types/Union.js +0 -32
- package/libm/types/Union.js.map +0 -1
- package/libm/types/Unknown.js +0 -2
- package/libm/types/Unknown.js.map +0 -1
- package/libm/types/analyze.js +0 -142
- package/libm/types/analyze.js.map +0 -1
- package/libm/types/check.js +0 -21
- package/libm/types/check.js.map +0 -1
- package/libm/types/conform.js +0 -22
- package/libm/types/conform.js.map +0 -1
- package/libm/types/getPlainAnalysisReport.js +0 -106
- package/libm/types/getPlainAnalysisReport.js.map +0 -1
- package/libm/types/index.js +0 -28
- package/libm/types/index.js.map +0 -1
- package/libm/types/optional.js +0 -30
- package/libm/types/optional.js.map +0 -1
- package/libm/types/required.js +0 -30
- package/libm/types/required.js.map +0 -1
- package/libm/types/satisfy.js +0 -22
- package/libm/types/satisfy.js.map +0 -1
- package/libm/types/types.js +0 -2
- package/libm/types/types.js.map +0 -1
- package/libm/utils/Widen.js.map +0 -1
- package/libm/utils/as.js.map +0 -1
- package/libm/utils/index.js.map +0 -1
- package/src/JSONTypes.spec.ts +0 -43
- package/src/JSONTypes.ts +0 -18
- package/src/PrimitiveTypes.ts +0 -2
- package/src/UnionToIntersection.ts +0 -7
- package/src/array/CommonPropKeys.spec.ts +0 -20
- package/src/array/CommonPropKeys.ts +0 -18
- package/src/array/Concat.spec.ts +0 -21
- package/src/array/Concat.ts +0 -1
- package/src/array/CreateTuple.spec.ts +0 -21
- package/src/array/CreateTuple.ts +0 -7
- package/src/array/DropFirst.spec.ts +0 -21
- package/src/array/DropFirst.ts +0 -9
- package/src/array/DropLast.spec.ts +0 -21
- package/src/array/DropLast.ts +0 -9
- package/src/array/Filter.spec.ts +0 -21
- package/src/array/Filter.ts +0 -12
- package/src/array/FindFirst.spec.ts +0 -27
- package/src/array/FindFirst.ts +0 -13
- package/src/array/FindLast.spec.ts +0 -27
- package/src/array/FindLast.ts +0 -8
- package/src/array/Head.spec.ts +0 -21
- package/src/array/Head.ts +0 -1
- package/src/array/IntersectOfProps.spec.ts +0 -14
- package/src/array/IntersectOfProps.ts +0 -20
- package/src/array/IsArray.ts +0 -1
- package/src/array/PadLeft.spec.ts +0 -26
- package/src/array/PadLeft.ts +0 -16
- package/src/array/Reverse.spec.ts +0 -17
- package/src/array/Reverse.ts +0 -10
- package/src/array/Some.spec.ts +0 -79
- package/src/array/Some.ts +0 -24
- package/src/array/Tail.spec.ts +0 -32
- package/src/array/Tail.ts +0 -7
- package/src/array/UnionOfProps.spec.ts +0 -14
- package/src/array/UnionOfProps.ts +0 -18
- package/src/array/UnionOfValues.spec.ts +0 -11
- package/src/array/UnionOfValues.ts +0 -10
- package/src/array/index.ts +0 -19
- package/src/assertion/assertType.spec.ts +0 -507
- package/src/assertion/assertType.ts +0 -105
- package/src/assertion/index.ts +0 -1
- package/src/class/AnyConstructor.spec.ts +0 -13
- package/src/class/isConstructor.spec.ts +0 -35
- package/src/class/isConstructor.ts +0 -15
- package/src/function/AnyFunction.spec.ts +0 -21
- package/src/functional/ChainFn.spec.ts +0 -7
- package/src/functional/ChainFn.ts +0 -6
- package/src/functional/Maybe.spec.ts +0 -43
- package/src/functional/Maybe.ts +0 -19
- package/src/functional/index.ts +0 -2
- package/src/index.ts +0 -19
- package/src/math/Abs.spec.ts +0 -14
- package/src/math/Abs.ts +0 -4
- package/src/math/Add.spec.ts +0 -82
- package/src/math/Add.ts +0 -49
- package/src/math/Digit.spec.ts +0 -185
- package/src/math/Digit.ts +0 -115
- package/src/math/GreaterThan.spec.ts +0 -40
- package/src/math/GreaterThan.ts +0 -36
- package/src/math/IsPositive.ts +0 -9
- package/src/math/IsWhole.spec.ts +0 -19
- package/src/math/IsWhole.ts +0 -9
- package/src/math/Max.spec.ts +0 -35
- package/src/math/Max.ts +0 -31
- package/src/math/README.md +0 -7
- package/src/math/Subtract.spec.ts +0 -40
- package/src/math/Subtract.ts +0 -40
- package/src/math/index.ts +0 -7
- package/src/nominal-types/Brand.spec.ts +0 -43
- package/src/nominal-types/Brand.ts +0 -32
- package/src/nominal-types/Flavor.spec.ts +0 -51
- package/src/nominal-types/Flavor.ts +0 -32
- package/src/object/ANotB.ts +0 -21
- package/src/object/ExcludePropType.spec.ts +0 -13
- package/src/object/IsDisjoint.spec.ts +0 -25
- package/src/object/IsDisjoint.ts +0 -12
- package/src/object/IsRecord.spec.ts +0 -22
- package/src/object/IsRecord.ts +0 -4
- package/src/object/KeyofOptional.spec.ts +0 -8
- package/src/object/KeysWithDiffType.spec.ts +0 -21
- package/src/object/KnownKeys.spec.ts +0 -39
- package/src/object/KnownKeys.ts +0 -16
- package/src/object/Partial.spec.ts +0 -49
- package/src/object/RecursiveIntersect.spec.ts +0 -39
- package/src/object/Required.spec.ts +0 -29
- package/src/object/SpreadRecord.spec.ts +0 -14
- package/src/object/SpreadRecord.ts +0 -6
- package/src/object/ValueOf.spec.ts +0 -36
- package/src/object/facade.ts +0 -39
- package/src/object/getField.spec.ts +0 -21
- package/src/object/getField.ts +0 -21
- package/src/object/hasKey.ts +0 -7
- package/src/object/hasProperty.spec.ts +0 -15
- package/src/object/index.ts +0 -35
- package/src/object/mapProperties.spec.ts +0 -27
- package/src/object/omit.spec.ts +0 -104
- package/src/object/omit.ts +0 -36
- package/src/object/pick.spec.ts +0 -66
- package/src/object/pick.ts +0 -35
- package/src/object/typeOverrideIncompatible.spec.ts +0 -24
- package/src/object/typeOverrideIncompatible.ts +0 -10
- package/src/predicates/CanAssign.spec.ts +0 -57
- package/src/predicates/Equal.spec.ts +0 -71
- package/src/predicates/Equal.ts +0 -14
- package/src/predicates/Extends.ts +0 -4
- package/src/predicates/If.spec.ts +0 -14
- package/src/predicates/If.ts +0 -5
- package/src/predicates/index.spec.ts +0 -73
- package/src/predicates/index.ts +0 -17
- package/src/predicates/isEmptyObject.spec.ts +0 -15
- package/src/predicates/isEmptyObject.ts +0 -2
- package/src/predicates/isType.spec.ts +0 -106
- package/src/predicates/isType.ts +0 -30
- package/src/predicates/logical.spec.ts +0 -59
- package/src/predicates/logical.ts +0 -4
- package/src/promise/PromiseValue.spec.ts +0 -6
- package/src/promise/isPromise.ts +0 -4
- package/src/promise/mapSeries.ts +0 -5
- package/src/type-checker/buildTypes.spec.ts +0 -28
- package/src/type-checker/typeChecker.spec.ts +0 -13
- package/src/types/Generate.ts +0 -48
- package/src/types/Number.ts +0 -56
- package/src/types/Object.ts +0 -53
- package/src/types/String.ts +0 -56
- package/src/types/Symbol.ts +0 -19
- package/src/types/Tuple.ts +0 -50
- package/src/types/check.spec.ts +0 -12
- package/src/types/conform.spec.ts +0 -7
- package/src/types/getPlainAnalysisReport.ts +0 -115
- package/src/types/index.ts +0 -28
- package/src/types/optional.ts +0 -30
- package/src/types/required.ts +0 -30
- package/src/types/satisfy.accept.ts +0 -38
- package/src/types/satisfy.spec.ts +0 -599
- package/src/utils/as.spec.ts +0 -24
- package/src/utils/as.ts +0 -7
- package/src/utils/index.ts +0 -2
|
@@ -0,0 +1,600 @@
|
|
|
1
|
+
import { satisfies } from 'satisfier'
|
|
2
|
+
import { assertType, Equal } from '..'
|
|
3
|
+
import * as T from '.'
|
|
4
|
+
|
|
5
|
+
describe('undefined', () => {
|
|
6
|
+
test('satisfies only undefined', () => {
|
|
7
|
+
expect(T.satisfy(T.undefined, undefined)).toBe(true)
|
|
8
|
+
notSatisfyTypesOtherThan(T.undefined, undefined)
|
|
9
|
+
|
|
10
|
+
const value: unknown = undefined
|
|
11
|
+
if (T.satisfy(T.undefined, value)) {
|
|
12
|
+
assertType<undefined>(value)
|
|
13
|
+
}
|
|
14
|
+
})
|
|
15
|
+
})
|
|
16
|
+
|
|
17
|
+
describe('null', () => {
|
|
18
|
+
test('satisfies only null', () => {
|
|
19
|
+
expect(T.satisfy(T.null, null)).toBe(true)
|
|
20
|
+
notSatisfyTypesOtherThan(T.null, null)
|
|
21
|
+
|
|
22
|
+
const value: unknown = null
|
|
23
|
+
if (T.satisfy(T.null, value)) {
|
|
24
|
+
assertType<null>(value)
|
|
25
|
+
}
|
|
26
|
+
})
|
|
27
|
+
test('optional', () => {
|
|
28
|
+
const t = T.null.optional
|
|
29
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
30
|
+
|
|
31
|
+
const value: unknown = undefined
|
|
32
|
+
if (T.satisfy(t, value)) {
|
|
33
|
+
assertType<null | undefined>(value)
|
|
34
|
+
}
|
|
35
|
+
})
|
|
36
|
+
})
|
|
37
|
+
|
|
38
|
+
describe('boolean', () => {
|
|
39
|
+
test('base type satisfies both true and false', () => {
|
|
40
|
+
expect(T.satisfy(T.boolean, true)).toBe(true)
|
|
41
|
+
expect(T.satisfy(T.boolean, false)).toBe(true)
|
|
42
|
+
notSatisfyTypesOtherThan(T.boolean, true, false)
|
|
43
|
+
|
|
44
|
+
const value: unknown = undefined
|
|
45
|
+
if (T.satisfy(T.boolean, value)) {
|
|
46
|
+
assertType<boolean>(value)
|
|
47
|
+
}
|
|
48
|
+
})
|
|
49
|
+
test('true', () => {
|
|
50
|
+
expect(T.satisfy(T.boolean.true, true)).toBe(true)
|
|
51
|
+
notSatisfyTypesOtherThan(T.boolean.true, true)
|
|
52
|
+
|
|
53
|
+
const value: unknown = true
|
|
54
|
+
if (T.satisfy(T.boolean.true, value)) {
|
|
55
|
+
assertType<true>(value)
|
|
56
|
+
}
|
|
57
|
+
})
|
|
58
|
+
test('false', () => {
|
|
59
|
+
expect(T.satisfy(T.boolean.false, false)).toBe(true)
|
|
60
|
+
notSatisfyTypesOtherThan(T.boolean.false, false)
|
|
61
|
+
|
|
62
|
+
const value: unknown = false
|
|
63
|
+
if (T.satisfy(T.boolean.false, value)) {
|
|
64
|
+
assertType<false>(value)
|
|
65
|
+
}
|
|
66
|
+
})
|
|
67
|
+
test('true does not satisfy False', () => {
|
|
68
|
+
expect(T.satisfy(T.boolean.false, true)).toBe(false)
|
|
69
|
+
})
|
|
70
|
+
test('false does not satisfy True', () => {
|
|
71
|
+
expect(T.satisfy(T.boolean.true, false)).toBe(false)
|
|
72
|
+
})
|
|
73
|
+
test('optional', () => {
|
|
74
|
+
const t = T.boolean.optional
|
|
75
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
76
|
+
|
|
77
|
+
const value: unknown = undefined
|
|
78
|
+
if (T.satisfy(t, value)) {
|
|
79
|
+
assertType<boolean | undefined>(value)
|
|
80
|
+
}
|
|
81
|
+
})
|
|
82
|
+
test('optional create', () => {
|
|
83
|
+
const t = T.boolean.optional.create(true)
|
|
84
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
85
|
+
|
|
86
|
+
const value: unknown = undefined
|
|
87
|
+
if (T.satisfy(t, value)) {
|
|
88
|
+
assertType<true | undefined>(value)
|
|
89
|
+
}
|
|
90
|
+
})
|
|
91
|
+
})
|
|
92
|
+
|
|
93
|
+
describe('number', () => {
|
|
94
|
+
test('base type satisfy all numbers', () => {
|
|
95
|
+
expect(T.satisfy(T.number, 0)).toBe(true)
|
|
96
|
+
expect(T.satisfy(T.number, -1)).toBe(true)
|
|
97
|
+
expect(T.satisfy(T.number, 1)).toBe(true)
|
|
98
|
+
notSatisfyTypesOtherThan(T.number, -1, 0, 1)
|
|
99
|
+
|
|
100
|
+
const value: unknown = 0
|
|
101
|
+
if (T.satisfy(T.number, value)) {
|
|
102
|
+
assertType<number>(value)
|
|
103
|
+
assertType.isTrue(true as Equal<number, typeof value>)
|
|
104
|
+
assertType.isFalse(false as Equal<0, typeof value>)
|
|
105
|
+
}
|
|
106
|
+
})
|
|
107
|
+
test('0', () => {
|
|
108
|
+
expect(T.satisfy(T.number.create(0), 0)).toBe(true)
|
|
109
|
+
notSatisfyTypesOtherThan(T.number.create(0), 0)
|
|
110
|
+
|
|
111
|
+
const value: unknown = 0
|
|
112
|
+
if (T.satisfy(T.number.create(0), value)) {
|
|
113
|
+
assertType<0>(value)
|
|
114
|
+
}
|
|
115
|
+
})
|
|
116
|
+
test('1', () => {
|
|
117
|
+
expect(T.satisfy(T.number.create(1), 1)).toBe(true)
|
|
118
|
+
notSatisfyTypesOtherThan(T.number.create(1), 1)
|
|
119
|
+
|
|
120
|
+
const value: unknown = 1
|
|
121
|
+
if (T.satisfy(T.number.create(1), value)) {
|
|
122
|
+
assertType<1>(value)
|
|
123
|
+
}
|
|
124
|
+
})
|
|
125
|
+
test('0 does not satisfy 1', () => {
|
|
126
|
+
expect(T.satisfy(T.number.create(1), 0)).toBe(false)
|
|
127
|
+
})
|
|
128
|
+
test('1 does not satisfy 0', () => {
|
|
129
|
+
expect(T.satisfy(T.number.create(0), 1)).toBe(false)
|
|
130
|
+
})
|
|
131
|
+
test('optional', () => {
|
|
132
|
+
const t = T.number.optional
|
|
133
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
134
|
+
|
|
135
|
+
const value: unknown = undefined
|
|
136
|
+
if (T.satisfy(t, value)) {
|
|
137
|
+
assertType<number | undefined>(value)
|
|
138
|
+
}
|
|
139
|
+
})
|
|
140
|
+
test('optional const', () => {
|
|
141
|
+
const t = T.number.optional.create(1)
|
|
142
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
143
|
+
|
|
144
|
+
const value: unknown = undefined
|
|
145
|
+
if (T.satisfy(t, value)) {
|
|
146
|
+
assertType<1 | undefined>(value)
|
|
147
|
+
}
|
|
148
|
+
})
|
|
149
|
+
test('list: single', () => {
|
|
150
|
+
const t = T.number.list(0)
|
|
151
|
+
const value: unknown = 0
|
|
152
|
+
|
|
153
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
154
|
+
if (T.satisfy(t, value)) {
|
|
155
|
+
assertType<0>(value)
|
|
156
|
+
}
|
|
157
|
+
})
|
|
158
|
+
test('list: multiple', () => {
|
|
159
|
+
const t = T.number.list(1, 2, 3)
|
|
160
|
+
const value: unknown = 1
|
|
161
|
+
|
|
162
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
163
|
+
if (T.satisfy(t, value)) {
|
|
164
|
+
assertType<1 | 2 | 3>(value)
|
|
165
|
+
}
|
|
166
|
+
})
|
|
167
|
+
test('optional.list: multiple', () => {
|
|
168
|
+
const t = T.number.optional.list(1, 2, 3)
|
|
169
|
+
const value: unknown = 1
|
|
170
|
+
|
|
171
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
172
|
+
if (T.satisfy(t, value)) {
|
|
173
|
+
assertType<1 | 2 | 3 | undefined>(value)
|
|
174
|
+
}
|
|
175
|
+
})
|
|
176
|
+
})
|
|
177
|
+
|
|
178
|
+
describe('string', () => {
|
|
179
|
+
test('base type satisfies any string', () => {
|
|
180
|
+
expect(T.satisfy(T.string, '')).toBe(true)
|
|
181
|
+
expect(T.satisfy(T.string, 'a')).toBe(true)
|
|
182
|
+
notSatisfyTypesOtherThan(T.string, '', 'a')
|
|
183
|
+
|
|
184
|
+
const value: unknown = ''
|
|
185
|
+
if (T.satisfy(T.string, value)) {
|
|
186
|
+
assertType<string>(value)
|
|
187
|
+
assertType.isTrue(true as Equal<string, typeof value>)
|
|
188
|
+
assertType.isFalse(false as Equal<'', typeof value>)
|
|
189
|
+
}
|
|
190
|
+
})
|
|
191
|
+
test(`''`, () => {
|
|
192
|
+
expect(T.satisfy(T.string, '')).toBe(true)
|
|
193
|
+
notSatisfyTypesOtherThan(T.string, '')
|
|
194
|
+
|
|
195
|
+
const value: unknown = ''
|
|
196
|
+
if (T.satisfy(T.string.create(''), value)) {
|
|
197
|
+
assertType<''>(value)
|
|
198
|
+
}
|
|
199
|
+
})
|
|
200
|
+
test(`'a'`, () => {
|
|
201
|
+
expect(T.satisfy(T.string, 'a')).toBe(true)
|
|
202
|
+
notSatisfyTypesOtherThan(T.string, '', 'a')
|
|
203
|
+
|
|
204
|
+
const value: unknown = 'a'
|
|
205
|
+
if (T.satisfy(T.string.create('a'), value)) {
|
|
206
|
+
assertType<'a'>(value)
|
|
207
|
+
}
|
|
208
|
+
})
|
|
209
|
+
test(`'' does not satisfy 'a'`, () => {
|
|
210
|
+
expect(T.satisfy(T.string.create('a'), '')).toBe(false)
|
|
211
|
+
})
|
|
212
|
+
test(`'a' does not satisfy ''`, () => {
|
|
213
|
+
expect(T.satisfy(T.string.create(''), 'a')).toBe(false)
|
|
214
|
+
})
|
|
215
|
+
test('optional', () => {
|
|
216
|
+
const t = T.string.optional
|
|
217
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
218
|
+
|
|
219
|
+
const value: unknown = undefined
|
|
220
|
+
if (T.satisfy(t, value)) {
|
|
221
|
+
assertType<string | undefined>(value)
|
|
222
|
+
}
|
|
223
|
+
})
|
|
224
|
+
test('optional const', () => {
|
|
225
|
+
const t = T.string.optional.create('a')
|
|
226
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
227
|
+
|
|
228
|
+
const value: unknown = undefined
|
|
229
|
+
if (T.satisfy(t, value)) {
|
|
230
|
+
assertType<'a' | undefined>(value)
|
|
231
|
+
}
|
|
232
|
+
})
|
|
233
|
+
test('list: single', () => {
|
|
234
|
+
const t = T.string.list('a')
|
|
235
|
+
const value: unknown = 'a'
|
|
236
|
+
|
|
237
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
238
|
+
if (T.satisfy(t, value)) {
|
|
239
|
+
assertType<'a'>(value)
|
|
240
|
+
}
|
|
241
|
+
})
|
|
242
|
+
test('list: multiple', () => {
|
|
243
|
+
const t = T.string.list('1', '2', '3')
|
|
244
|
+
const value: unknown = '1'
|
|
245
|
+
|
|
246
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
247
|
+
if (T.satisfy(t, value)) {
|
|
248
|
+
assertType<'1' | '2' | '3'>(value)
|
|
249
|
+
}
|
|
250
|
+
})
|
|
251
|
+
test('optional list: multiple', () => {
|
|
252
|
+
const t = T.string.optional.list('1', '2', '3')
|
|
253
|
+
const value: unknown = '1'
|
|
254
|
+
|
|
255
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
256
|
+
if (T.satisfy(t, value)) {
|
|
257
|
+
assertType<'1' | '2' | '3' | undefined>(value)
|
|
258
|
+
}
|
|
259
|
+
})
|
|
260
|
+
})
|
|
261
|
+
|
|
262
|
+
describe('bigint', () => {
|
|
263
|
+
// test('bigint', () => {
|
|
264
|
+
// expect(T.satisfy(T.bigint, 0n)).toBe(true)
|
|
265
|
+
// notSatisfyTypesOtherThan(T.bigint, 0n, 1n)
|
|
266
|
+
|
|
267
|
+
// const value: unknown = 0n
|
|
268
|
+
// if (T.satisfy(T.bigint, value)) {
|
|
269
|
+
// assertType<bigint>(value)
|
|
270
|
+
// assertType.isFalse(assignability<0>()(value))
|
|
271
|
+
// }
|
|
272
|
+
// })
|
|
273
|
+
|
|
274
|
+
// test('bigint:0', () => {
|
|
275
|
+
// expect(T.satisfy(T.bigint.create(0n), 0n)).toBe(true)
|
|
276
|
+
// notSatisfyTypesOtherThan(T.bigint.create(0n), 0n)
|
|
277
|
+
|
|
278
|
+
// const value: unknown = 0n
|
|
279
|
+
// if (T.satisfy(T.bigint.create(0n), value)) {
|
|
280
|
+
// assertType<0n>(value)
|
|
281
|
+
// }
|
|
282
|
+
// })
|
|
283
|
+
|
|
284
|
+
// test('bigint:1', () => {
|
|
285
|
+
// expect(T.satisfy(T.bigint.create(1n), 1n)).toBe(true)
|
|
286
|
+
// notSatisfyTypesOtherThan(T.bigint.create(1n), 1n)
|
|
287
|
+
|
|
288
|
+
// const value: unknown = 1n
|
|
289
|
+
// if (T.satisfy(T.bigint.create(1n), value)) {
|
|
290
|
+
// assertType<1n>(value)
|
|
291
|
+
// }
|
|
292
|
+
// })
|
|
293
|
+
|
|
294
|
+
// test('0n not satisfy 1n', () => {
|
|
295
|
+
// expect(T.satisfy(T.bigint.create(1n), 0n)).toBe(false)
|
|
296
|
+
// })
|
|
297
|
+
|
|
298
|
+
// test('1n not satisfy 0n', () => {
|
|
299
|
+
// expect(T.satisfy(T.bigint.create(0n), 1n)).toBe(false)
|
|
300
|
+
// })
|
|
301
|
+
})
|
|
302
|
+
|
|
303
|
+
describe('symbol', () => {
|
|
304
|
+
test('base type satisfies any symbol', () => {
|
|
305
|
+
expect(T.satisfy(T.symbol, Symbol())).toBe(true)
|
|
306
|
+
notSatisfyTypesOtherThan(T.symbol, Symbol())
|
|
307
|
+
|
|
308
|
+
const value: unknown = Symbol()
|
|
309
|
+
if (T.satisfy(T.symbol, value)) {
|
|
310
|
+
assertType<symbol>(value)
|
|
311
|
+
}
|
|
312
|
+
})
|
|
313
|
+
test('optional', () => {
|
|
314
|
+
const t = T.symbol.optional
|
|
315
|
+
const value: unknown = Symbol()
|
|
316
|
+
|
|
317
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
318
|
+
|
|
319
|
+
if (T.satisfy(t, value)) {
|
|
320
|
+
assertType<symbol | undefined>(value)
|
|
321
|
+
}
|
|
322
|
+
})
|
|
323
|
+
})
|
|
324
|
+
|
|
325
|
+
describe('union', () => {
|
|
326
|
+
test('single type gets the type back', () => {
|
|
327
|
+
const t = T.union.create(T.boolean)
|
|
328
|
+
assertType<T.Boolean>(t)
|
|
329
|
+
})
|
|
330
|
+
test('on two types', () => {
|
|
331
|
+
const t = T.union.create(T.boolean, T.number)
|
|
332
|
+
expect(T.satisfy(t, 0)).toBe(true)
|
|
333
|
+
expect(T.satisfy(t, false)).toBe(true)
|
|
334
|
+
|
|
335
|
+
const value: unknown = 0
|
|
336
|
+
if (T.satisfy(t, value)) {
|
|
337
|
+
assertType<boolean | number>(value)
|
|
338
|
+
}
|
|
339
|
+
})
|
|
340
|
+
test('on multiple primitive types', () => {
|
|
341
|
+
const t = T.union.create(T.boolean, T.null, T.number)
|
|
342
|
+
expect(T.satisfy(t, false)).toBe(true)
|
|
343
|
+
|
|
344
|
+
const value: unknown = true
|
|
345
|
+
if (T.satisfy(t, value)) {
|
|
346
|
+
assertType<boolean | null | number>(value)
|
|
347
|
+
}
|
|
348
|
+
})
|
|
349
|
+
test('nested union is flatten', () => {
|
|
350
|
+
const t = T.union.create(T.union.create(T.boolean, T.null), T.string)
|
|
351
|
+
expect(T.satisfy(t, false)).toBe(true)
|
|
352
|
+
const value: unknown = true
|
|
353
|
+
if (T.satisfy(t, value)) {
|
|
354
|
+
assertType<boolean | string | null>(value)
|
|
355
|
+
}
|
|
356
|
+
})
|
|
357
|
+
test.todo('remove duplicates')
|
|
358
|
+
test('optional create', () => {
|
|
359
|
+
const t = T.union.optional.create(T.boolean)
|
|
360
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
361
|
+
|
|
362
|
+
const value: unknown = undefined
|
|
363
|
+
if (T.satisfy(t, value)) {
|
|
364
|
+
assertType<boolean | undefined>(value)
|
|
365
|
+
}
|
|
366
|
+
})
|
|
367
|
+
})
|
|
368
|
+
|
|
369
|
+
describe('array', () => {
|
|
370
|
+
test('base type satisfies any array and type guard it to any[]', () => {
|
|
371
|
+
expect(T.satisfy(T.array, [])).toBe(true)
|
|
372
|
+
expect(T.satisfy(T.array, ['a'])).toBe(true)
|
|
373
|
+
|
|
374
|
+
const value: unknown = []
|
|
375
|
+
if (T.satisfy(T.array, value)) {
|
|
376
|
+
// Note that this test is weak.
|
|
377
|
+
// I don't have a good way to nail it down as it is a top type.
|
|
378
|
+
assertType<any[]>(value)
|
|
379
|
+
}
|
|
380
|
+
})
|
|
381
|
+
test('base type does not satisfy non-array', () => {
|
|
382
|
+
notSatisfyTypesOtherThan(T.array, [], ['a'])
|
|
383
|
+
})
|
|
384
|
+
test('unknown type assert result to unknown[]', () => {
|
|
385
|
+
expect(T.satisfy(T.array.unknown, [])).toBe(true)
|
|
386
|
+
expect(T.satisfy(T.array.unknown, ['a'])).toBe(true)
|
|
387
|
+
|
|
388
|
+
const value: unknown = []
|
|
389
|
+
if (T.satisfy(T.array.unknown, value)) {
|
|
390
|
+
// Note that this test is weak.
|
|
391
|
+
// I don't have a good way to nail it down as it is a top type.
|
|
392
|
+
assertType<unknown[]>(value)
|
|
393
|
+
}
|
|
394
|
+
})
|
|
395
|
+
test('unknown type does not satisfy non-array', () => {
|
|
396
|
+
notSatisfyTypesOtherThan(T.array.unknown, [], ['a'])
|
|
397
|
+
})
|
|
398
|
+
test('specific type', () => {
|
|
399
|
+
const t = T.array.create(T.number)
|
|
400
|
+
expect(T.satisfy(t, [])).toBe(true)
|
|
401
|
+
expect(T.satisfy(t, [0])).toBe(true)
|
|
402
|
+
expect(T.satisfy(t, [1, 2])).toBe(true)
|
|
403
|
+
expect(T.satisfy(t, ['a'])).toBe(false)
|
|
404
|
+
expect(T.satisfy(t, [1, 'a'])).toBe(false)
|
|
405
|
+
expect(T.satisfy(t, ['a', 1])).toBe(false)
|
|
406
|
+
|
|
407
|
+
const value: unknown = ['a']
|
|
408
|
+
if (T.satisfy(t, value)) {
|
|
409
|
+
assertType<number[]>(value)
|
|
410
|
+
}
|
|
411
|
+
})
|
|
412
|
+
test(`array's value type can be union type`, () => {
|
|
413
|
+
const t = T.array.create(T.union.create(T.number, T.boolean))
|
|
414
|
+
expect(T.satisfy(t, [])).toBe(true)
|
|
415
|
+
expect(T.satisfy(t, [0])).toBe(true)
|
|
416
|
+
expect(T.satisfy(t, [false])).toBe(true)
|
|
417
|
+
expect(T.satisfy(t, [false, 0])).toBe(true)
|
|
418
|
+
expect(T.satisfy(t, [0, false, ''])).toBe(false)
|
|
419
|
+
|
|
420
|
+
const value: unknown = [0, false]
|
|
421
|
+
if (T.satisfy(t, value)) {
|
|
422
|
+
assertType<Array<number | boolean>>(value)
|
|
423
|
+
}
|
|
424
|
+
})
|
|
425
|
+
test('optional', () => {
|
|
426
|
+
const t = T.array.optional
|
|
427
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
428
|
+
|
|
429
|
+
const value: unknown = undefined
|
|
430
|
+
if (T.satisfy(t, value)) {
|
|
431
|
+
assertType<any[] | undefined>(value)
|
|
432
|
+
}
|
|
433
|
+
})
|
|
434
|
+
test('optional create', () => {
|
|
435
|
+
const t = T.array.optional.create(T.string)
|
|
436
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
437
|
+
|
|
438
|
+
const value: unknown = undefined
|
|
439
|
+
if (T.satisfy(t, value)) {
|
|
440
|
+
assertType<string[] | undefined>(value)
|
|
441
|
+
}
|
|
442
|
+
})
|
|
443
|
+
})
|
|
444
|
+
|
|
445
|
+
describe('tuple', () => {
|
|
446
|
+
test('single value', () => {
|
|
447
|
+
const t = T.tuple.create(T.number)
|
|
448
|
+
expect(T.satisfy(t, [0])).toBe(true)
|
|
449
|
+
expect(T.satisfy(t, [''])).toBe(false)
|
|
450
|
+
|
|
451
|
+
const value: unknown = [1]
|
|
452
|
+
if (T.satisfy(t, value)) {
|
|
453
|
+
assertType<[number]>(value)
|
|
454
|
+
}
|
|
455
|
+
})
|
|
456
|
+
test('two values', () => {
|
|
457
|
+
const t = T.tuple.create(T.number, T.string)
|
|
458
|
+
expect(T.satisfy(t, [0, ''])).toBe(true)
|
|
459
|
+
expect(T.satisfy(t, [0])).toBe(false)
|
|
460
|
+
|
|
461
|
+
const value: unknown = [1, 'a']
|
|
462
|
+
if (T.satisfy(t, value)) {
|
|
463
|
+
assertType<[number, string]>(value)
|
|
464
|
+
}
|
|
465
|
+
})
|
|
466
|
+
test('pass with more values than what specified in the type', () => {
|
|
467
|
+
expect(T.satisfy(T.tuple.create(T.number), [1, 'a'])).toBe(true)
|
|
468
|
+
})
|
|
469
|
+
test('optional', () => {
|
|
470
|
+
const t = T.tuple.optional.create(T.boolean)
|
|
471
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
472
|
+
|
|
473
|
+
const value: unknown = undefined
|
|
474
|
+
if (T.satisfy(t, value)) {
|
|
475
|
+
assertType<[boolean] | undefined>(value)
|
|
476
|
+
}
|
|
477
|
+
})
|
|
478
|
+
})
|
|
479
|
+
|
|
480
|
+
describe('object', () => {
|
|
481
|
+
test('base type satisfies any object', () => {
|
|
482
|
+
expect(T.satisfy(T.object, {})).toBe(true)
|
|
483
|
+
expect(T.satisfy(T.object, { a: 1 })).toBe(true)
|
|
484
|
+
expect(T.satisfy(T.object, { 0: 0 })).toBe(true)
|
|
485
|
+
|
|
486
|
+
const value: unknown = { a: 1 }
|
|
487
|
+
if (T.satisfy(T.object, value)) {
|
|
488
|
+
assertType<Record<string, any>>(value)
|
|
489
|
+
}
|
|
490
|
+
})
|
|
491
|
+
test('base type does not satisfy non-object including array and null', () => {
|
|
492
|
+
notSatisfyTypesOtherThan(T.object, {}, { a: 1 })
|
|
493
|
+
})
|
|
494
|
+
test('single prop', () => {
|
|
495
|
+
const t = T.object.create({ a: T.number })
|
|
496
|
+
expect(T.satisfy(t, { a: 0 })).toBe(true)
|
|
497
|
+
expect(T.satisfy(t, { a: 1 })).toBe(true)
|
|
498
|
+
|
|
499
|
+
const value: unknown = { a: 1 }
|
|
500
|
+
if (T.satisfy(t, value)) {
|
|
501
|
+
assertType<{ a: number }>(value)
|
|
502
|
+
}
|
|
503
|
+
})
|
|
504
|
+
test('two props', () => {
|
|
505
|
+
const t = T.object.create({
|
|
506
|
+
a: T.number.create(1),
|
|
507
|
+
b: T.string
|
|
508
|
+
})
|
|
509
|
+
expect(T.satisfy(t, { a: 1, b: '' })).toBe(true)
|
|
510
|
+
expect(T.satisfy(t, { a: 1, b: 'b' })).toBe(true)
|
|
511
|
+
|
|
512
|
+
const value: unknown = { a: 1, b: '' }
|
|
513
|
+
if (T.satisfy(t, value)) {
|
|
514
|
+
assertType<{ a: 1, b: string }>(value)
|
|
515
|
+
}
|
|
516
|
+
})
|
|
517
|
+
test('props with union', () => {
|
|
518
|
+
const t = T.object.create({
|
|
519
|
+
a: T.union.create(T.number.create(1), T.boolean.true),
|
|
520
|
+
b: T.string
|
|
521
|
+
})
|
|
522
|
+
expect(T.satisfy(t, { a: 1, b: '' })).toBe(true)
|
|
523
|
+
expect(T.satisfy(t, { a: true, b: '' })).toBe(true)
|
|
524
|
+
expect(T.satisfy(t, { a: false, b: '' })).toBe(false)
|
|
525
|
+
|
|
526
|
+
const value: unknown = { a: 1, b: '' }
|
|
527
|
+
if (T.satisfy(t, value)) {
|
|
528
|
+
assertType<{ a: true | 1, b: string }>(value)
|
|
529
|
+
}
|
|
530
|
+
})
|
|
531
|
+
test('nested object', () => {
|
|
532
|
+
const t = T.object.create({
|
|
533
|
+
a: T.object.create({
|
|
534
|
+
b: T.number
|
|
535
|
+
})
|
|
536
|
+
})
|
|
537
|
+
expect(T.satisfy(t, { a: { b: 0 } })).toBe(true)
|
|
538
|
+
|
|
539
|
+
const value: unknown = { a: { b: 0 } }
|
|
540
|
+
if (T.satisfy(t, value)) {
|
|
541
|
+
assertType<{ a: { b: number } }>(value)
|
|
542
|
+
}
|
|
543
|
+
})
|
|
544
|
+
test('keys is string + number + symbol', () => {
|
|
545
|
+
// technically empty string is not a valid key.
|
|
546
|
+
// maybe we can do a disjoint or something
|
|
547
|
+
expect(T.satisfy(T.keys, '')).toBe(true)
|
|
548
|
+
expect(T.satisfy(T.keys, 'a')).toBe(true)
|
|
549
|
+
expect(T.satisfy(T.keys, 0)).toBe(true)
|
|
550
|
+
expect(T.satisfy(T.keys, Symbol.for('abc'))).toBe(true)
|
|
551
|
+
})
|
|
552
|
+
test('optional', () => {
|
|
553
|
+
const t = T.object.optional
|
|
554
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
555
|
+
|
|
556
|
+
const value: unknown = undefined
|
|
557
|
+
if (T.satisfy(t, value)) {
|
|
558
|
+
assertType<Record<string, any> | undefined>(value)
|
|
559
|
+
}
|
|
560
|
+
})
|
|
561
|
+
test('optional create', () => {
|
|
562
|
+
const t = T.object.optional.create({
|
|
563
|
+
a: T.string
|
|
564
|
+
})
|
|
565
|
+
expect(T.satisfy(t, undefined)).toBe(true)
|
|
566
|
+
|
|
567
|
+
const value: unknown = undefined
|
|
568
|
+
if (T.satisfy(t, value)) {
|
|
569
|
+
assertType<{ a: string } | undefined>(value)
|
|
570
|
+
}
|
|
571
|
+
})
|
|
572
|
+
})
|
|
573
|
+
|
|
574
|
+
describe('record', () => {
|
|
575
|
+
test('base case', () => {
|
|
576
|
+
const t = T.record.create(T.number)
|
|
577
|
+
const value: any = { 'a': 1 }
|
|
578
|
+
expect(T.satisfy(t, value)).toBe(true)
|
|
579
|
+
|
|
580
|
+
if (T.satisfy(t, value)) {
|
|
581
|
+
assertType<Record<string, number>>(value)
|
|
582
|
+
}
|
|
583
|
+
})
|
|
584
|
+
test('base type does not satisfy non-object including array and null', () => {
|
|
585
|
+
notSatisfyTypesOtherThan(T.record.create(T.null), {}, { a: 1 })
|
|
586
|
+
})
|
|
587
|
+
})
|
|
588
|
+
|
|
589
|
+
// test('if condition', () => {
|
|
590
|
+
// T.If(T.boolean.false, {}, false as const)
|
|
591
|
+
// })
|
|
592
|
+
|
|
593
|
+
function notSatisfyTypesOtherThan(type: T.AllType, ...excepts: any[]) {
|
|
594
|
+
const values = [undefined, null, true, false, 0, 1, 0n, 1n, '', 'a', [], ['a'], {}, { a: 1 }, Symbol(), Symbol.for('a')]
|
|
595
|
+
values.forEach(v => {
|
|
596
|
+
if (!excepts.some(e => satisfies(v, e))) {
|
|
597
|
+
expect(T.satisfy(type, v))
|
|
598
|
+
}
|
|
599
|
+
})
|
|
600
|
+
}
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import { as, asAny, isType } from '..'
|
|
2
|
+
|
|
3
|
+
describe('as<T>()', () => {
|
|
4
|
+
test('defaults subject type to unknown', () => {
|
|
5
|
+
const s: any = {}
|
|
6
|
+
if (as(s)) isType.equal<true, unknown, typeof s>()
|
|
7
|
+
})
|
|
8
|
+
|
|
9
|
+
test('cast type to T', () => {
|
|
10
|
+
const s: any = {}
|
|
11
|
+
if (as<number>(s)) isType.equal<true, number, typeof s>()
|
|
12
|
+
if (as<string>(s)) isType.equal<true, string, typeof s>()
|
|
13
|
+
if (as<{ a: number }>(s)) isType.equal<true, { a: number }, typeof s>()
|
|
14
|
+
if (as<any>(s)) isType.equal<true, any, typeof s>()
|
|
15
|
+
})
|
|
16
|
+
})
|
|
17
|
+
|
|
18
|
+
describe('asAny()', () => {
|
|
19
|
+
test('cast type to any', () => {
|
|
20
|
+
const s: unknown = {}
|
|
21
|
+
if (asAny(s)) isType.equal<true, any, typeof s>()
|
|
22
|
+
})
|
|
23
|
+
})
|
|
24
|
+
|
package/ts/utils/as.ts
ADDED
package/lib/JSONTypes.js
DELETED
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
var __spreadArray = (this && this.__spreadArray) || function (to, from) {
|
|
3
|
-
for (var i = 0, il = from.length, j = to.length; i < il; i++, j++)
|
|
4
|
-
to[j] = from[i];
|
|
5
|
-
return to;
|
|
6
|
-
};
|
|
7
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
8
|
-
exports.JSONTypes = void 0;
|
|
9
|
-
exports.JSONTypes = { get: get };
|
|
10
|
-
function get(obj) {
|
|
11
|
-
var props = [];
|
|
12
|
-
for (var _i = 1; _i < arguments.length; _i++) {
|
|
13
|
-
props[_i - 1] = arguments[_i];
|
|
14
|
-
}
|
|
15
|
-
if (props.length === 0)
|
|
16
|
-
return obj;
|
|
17
|
-
if (typeof obj !== 'object' || obj === null)
|
|
18
|
-
return undefined;
|
|
19
|
-
var p = props.shift();
|
|
20
|
-
// @ts-ignore
|
|
21
|
-
return get.apply(void 0, __spreadArray([obj[p]], props));
|
|
22
|
-
}
|
|
23
|
-
//# sourceMappingURL=JSONTypes.js.map
|
package/lib/JSONTypes.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"JSONTypes.js","sourceRoot":"","sources":["../src/JSONTypes.ts"],"names":[],"mappings":";;;;;;;;AASa,QAAA,SAAS,GAAG,EAAE,GAAG,KAAA,EAAE,CAAA;AAEhC,SAAS,GAAG,CAAsB,GAAc;IAAE,eAAgC;SAAhC,UAAgC,EAAhC,qBAAgC,EAAhC,IAAgC;QAAhC,8BAAgC;;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAQ,CAAA;IACvC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IAC7D,IAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;IACxB,aAAa;IACb,OAAO,GAAG,8BAAC,GAAG,CAAC,CAAC,CAAC,GAAK,KAAK,EAAM,CAAA;AACnC,CAAC"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"PrimitiveTypes.js","sourceRoot":"","sources":["../src/PrimitiveTypes.ts"],"names":[],"mappings":""}
|
package/lib/UnionKeys.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"UnionKeys.js","sourceRoot":"","sources":["../src/UnionKeys.ts"],"names":[],"mappings":""}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"CommonPropKeys.js","sourceRoot":"","sources":["../../src/array/CommonPropKeys.ts"],"names":[],"mappings":""}
|
package/lib/array/Concat.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Concat.js","sourceRoot":"","sources":["../../src/array/Concat.ts"],"names":[],"mappings":""}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"CreateTuple.js","sourceRoot":"","sources":["../../src/array/CreateTuple.ts"],"names":[],"mappings":""}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"DropFirst.js","sourceRoot":"","sources":["../../src/array/DropFirst.ts"],"names":[],"mappings":""}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"DropLast.js","sourceRoot":"","sources":["../../src/array/DropLast.ts"],"names":[],"mappings":""}
|
package/lib/array/Filter.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Filter.js","sourceRoot":"","sources":["../../src/array/Filter.ts"],"names":[],"mappings":""}
|