| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ataxic.erl | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/src/ataxic.erl b/src/ataxic.erl index 2bd8796..09613f7 100644 --- a/src/ataxic.erl +++ b/src/ataxic.erl @@ -40,8 +40,32 @@ -record(list_cons, {param :: basic()}). -% TODO: list all of the above. --type basic() :: any(). +-type basic() :: + #field{} + | #upfield{} + +%%%% Sequence of instructions + | #seq{} + +%%%% List + | #const{} + | #current{} + + | #apply_fun{} + +%%%% Number Comparison + | #gt{} + | #ge{} + | #lt{} + | #le{} + | #eq{} + +%%%% Bool Operations + | #land{} + | #lor{} + | #neg{} + + | #list_cons{}. %%%% META OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%% Select |