TypeCheck
TypeCheck v0.13.5

View Source TypeCheck.DefaultOverrides.IO (TypeCheck v0.13.5)

Link to this section Summary

Types

chardata()

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

device()

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

nodata()

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

Link to this section Types

Link to this type

chardata()

View Source 
@type chardata() ::
  TypeCheck.DefaultOverrides.String.t()
  | maybe_improper_list(
      char() | chardata(),
      TypeCheck.DefaultOverrides.String.t() | []
    )

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

Full definition:

chardata() :: TypeCheck.DefaultOverrides.String.t()
| maybe_improper_list(char() | chardata(), TypeCheck.DefaultOverrides.String.t() | [])
Link to this type

device()

View Source 
@type device() :: atom() | pid()

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

Full definition:

device() :: atom() | pid()
Link to this type

nodata()

View Source 
@type nodata() :: {:error, term()} | :eof

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

Full definition:

nodata() :: {:error, term()} | :eof