improve: added types for Filter

Author: benzaria

source/internal/array.d.ts

@@ -1,7 +1,5 @@
 import type {If} from '../if.d.ts';
-import type {IsAny} from '../is-any.d.ts';
 import type {IsNever} from '../is-never.d.ts';
-import type {IsUnion} from '../is-union.d.ts';
 import type {EmptyObject} from '../empty-object.d.ts';
 import type {UnknownArray} from '../unknown-array.d.ts';
 import type {OptionalKeysOf} from '../optional-keys-of.d.ts';
@@ -109,14 +107,19 @@ Returns a `boolean` for whether the type is an empty array, the `[]` or `readonl
 @example
 ```
 import type {IsEmptyArray} from 'type-fest';
+
 type Pass1 = IsEmptyArray<[]>;
 //=> true
+
 type Pass2 = IsEmptyArray<readonly []>;
 //=> true
+
 type Fail1 = IsEmptyArray<[0]>;
 //=> false
+
 type Fail2 = IsEmptyArray<[0?]>;
 //=> false
+
 type Fail3 = IsEmptyArray<...string[]>;
 //=> false
 ```

source/internal/type.d.ts

@@ -122,17 +122,18 @@ export type Extends<T, U, S extends boolean = false> = {
 /**
 Performs a loose type comparison: checks if wheither of the members in `T` extends `U`.
 
-This is useful when needing to know if `T extends U` without distributing `T` in Main type
+This is useful when needing to know if any member of `T` extends `U` without returning `boolean`.
 */
 export type ExtendsLoose<T, U> = IsNotFalse<T extends U ? true : false>;
+// ? Should this get exposed publicly
 
 /**
 A union of `falsy` types in JS.
 */
-export type Falsy = false | 0 | '' | null | undefined; // `| never`
+export type Falsy = 0 | 0n | '' | false | null | undefined; // `| never`
 
 /**
-Checks if `T` is {@link Falsy `falsy`} similar to `Boolean(T)`.
+Checks if `T` is **not** {@link Falsy `falsy`} similar to `Boolean(T)`.
 */
 export type IsTruthy<T> =
 	IsNever<T> extends true ? false