npm

npm i -D typyx

pnpm

pnpm i -D typyx

Requires TypesScript v5.0+

Checkout the full API reference for all usage examples with details.

• ExclusiveUnion<T> - Creates a union type where each variant has its specific properties required, while other properties are optional.
• UniqueArray<T> - Create unique array type from a given array type T, a set perse.
• Prune<T,N = NotIncluded> - Prune a type T by recursively omitting properties of type N (defaults to NotIncluded).
• PositiveRange<N,M> - Represents a range of positive integers from N to M (inclusive), useful for enforcing numeric bounds.
• UnionToTuple<T> - Converts a union type T into a tuple type, allowing for ordered access to the union's members.
• EnforcedString<Prefix, Contains, Suffix> - Constructs a type that restricts a string based on three optional constraints: a prefix, a substring (must be contained), and a suffix.
• FilledString<Obj> - Error out on an empty ('') string.
• DeepToPrimitive<Obj> - Recursively transforms an object type T into a type where all properties are replaced with their corresponding primitive types.
• Assign<Obj,ObjArr> - Copies all enumerable own properties from one target object to a source array of objects.
• CapitalizeFirst<T> - Capitalizes the first character of a string literal type while preserving the rest.
• Is<T,U> - Checks if two types T and U are exactly identical and resolves to true or false at the type level.
• IsNot<T,U> - Check if T and U are not the same.
• Paths<Obj - Generates all possible dot-separated key paths from a nested object type.
• NonEmptyArray<T> - The array type must contain at least one element of type T.
• DeepAwaited<T> - Recursively resolves all nested Promise types to their underlying value.
• Flip<Obj> - Flips keys with values of an object type Obj.
• DeepImmutable<Obj> - Recursively turns the proprties within a given object type T immutable, as in have all the properties with the readonly modifier.
• Deepmutable<Obj> - Recursively mutates all the proprties within a given object type T, as in have all the properties without the readonly modifier.
• DeepRequired<Obj> - Recursively make all object properties required.
• DeepNotRequired<Obj> - Recursively make all object properties not required.
• DeepOmit<Obj,P> - Recursively omits specified nested properties from an object, based on a given predicate P.
• DeepPick<Obj,P> - Deeply pick properties from a nested object, based on a given predicate P.
• EmptyObject - Represents any non-nullish value, basically {}.
• EqualStrlen<S1, S2> - Check if two strings S1 and S2 have the same length.
• Strlen<S> - Computes the length of a string S at the type level.
• StrMin<S, Min> - Enforces that a string S has a length greater than or equal to Min, returning a Message on violation.
• StrMax<S, Max> - Enforces that a string S has a length less than or equal to Max, returning a Message on violation.
• StrBetween<S, Min, Max> - Ensures a string S has a length within [Min, Max], inclusive, returning a Message if outside the range.
• PartialExcept<T, P> - Makes all properties in T optional except those in K which remain required.
• FilterBy<Obj, P> - Filters keys from the object type Obj based on a specified predicate P.
• Float<N> - Type representing a float.
• If<C, Do, Else> - If C evaluates true, Do, otherwise return Else.
• IfEquals<T, P, Do, Else> - Checks if type T is equal to type P. If T is equal to P, the type resolves to Do, otherwise Else.
• IfExtends<T, P, Do, Else> - Checks if type T extends type P. if it does, the type resolves to Do, otherwise Else.
• ImmutableKeys<Obj> - Retrieves the keys that are immutable (readonly) from an object of type Obj.
• Integer<N> - Represents an integer.
• Abs<N> - Get the absolute value of a Numeric.
• And<B1,B2> - Logical AND between two boolean types.
• EitherOneOrMany<T> - Represents a type that can be either a single value of type T or an array of values of type T.
• Nullable - Represents any non-nullish value, basically {}.
• Equals<X,Y> - Checks if two types X and Y are exactly equal.
• EvenNumeric<T> - Represents an even Numeric.
• ExcludeNull<T> - Excludes null from a type T.
• ExcludeNullable<T> - Excludes Nullable from a type T.
• ExcludeUndefined<T> - Excludes undefined from a type T.
• KeysOfUnion<T> - Extracts the union of keys from a given union of object types, useful for accessing all possible keys in unions.
• Simplify<T> - Flattens the structure of a type by resolving intersections and simplifying nested mapped types, enhancing readability.
• Extends<T,U> - Evaluates whether one type T is assignable to another type U.
• Falsy - Represents a type that is falsy JavaScript.
• FalsyProperties<T> - Extracts falsy properties from an object type T.
• IsArrayIncludesTypeof<Arr, T> - Checks if an array type Arr includes one or more of T type.
• LastElement<Arr, T> - Get the last element of the array.
• IsBigInt<T> - Checks if T is a bigint.
• IsBoolean<T> - Checks if T is a boolean.
• IsDeepImmutable<Obj> - Checks if all the nested properties of a given object Obj are immutable.
• IsDeepMutable<Obj> - Checks if all the nested properties of a given object Obj are mutable.
• IsDeepNotRequired<Obj> - Checks if all the properties of a given object (nested) are not required, as in, all properties have the ? modifier.
• IsDeepRequired<Obj> - Checks if all the properties of a given object (nested) are required, as in, all properties do not have the ? modifier.
• IsExactlyAny<T> - Checks if a type T is exactly any.
• IsExactlyBigInt<T> - Checks if a type T is exactly bigint not a subtype of it.
• IsExactlyNumber<T> - Checks if a type T is exactly number not a subtype of it.
• IsExactlyString<T> - Checks if a type T is exactly string not a subtype of it.
• IsExactlySymbol<T> - Checks if a type T is exactly symbol not a subtype of it.
• IsExactlyUnknown<T> - Checks if a type T is exactly unknown not a subtype of it.
• IsFalsy<T> - Checks if a given type T is Falsy.
• IsFloat<N> - Checks if a given type T is a Float<N>.
• IsFunction<T> - Checks if a given type T is a function.
• IsInteger<N> - Checks if a given Numeric is an Integer<N>.
• IsNever<T>: - Checks if a type T does not resolve, so never.
• IsNewable<T> - Checks if a type T is Newable.
• IsNullable<T> - Checks if a type T is Nullable.
• IsNumber<T> - Checks if a type T is a number.
• IsNumeric<T> - Checks if a type T is Numeric.
• IsObject<T> - Checks if a given type T qualifies as an object.
• IsString<T> - Check if a given type T is a string.
• IsSymbol<T> - Check if a given type T is a symbol.
• IsTruthy<T> - Check if a given type T resolves to a truthy value.
• Keys<T> - Retrieves the union type of keys (property names) of a type T.
• Maybe<T> - Type that might be Nullable
• MaybeUndefined<T> - Type that might undefined.
• MutableKeys<Obj> - Retrieves the keys that are mutable from an object of type Obj.
• Nand<B1, B2> - Logical NAND between two boolean types B1 and B2.
• NegativeFloat<N> - Represents a negative (]-∞, 0[) Float<N>.
• NegativeFloatString<S> - Represents a negative Float<N> parsed from a string.
• NegativeInteger<N> - Represents a negative (]-∞, 0[) Integer<N>.
• NegativeIntegerString<S> - Represents a negative Integer<N> parsed from a string.
• NewType<New, Base> - Represents a new unique type derived from an existing base type. (branded type)
• Newable - Represents constructor functions that can be invoked using the new keyword.
• NonRequiredKeys<Obj> - Returns all non required keys of an object Obj, as in any property of an object that is marked with ? operator.
• Not<B> - Negates a boolean type B.
• Nullable - Represents a type that can either be null or undefined.
• Numeric - Represents a type that can either be number or bigint.
• NumerifyString<S> - Turn a given string literal to a Numeric, if possible.
• Methods<Obj> - Get the literal names of keys that are methods in an object type Obj.
• Properties<Obj> - Get the literal names of keys that are properties in an object type Obj.
• OddNumeric<T> - Represents an odd Numeric.
• OmitByType<Obj, T> - Get a set of properties from Obj whose type are not assignable to T.
• OmitCommonKeys<Obj1, Obj2> - Omit any common key between the the two objects,.
• OmitExactlyByType<Obj, T> - Omit properties from Obj whose type exactly matches T.
• Optional<T> - Represents a type that may be null, similar to Python's Optional type and Rust's Option enum.
• NotAssignableTo<U, V> - Represents a type that excludes all members of U that are assignable to V.
• Or<B1, B2> - Logical OR between two boolean types B1 and B2.
• PickByType<Obj, T> - Pick from Obj a set of properties that match the type T.
• PickCommonKeys<Obj1, Obj2> - Get the common keys between two objects.
• PickExactlyByType<Obj, T> - Get a set of properties from Obj whose type exactly matches T.
• PositiveFloat<N> - Represents a positive ([0, +∞[) Float<N>.
• PositiveFloatString<S> - Represents a positive Float<N> parsed from a string.
• PositiveInteger<N> - Represents a positive ([0, +∞[) Integer<N>.
• PositiveIntegerString<S> - Represents a negative Integer<N> parsed from a string.
• Primitive - All primitive types.
• ReplaceKeys<Obj1,P,Obj2> - Constructs a new type by replacing properties P of type Obj with object type Obj2.
• RequiredKeys<Obj> - Get the required keys of an object (shallow).
• SizedTuple<T,N> - Creates a tuple with a specific length, where each element is of a given type.
• StringEndsWith<S,E> - Checks if a string S ends with E
• StringStartsWith<S,St> - Checks if a string S starts with St
• StringifyPrimitive<P> - Turns a given Primitive value (except symbol) into its string representation.
• Strlen<S> - Get the length of a string S.
• TestType<T1, T2, Expected> - Tests if type T1 and T2 are the same.
• TruthyProperties<T> - Extracts truthy properties from an object type T.
• UnionToIntersection<U> - As the name implies, it turns a union into an intersection.
• Vals<Obj> - Get the set of type values in a given object.
• Xor<B1, B2> - Exclusive OR between two boolean types B1 and B2.
• Xnor<B1, B2> - Exclusive XNOR between two boolean types B1 and B2.

The best way to understand how these types work is to check the tests directory. Each type has corresponding edge test cases that demonstrate its usage and expected behavior.

See releases.

MIT © @rccyx