summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ataxic.erl23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/ataxic.erl b/src/ataxic.erl
index 8f8465f..5f8c912 100644
--- a/src/ataxic.erl
+++ b/src/ataxic.erl
@@ -67,6 +67,16 @@
]
).
+-export
+(
+ [
+ read_permission/1,
+ write_permission/1,
+ value/1,
+ sequence_meta/1
+ ]
+).
+
-export([apply_to/2, matches/2]).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -158,6 +168,19 @@ lor (List) -> #lor{ params = List }.
neg (V) -> #neg{ param = V }.
+
+-spec sequence_meta (list(meta())) -> meta().
+sequence_meta (List) -> #mseq{ ops = List }.
+
+-spec read_permission (basic()) -> meta().
+read_permission (OP) -> #read_perm{ op = OP }.
+
+-spec write_permission (basic()) -> meta().
+write_permission (OP) -> #write_perm{ op = OP }.
+
+-spec value (basic()) -> meta().
+value (OP) -> #value{ op = OP }.
+
%%%%% APPLY TO %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-spec apply_to (meta(), ataxia_entry:type()) -> ataxia_entry:type().
apply_to (#read_perm{ op = OP }, Entry) ->