RTypes v0.1.2 RTypes.Checker View Source

Link to this section Summary

Functions

Ensure that term corresponds to the given type.

Link to this section Functions

Link to this function

check!(term, typ) View Source
check!(term(), RType.Extractor.unfolded_type()) :: true | no_return()

Ensure that term corresponds to the given type.

The function either returns true or raises an exception explaining what went wrong.