X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.dcl;h=c7a6a3ae001ee549d93f681e4cd8b7656b7f77de;hb=6e3b45dd6cef95c1577a91b15a1256fa4b06ca88;hp=d71ba44af0e056a0c1cb0b4e88188cb02f3dbc77;hpb=db7588d3c42ad9e1b5af5a6f3d08c82a8b0ccf0d;p=mTask.git diff --git a/mTask.dcl b/mTask.dcl index d71ba44..c7a6a3a 100644 --- a/mTask.dcl +++ b/mTask.dcl @@ -14,11 +14,11 @@ todo: imporove setp: >>*. */ -//import iTasks +import iTasks + import iTasks._Framework.Generic from iTasks._Framework.Task import :: Task import StdClass -from iTasks.API.Core.Types import :: Display import gdynamic, gCons, GenEq, StdMisc, StdArray import mTaskCode, mTaskSimulation, mTaskInterpret @@ -88,6 +88,7 @@ class var2 v where class sds v where sds :: ((v t Upd)->In t (Main (v c s))) -> (Main (v c s)) | type, toByteCode, toCode t con :: ((v t Expr) ->In t (Main (v c s))) -> (Main (v c s)) | type t + 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 (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | type t & type u