diff options
| author | Camil Staps | 2016-07-01 19:37:38 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-07-01 19:37:38 +0200 |
| commit | b3f1e3ff0404a5182b6eed2d88014b4b4fbd69c2 (patch) | |
| tree | c2dbd5b0a43fffc6119510bdc2f5324aa3a0e3b5 /GraphStore.dcl | |
| parent | Assembler (diff) | |
Moved to directory, added test program
Diffstat (limited to 'GraphStore.dcl')
| -rw-r--r-- | GraphStore.dcl | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/GraphStore.dcl b/GraphStore.dcl deleted file mode 100644 index 108a77e..0000000 --- a/GraphStore.dcl +++ /dev/null @@ -1,25 +0,0 @@ -definition module ABC.GraphStore - -from StdOverloaded import class toString -from ABC.Def import ::Arity, ::InstrId, ::Name, ::APEntry, ::DescId, ::NodeId -from ABC.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 |