[Feature Request] validate a given object against a type annotation as a function

Really love beartype. However, I couldn’t find the method for validating a given object against a type annotation. I have to use some tricks. Is this available somewhere?

def check_pep_type_raise_exception(obj, annotation):
    import beartype.roar
    import beartype
    @beartype.beartype
    def check(o) -> annotation:
        return o

    try:
        check(obj)
        reason = None
    except beartype.roar.BeartypeCallHintPepReturnException as e:
        reason = e.args[0].split('return ')[-1]
    if reason:
        raise TypeException(reason)
    return True

[rsokl]

+1 for this feature! I will almost certainly have use for this in hydra-zen down the line.

[qiujiangkun]

Oh, the API sounds good enough for me. I’m implementing https://github.com/qiujiangkun/typedmodel with beartype as the only dependency, as a replacement of pydantic, but its type-validation is stupid and full of surprise, like treating type annotation standalone and in list differently, when standalone it raises an exception, but in a list, it converts something false negatively. Now with typedmodel, I have a similar experience as I’m working with Rust structs.

I’m in a research group about compiler optimization, code generation, and type inference.