X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=0fb9efc9885580b0b8acadf0e35db397f730e881;hb=7edf1780ae3b91d9136db2d94b25e88d64896645;hp=0deb6652f642afca08fbda26c3635ff72a81ecd0;hpb=93cabbcd5d18b7b45d6f43a6ff39f94cfcb95522;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 0deb665..0fb9efc 100644 --- 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)