hkt-toolbelt - npm Package Compare versions

Comparing version 0.21.0 to 0.21.1

list/splice.d.ts

@@ -1,4 +0,4 @@
-import { NaturalNumber, Number, DigitList, Digit, Kind, Type, List } from "..";
-type _$splice2<T extends unknown[], START extends DigitList.DigitList, DEL_COUNT extends DigitList.DigitList, INSERTS extends unknown[], PRE extends unknown[] = [], POST extends unknown[] = T, RESULT extends List.List = DigitList._$compare<START, NaturalNumber._$toList<T["length"]>> extends 1 | 0 ? List._$concat<INSERTS, T> : DEL_COUNT extends [Digit.Zero] ? START extends [Digit.Zero] ? [...PRE, ...INSERTS, ...POST] : _$splice2<T, DigitList._$decrement<START>, [Digit.Zero], INSERTS, List._$push<POST[0], PRE>, List._$shift<POST>> : START extends [Digit.Zero] ? [...PRE, ...INSERTS, ...List._$shiftN<POST, DigitList._$toNumber<DEL_COUNT>>] : _$splice2<T, DigitList._$decrement<START>, DEL_COUNT, INSERTS, List._$push<POST[0], PRE>, List._$shift<POST>>> = RESULT;
-export type _$splice<T extends unknown[], START extends Number.Number, DEL_COUNT extends Number.Number, INSERTS extends unknown[], RESULT extends List.List = List._$every<Number.IsNatural, [START, DEL_COUNT]> extends true ? _$splice2<T, NaturalNumber._$toList<START>, NaturalNumber._$toList<DEL_COUNT>, INSERTS> : never> = RESULT;
+import { NaturalNumber, Number, DigitList, Digit, Kind, Type, List, Boolean } from "..";
+type _$splice2<T extends unknown[], START extends Number.Number, DEL_COUNT extends DigitList.DigitList, INSERTS extends unknown[], PRE extends unknown[] = [], POST extends unknown[] = T, T_LENGTH extends DigitList.DigitList = NaturalNumber._$toList<T["length"]>, START_ABS extends DigitList.DigitList = NaturalNumber._$toList<Number._$absolute<START>>, START_NORM extends DigitList.DigitList = Number._$isNatural<START> extends true ? START_ABS : DigitList._$compare<T_LENGTH, START_ABS> extends -1 ? [Digit.Zero] : DigitList._$subtract<T_LENGTH, START_ABS>, RESULT extends List.List = DigitList._$compare<START_NORM, NaturalNumber._$toList<T["length"]>> extends 1 | 0 ? List._$concat<INSERTS, T> : DEL_COUNT extends [Digit.Zero] ? START_NORM extends [Digit.Zero] ? [...PRE, ...INSERTS, ...POST] : _$splice2<T, DigitList._$toNumber<DigitList._$decrement<START_NORM>>, [Digit.Zero], INSERTS, List._$push<POST[0], PRE>, List._$shift<POST>> : START_NORM extends [Digit.Zero] ? [...PRE, ...INSERTS, ...List._$shiftN<POST, DigitList._$toNumber<DEL_COUNT>>] : _$splice2<T, DigitList._$toNumber<DigitList._$decrement<START_NORM>>, DEL_COUNT, INSERTS, List._$push<POST[0], PRE>, List._$shift<POST>>> = RESULT;
+export type _$splice<T extends unknown[], START extends Number.Number, DEL_COUNT extends Number.Number, INSERTS extends unknown[], RESULT extends List.List = Boolean._$and<Number._$isInteger<START>, Number._$isNatural<DEL_COUNT>> extends true ? _$splice2<T, START, NaturalNumber._$toList<DEL_COUNT>, INSERTS> : never> = RESULT;
 interface Splice_T2<INPUT extends [START: Number.Number, DEL_COUNT: Number.Number], INSERTS extends unknown[]> extends Kind.Kind {
@@ -5,0 +5,0 @@ f(x: Type._$cast<this[Kind._], unknown[]>): _$splice<typeof x, INPUT[0], INPUT[1], INSERTS>;

package.json

 {
   "name": "hkt-toolbelt",
-  "version": "0.21.0",
+  "version": "0.21.1",
   "description": "Functional and composable type utilities",
@@ -5,0 +5,0 @@ "types": "./dist/index.d.ts",

No alert changes

Improved metrics

Total package byte prevSize

216668

increased by32.81%

Number of package files

230

increased by0.44%

Lines of code

4377

increased by0.05%

No dependency changes