import iTasks
import mTask
import Data.List
+import Data.Tuple
from Data.Func import $
from StdFunc import flip
,value=value
}
-updateShareFromPublish :: MTaskDevice Int BCValue -> Task [MTaskShare]
-updateShareFromPublish dev ident val = updateShares dev $ map $ up ident val
- where
- up :: Int BCValue MTaskShare -> MTaskShare
- up i v s = if (s.identifier == i) {MTaskShare | s & value=val} s
-
import GenPrint, StdMisc, StdDebug, TTY
derive gPrint MTaskDevice, MTaskShare, Maybe, MTaskResource, MTaskTask, TaskId, TTYSettings, TCPSettings, DateTime
derive gPrint Parity, BaudRate, ByteSize
// up :: [String] MTaskShare -> MTaskShare
// up ns s = {MTaskShare | s & withTask=[t\\t<-s.withTask|not (isMember t ns)]}
-getRealShare :: MTaskDevice BCShare -> Shared BCValue
-getRealShare dev {sdsi} = SDSSource {SDSSource
- | name = "mTaskShareMap-" +++ toString sdsi, read=rr, write=ww}
+instance == MTaskShare where
+ (==) a b = a.identifier == b.identifier
+
+getRealShare :: MTaskDevice MTaskShare -> Shared BCValue
+getRealShare dev share=:{identifier} = sdsFocus (Just identifier) $ SDSSource {SDSSource
+ | name = "mTaskShareMap-" +++ toString identifier, read=rr, write=ww}
where
rr name iworld = case read deviceStore iworld of
(Error e, iworld) = (Error e, iworld)
(Ok devices, iworld) = case find ((==)dev) devices of
Nothing = (Error $ exception "Device doesn't exist anymore", iworld)
- Just {deviceShares} = case find (\s->s.identifier == sdsi) deviceShares of
+ Just {deviceShares} = case find ((==)share) deviceShares of
Nothing = (Error $ exception "Share doesn't exist", iworld)
- Just share = (Ok share.MTaskShare.value, iworld)
+ Just s = (Ok s.MTaskShare.value, iworld)
// Also send messages
- ww name value iworld = case modify (\r->((), map (modFun value) r)) deviceStore iworld of
+ ww name value iworld
+ | not (trace_tn ("Update to: " +++ printToString value)) = undef
+ = case modify (tuple () o modifyValue value) deviceStore iworld of
(Error e, iworld) = (Error e, iworld)
- (Ok _, iworld) = case sendMessagesIW [MTUpd sdsi value] dev iworld of
+ (Ok _, iworld) = case sendMessagesIW [MTUpd identifier value] dev iworld of
(Error e, iworld) = (Error e, iworld)
- (Ok _, iworld) = (Ok $ const True, iworld)
+ (Ok _, iworld) = (Ok $ maybe True ((==) identifier), iworld)
+
+ modifyValue :: BCValue [MTaskDevice] -> [MTaskDevice]
+ modifyValue v ds = filterMap ((==)dev) (updateShare identifier v) ds
+
+filterMap :: (a -> Bool) (a -> a) [a] -> [a]
+filterMap f t xs = [if (f x) (t x) x\\x<-xs]
+
+getDeviceStoreForShare :: Int -> Shared [MTaskDevice]
+getDeviceStoreForShare ident = sdsFocus (Just ident) $ sdsFocus () deviceStore
- //Selects the correct device
- modFun value d
- | d == dev = {d & deviceShares=map (modFun2 value) d.deviceShares}
- = d
+updateShareFromPublish :: MTaskDevice Int BCValue -> Task [MTaskDevice]
+updateShareFromPublish dev ident val
+ = upd (filterMap ((==)dev) (updateShare ident val)) $ getDeviceStoreForShare ident
- //Selects the correct share
- modFun2 value share
- | sdsi == share.MTaskShare.identifier = {MTaskShare | share & value=value}
- = share
+updateShare :: Int BCValue MTaskDevice -> MTaskDevice
+updateShare ident val dev = {MTaskDevice | dev & deviceShares=filterMap
+ (\s->s.identifier==ident)
+ (\s->{MTaskShare | s & value=val})
+ dev.deviceShares}