update a lot, try to type shares

[mTask.git] / Shares / mTaskShare.dcl

diff --git a/Shares/mTaskShare.dcl b/Shares/mTaskShare.dcl
index a9c6f39..3af2eac 100644 (file)
--- a/Shares/mTaskShare.dcl
+++ b/Shares/mTaskShare.dcl
@@ -1,14 +1,17 @@
 definition module Shares.mTaskShare
 
 import iTasks
+import iTasks._Framework.Serialization
 
-:: MTaskShare = {
-               initValue :: Int,
-               withTask :: String,
-               identifier :: Int,
-               realShare :: String
-       }
-
-instance zero MTaskShare
+derive class iTask MTaskShareType
+:: MTaskShareType = MTaskWithShare String | MTaskLens String
+:: MTaskShare =
+               {withTask :: String
+               ,identifier :: Int
+               ,realShare :: MTaskShareType
+               ,value :: String
+               }
 
 manageShares :: [MTaskShare] -> Task ()
+
+makeShare :: String Int String -> Task MTaskShare