X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.dcl;fp=mTask.dcl;h=955b28ab3c0a93f356272310218f07f2f7feb3cd;hb=848595d1288804d6de43625f9e6f1cf76295c285;hp=7766d30143d50b974d821c9e27b064b7119e8e19;hpb=8782aef8ee6b8e0d3be35bee36b519212bdd8de9;p=mTask.git diff --git a/mTask.dcl b/mTask.dcl index 7766d30..955b28a 100644 --- a/mTask.dcl +++ b/mTask.dcl @@ -90,6 +90,7 @@ class var2 v where class sds v where sds :: ((v t Upd)->In t (Main (v c s))) -> (Main (v c s)) | type, mTaskType, toCode t con :: ((v t Expr) ->In t (Main (v c s))) -> (Main (v c s)) | type t +class sdspub v where pub :: (v t Upd) -> v t Expr | type t class seq v where (>>=.) infixr 0 :: (v t p) ((v t Expr) -> (v u q)) -> (v u Stmt) | type t & type u