View Source TypeCheck.Builtin.ImplementsProtocol (TypeCheck v0.13.7)

Checks whether there is a protocol implementation for this value.

Returns a problem tuple with the reason :no_match otherwise.

Summary

Types

problem_tuple()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

t()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Types

Link to this type

problem_tuple()

View Source 
@type problem_tuple() :: {t(), :no_match, %{}, any()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

problem_tuple :: {t(), :no_match, %{}, any()}
Link to this type

t()

View Source 
@type t() :: %TypeCheck.Builtin.ImplementsProtocol{protocol: module()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t :: %TypeCheck.Builtin.ImplementsProtocol{protocol: module()}