X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.icl;h=66649d7a861dd30c0e476ea5e02187ebe6854bd3;hb=acd239b3f29e215ade0b63d5b26b6cf8e8ae0d63;hp=f0249c9e5398abb8574269edfe5204b347068fcd;hpb=e25fda18ca554ec3fe937152403872b916367ddb;p=mTask.git diff --git a/mTask.icl b/mTask.icl index f0249c9..66649d7 100644 --- a/mTask.icl +++ b/mTask.icl @@ -14,8 +14,11 @@ todo: imporove setp: >>*. */ +import Generics.gCons +import Generics.gdynamic + import iTasks -import gdynamic, gCons, GenEq, StdMisc, StdArray +import GenEq, StdMisc, StdArray import mTaskCode import mTaskSerial, mTaskLCD @@ -84,7 +87,7 @@ instance typeSelector Char where typeSelector = c ".c" instance typeSelector Bool where typeSelector = c ".b" instance typeSelector a where typeSelector = c ".w" -read` :: Int (ReadWrite a) State -> (a,State) | dyn a +read` :: Int (ReadWrite a) State` -> (a,State`) | dyn a read` n Rd s = (fromJust (fromDyn (s.store !! n)), s) read` n (Wrt a) s = (a,{s&store=updateAt n (toDyn a) s.store}) read` n (Updt f) s=:{store}