1 definition module gdynamic
6 Radboud University, Nijmegen, The Netherlands
10 import StdGeneric, StdMaybe
14 :: DYNAMIC :== [String]
15 :: Dyn = Dyn DYNAMIC // to derive generic functions like iTask
17 class dyn a | toGenDynamic{|*|}, fromGenDynamic{|*|} a
19 generic toGenDynamic a :: a -> [String]
20 generic fromGenDynamic a :: [String] -> Maybe (a, [String])
22 derive toGenDynamic Int, Real, Char, Bool, String, UNIT, PAIR, EITHER, OBJECT, CONS of gcd, FIELD, RECORD of r
23 derive fromGenDynamic Int, Real, Char, Bool, String, UNIT, PAIR, EITHER, OBJECT, CONS of gcd, FIELD, RECORD of r
26 toDyn :: a -> Dyn | dyn a
27 fromDyn :: Dyn -> Maybe a | dyn a