add publishing of sds's

[mTask.git] / mTaskInterpret.dcl

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index 0deb665..cce5735 100644 (file)
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -5,6 +5,17 @@ from Control.Monad.State import :: State, :: StateT
 from Data.Monoid import class Semigroup, class Monoid
 import mTask
 
+:: MTaskMessage 
+       = MTSds Int String
+       | MTTask Int String
+       | MTPub Int String
+       | MTUpd Int String
+       | MTEmpty
+
+instance toString MTaskMessage
+encode :: MTaskMessage -> String
+decode :: String -> MTaskMessage
+
 :: BC
        = BCNop
        | BCLab Int
@@ -83,8 +94,9 @@ instance assign ByteCode
 instance seq ByteCode
 instance serial ByteCode
 
-getSDSBytes :: BCState -> String
-getTaskBytes :: Int String -> String
+//pub :: (ByteCode a b) -> ByteCode a b
+
+toMessages :: Int (String, BCState) -> [MTaskMessage]
 
 toByteVal :: BC -> [Char]
 toReadableByteCode :: (ByteCode a b) -> (String, BCState)