TypeCheck
TypeCheck v0.12.0

View Source TypeCheck.DefaultOverrides.Kernel.ParallelCompiler (TypeCheck v0.12.0)

Link to this section Summary

Types

error()

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

line()

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

location()

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

warning()

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

Link to this section Types

Link to this type

error()

View Source 
@type error() ::
  {file :: TypeCheck.DefaultOverrides.Path.t(), line(),
   message :: TypeCheck.DefaultOverrides.String.t()}

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

Full definition:

error() :: {file :: TypeCheck.DefaultOverrides.Path.t(), line(),
 message :: TypeCheck.DefaultOverrides.String.t()}
Link to this type

line()

View Source 
@type line() :: non_neg_integer()

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

Full definition:

line() :: non_neg_integer()
Link to this type

location()

View Source 
@type location() :: line() | {line(), column :: non_neg_integer()}

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

Full definition:

location() :: line() | {line(), column :: non_neg_integer()}
Link to this type

warning()

View Source 
@type warning() ::
  {file :: TypeCheck.DefaultOverrides.Path.t(), location(),
   message :: TypeCheck.DefaultOverrides.String.t()}

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

Full definition:

warning() :: {file :: TypeCheck.DefaultOverrides.Path.t(), location(),
 message :: TypeCheck.DefaultOverrides.String.t()}