ExDatalog.IR.Relation (ExDatalog v0.2.0)

Copy Markdown View Source

An IR relation: a named schema with arity and type information.

Summary

Types

t()

Functions

serialize(relation)

Serializes an IRRelation to a plain map.

Types

t()

@type t() :: %ExDatalog.IR.Relation{
  arity: non_neg_integer(),
  name: String.t(),
  types: [ExDatalog.IR.ir_type()]
}

Functions

serialize(relation)

@spec serialize(t()) :: map()

Serializes an IRRelation to a plain map.