Added Machine as module level

1 files changed, 25 insertions, 0 deletions

diff --git a/ABC/Machine/GraphStore.dcl b/ABC/Machine/GraphStore.dcl
new file mode 100644
index 0000000..da96156
--- /dev/null
+++ b/ABC/Machine/GraphStore.dcl
@@ -0,0 +1,25 @@
+definition module ABC.Machine.GraphStore
+
+from StdOverloaded import class toString
+from ABC.Machine.Def import ::Arity, ::InstrId, ::Name, ::APEntry, ::DescId, ::NodeId
+from ABC.Machine.Nodes import ::Node
+
+:: Desc = Desc APEntry Arity Name
+
+d_ap_entry :: Desc -> InstrId
+d_arity    :: Desc -> Arity
+d_name     :: Desc -> String
+
+:: DescStore (:== [Desc])
+
+ds_get     :: DescId DescStore -> Desc
+ds_init    :: [Desc] -> DescStore
+
+:: GraphStore
+
+show_graphstore :: GraphStore DescStore -> String
+
+gs_get     :: NodeId GraphStore -> Node
+gs_init    :: GraphStore
+gs_newnode :: GraphStore -> (GraphStore, NodeId)
+gs_update  :: NodeId (Node -> Node) GraphStore -> GraphStore