ProgramFacts.Fact.Effect (program_facts v0.2.0)

A side-effect oracle fact for a generated function.

Summary

t()

from_map!(map)

new(arg)

to_tuple(effect)

@type t() :: %ProgramFacts.Fact.Effect{
  effect: atom(),
  function: ProgramFacts.Fact.FunctionID.t()
}