From 730ac64b4f5a680a6f32c8a0bedccf500444fdc6 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 12 Dec 2018 22:39:47 +0100
Subject: ...

---
 src/ataxic.erl | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

(limited to 'src/ataxic.erl')

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) ->
-- 
cgit v1.2.3-70-g09d2