ExDatalog.Schema.PredicateMeta (ExDatalog v0.5.0)

Copy Markdown View Source

Metadata for a callback predicate declared with the predicate/5 macro.

Records the DSL name, the target module/function, the declared argument types, and the return type (:boolean for filters, :value for value-returning callbacks).

Summary

Types

return_type()
t()

Types

return_type()

@type return_type() :: :boolean | :value

t()

@type t() :: %ExDatalog.Schema.PredicateMeta{
  arg_types: [atom()],
  function: atom(),
  module: module(),
  name: atom(),
  return_type: return_type()
}