1 files changed, 121 insertions, 19 deletions

diff --git a/src/ataxic.erl b/src/ataxic.erl
index 11da6e6..a1a2a1a 100644
--- a/src/ataxic.erl
+++ b/src/ataxic.erl
@@ -4,47 +4,66 @@
 %% TYPES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-%%%% UPDATE OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
+%%%% BASIC OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%% Select
--record(field, {ix :: non_neg_integer(), op :: type()}).
--record(array_cell, {ix :: non_neg_integer(), op :: type()}).
+-record(field, {ix :: non_neg_integer(), op :: basic()}).
+-record(array_cell, {ix :: non_neg_integer(), op :: basic()}).
 
 %%%% Sequence of instructions
--record(seq, {ops :: list(type())}).
+-record(seq, {ops :: list(basic())}).
 
 %%%% List
 -record(list_append, {values :: list(any()), head :: boolean()}).
 
-%%%% CALC OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 -record(const, {value :: any()}).
 -record(current, {}).
 
-%%%% TEST OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
 %%%% Number Comparison
--record(gt, {p0 :: type(), p1 :: type()}).
--record(ge, {p0 :: type(), p1 :: type()}).
--record(lt, {p0 :: type(), p1 :: type()}).
--record(le, {p0 :: type(), p1 :: type()}).
--record(eq, {p0 :: type(), p1 :: type()}).
+-record(gt, {p0 :: basic(), p1 :: basic()}).
+-record(ge, {p0 :: basic(), p1 :: basic()}).
+-record(lt, {p0 :: basic(), p1 :: basic()}).
+-record(le, {p0 :: basic(), p1 :: basic()}).
+-record(eq, {p0 :: basic(), p1 :: basic()}).
 
 %%%% Bool Operations
--record(land, {params :: list(type())}).
--record(lor, {params :: list(type())}).
--record(neg, {param :: type()}).
+-record(land, {params :: list(basic())}).
+-record(lor, {params :: list(basic())}).
+-record(neg, {param :: basic()}).
 
-%-type type() :: ...
+% TODO: list all of the above.
+-type basic() :: any().
+
+%%%% META OP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Select
+-record(read_perm, {op :: basic()}).
+-record(write_perm, {op :: basic()}).
+-record(value, {op :: basic()}).
 
+-record(mseq, {ops :: list(meta())}).
+
+-type meta() :: #read_perm{} | #write_perm{} | #value{} | #mseq{}.
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% EXPORTS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
--export_type([type/0]).
+-export_type([basic/0, meta/0]).
 
 -export
 (
    [
-      % ...
+      on_field/2,
+      on_array_cell/2,
+      sequence/1,
+      append_to_list/2,
+      constant/1,
+      current_value/0,
+      ge/2,
+      gt/2,
+      le/2,
+      lt/2,
+      eq/2,
+      land/1,
+      lor/1,
+      neg/1
    ]
 ).
 
@@ -57,3 +76,86 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% EXPORTED FUNCTIONS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+-spec on_field (non_neg_integer(), basic()) -> basic().
+on_field (IX, OP) -> #field{ ix = IX, op = OP }.
+
+-spec on_array_cell (non_neg_integer(), basic()) -> basic().
+on_array_cell (IX, OP) -> #array_cell{ ix = IX, op = OP }.
+
+-spec sequence (list(basic())) -> basic().
+sequence (List) -> #seq{ ops = List }.
+
+-spec append_to_list (list(any()), boolean()) -> basic().
+append_to_list (List, Head) -> #list_append { values = List, head = Head }.
+
+-spec constant (any()) -> basic().
+constant (Val) -> #const{ value = Val }.
+
+-spec current_value () -> basic().
+current_value () -> #current{}.
+
+-spec ge (basic(), basic()) -> basic().
+ge (P0, P1) -> #ge{ p0 = P0, p1 = P1 }.
+
+-spec gt (basic(), basic()) -> basic().
+gt (P0, P1) -> #gt{ p0 = P0, p1 = P1 }.
+
+-spec le (basic(), basic()) -> basic().
+le (P0, P1) -> #le{ p0 = P0, p1 = P1 }.
+
+-spec lt (basic(), basic()) -> basic().
+lt (P0, P1) -> #lt{ p0 = P0, p1 = P1 }.
+
+-spec eq (basic(), basic()) -> basic().
+eq (P0, P1) -> #eq{ p0 = P0, p1 = P1 }.
+
+-spec land (list(basic())) -> basic().
+land (List) -> #land{ params = List }.
+
+-spec lor (list(basic())) -> basic().
+lor (List) -> #lor{ params = List }.
+
+-spec neg (basic()) -> basic().
+neg (V) -> #neg{ param = V }.
+
+
+%%%%% APPLY TO %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+-spec apply_to (basic(), any()) -> any().
+apply_to (#field{ ix = IX, op = OP}, Val) ->
+   setelement(IX, Val, apply_to(OP, element(IX, Val)));
+apply_to (#array_cell{ ix = IX, op = OP }, Val) ->
+   array:set(IX, apply_to(OP, array:get(IX, Val)), Val);
+
+apply_to (#seq{ ops = List }, Val) ->
+   lists:foldl(fun apply_to/2, Val, List);
+
+apply_to (#list_append { values = List, head = Head }, Val) ->
+   case Head of
+      true -> (List ++ Val);
+      _ -> (Val ++ List)
+   end;
+
+apply_to (#const{ value = Val }, _Val) ->
+   Val;
+apply_to (#current{}, Val) ->
+   Val;
+
+apply_to (#ge{ p0 = P0, p1 = P1 }, _Val) ->
+   P0 >= P1;
+apply_to (#gt{ p0 = P0, p1 = P1 }, _Val) ->
+   P0 > P1;
+apply_to (#le{ p0 = P0, p1 = P1 }, _Val) ->
+   P0 =< P1;
+apply_to (#lt{ p0 = P0, p1 = P1 }, _Val) ->
+   P0 < P1;
+apply_to (#eq{ p0 = P0, p1 = P1 }, _Val) ->
+   P0 == P1;
+
+apply_to (#land{ params = List }, _Val) ->
+   lists:all(fun (E) -> E end, List);
+
+apply_to (#lor{ params = List }, _Val) ->
+   lists:any(fun (E) -> E end, List);
+
+apply_to (#neg{ param = V }, _Val) ->
+   not V.