ExDatalog.IR.Fact (ExDatalog v0.2.0)

Copy Markdown View Source

An IR fact: a ground tuple asserted as true for a given relation.

Summary

Types

t()

Functions

serialize(fact)

Types

t()

@type t() :: %ExDatalog.IR.Fact{
  relation: String.t(),
  values: [ExDatalog.IR.ir_value()]
}

Functions

serialize(fact)

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