Paradigm.Abstraction (paradigm v0.1.0)

Functions for moving between Paradigm structs and corresponding graph data.

Summary

Functions

Takes any Paradigm and produces the corresponding Paradigm.Graph.Instance that is invariant against the Metamodel paradigm.

Takes a Paradigm.Graph.Instance of metamodel type, and returns a top-level Paradigm object.

Functions

embed(paradigm, graph_impl)

Takes any Paradigm and produces the corresponding Paradigm.Graph.Instance that is invariant against the Metamodel paradigm.

extract(instance)

Takes a Paradigm.Graph.Instance of metamodel type, and returns a top-level Paradigm object.