| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/ataxia/ataxic.hrl | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/include/ataxia/ataxic.hrl b/include/ataxia/ataxic.hrl index 6e6f34b..04186a5 100644 --- a/include/ataxia/ataxic.hrl +++ b/include/ataxia/ataxic.hrl @@ -41,8 +41,31 @@ -record(lor, {params :: list(ataxic:basic())}). -record(neg, {param :: ataxic:basic()}). +%%%% List Operations -record(list_cons, {param :: ataxic:basic()}). +%%%% Condition +-record +( + tern, + { + condition :: ataxic:basic(), + then :: ataxic:basic(), + else :: ataxic:basic() + } +). + +%%%% Memory +-record +( + letr, + { + bindings :: list({ataxic:variable(), ataxic:basic()}), + op :: ataxic:basic() + } +). +-record (var, { name :: ataxic:variable() }). + %%%% META OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%% Select -record(read_perm, {op :: ataxic:basic()}). |