X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskSimulation.dcl;h=16ceee4e22acf12948e3408bba2851a697afdddc;hb=93cabbcd5d18b7b45d6f43a6ff39f94cfcb95522;hp=5e502e23317b035edff2cbb41a79a67183eaf395;hpb=7a67ef5e2af69cb14011be201fe67f755b91a788;p=mTask.git diff --git a/mTaskSimulation.dcl b/mTaskSimulation.dcl index 5e502e2..16ceee4 100644 --- a/mTaskSimulation.dcl +++ b/mTaskSimulation.dcl @@ -1,8 +1,12 @@ definition module mTaskSimulation +import iTasks.API.Core.Types import mTask -instance zero State` +//:: Display a = Display a + +//derive class iTask Display +//instance zero State` eval :: (Main (Eval t p)) -> [String] | toString t :: State` =