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

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.)

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