diff options
| author | Camil Staps | 2016-06-30 21:18:07 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-30 21:18:07 +0200 |
| commit | 9498270f46646c34cba3885a2e455b08daf9c324 (patch) | |
| tree | 9bade895bed4d5a59ced986ad437cf7e5a93aba9 /Descriptors.dcl | |
| parent | GraphStore, Nodes (diff) | |
Descriptors, Program
Diffstat (limited to 'Descriptors.dcl')
| -rw-r--r-- | Descriptors.dcl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Descriptors.dcl b/Descriptors.dcl new file mode 100644 index 0000000..b2dcce4 --- /dev/null +++ b/Descriptors.dcl @@ -0,0 +1,14 @@ +definition module ABC.Descriptors + +from ABC.Def import ::Arity, ::InstrId + +:: 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 |