RTypes v0.3.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 Sourcecheck(term(), RTypes.Extractor.unfolded_type()) :: :ok | {:error, RTypes.error_description()}
Ensure that term corresponds to the given type.
The function either returns :ok or {:error, reason}, where reason
explains what went wrong.