rbx-is-type

is-type

This library comes with two functions:

interface IsACheckableTypes extends CheckableTypes, Instances {}
 
/**
 * Matches a given value to a given string type.
 * @param type A string which will match to a typeof call, or will match an Object's ClassName
 * @param value The value to match to a given type
 */
export declare function is<T extends keyof IsACheckableTypes>(type: T, value: any): value is IsACheckableTypes[T];
 
/**
 * Matches a given value to a given string type.
 * @param type A string which will match to a typeof call, or will match an Object:IsA(type) call
 * @param value The value to match to a given type
 */
export declare function isA<T extends keyof IsACheckableTypes>(type: T, value: any): value is IsACheckableTypes[T];

The implementations are pretty obvious:

is = function(typeStr, obj)
    local objType = typeof(obj);
    return objType == typeStr or objType == "Instance" and obj.ClassName == typeStr;
end;
 
isA = function(typeStr, obj)
    local objType = typeof(obj);
    return objType == typeStr or objType == "Instance" and obj:IsA(typeStr);
end;

These are very useful for type narrowing:

function Get(data: unknown) {
    if (is("number", data)) {
        // data is a number
    } else if (is("RemoteEvent", data)) {
        // data is a RemoteEvent
    } else if (isA("BasePart", data)) {
        // data is a BasePart
    }
}