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

Type to check whether the given input is any port.

Check Port for more information on ports.

NOTE: The property testing generator will generate ports of the cat binary which is a sensible default as it will send back any binaries sent to it exactly. However, note that generated ports are not automatically closed.

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

problem_tuple()

@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()}

t()

@type t() :: %TypeCheck.Builtin.Port{}

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

Full definition:

t :: %TypeCheck.Builtin.Port{}