RTypes v0.2.1 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, typ)
View Source
check(term(), RTypes.Extractor.unfolded_type()) ::
:ok | {:error, RTypes.error_description()}
check(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.