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