Commit 000d40a6 authored by Steffen Michels's avatar Steffen Michels

use 'Shared' synonym in some forgotten dcls

parent 87024a76
Pipeline #17921 passed with stage
in 4 minutes and 34 seconds
......@@ -174,7 +174,7 @@ allAvailableActors :: SDSLens () [(!Coord3D, !MyActor)] ()
// setting and resetting of the detection systems:
setAlarm :: !User !(!Coord3D, !SectionStatus) !(sds () MySectionStatusMap MySectionStatusMap) -> Task () | RWShared sds
setAlarm :: !User !(!Coord3D, !SectionStatus) !(Shared sds MySectionStatusMap) -> Task () | RWShared sds
// making images from a map
......
......@@ -165,7 +165,7 @@ maps2DToGraph :: !Maps2D -> Graph
autoMove :: !Coord3D !Coord3D
!(Coord3D Coord3D (SectionStatusMap r) SectionExitLockMap SectionHopLockMap Graph -> Maybe ([Coord3D], Distance))
!User !(sds () (SectionStatusMap r) (SectionStatusMap r)) !(UserActorShare o a)
!User !(Shared sds (SectionStatusMap r)) !(UserActorShare o a)
-> Task Bool | iTask r & iTask o & iTask a & RWShared sds
pickupObject :: !Coord3D !(Object o) !User !(UserActorShare o a) !(FocusedSectionInventoryShare o)
-> Task () | iTask o & iTask a
......
......@@ -24,15 +24,15 @@ derive class iTask Location
/* Utility tasks */
editSharedList :: (sds () [a] [a]) -> Task () | iTask a & RWShared sds
editSharedList :: (Shared sds [a]) -> Task () | iTask a & RWShared sds
editSharedListWithTask :: (a -> Task a) (sds () [a] [a]) -> Task () | iTask a & RWShared sds
editSharedListWithTask :: (a -> Task a) (Shared sds [a]) -> Task () | iTask a & RWShared sds
editSharedListWithTaskTask :: (Task a) (a -> Task a) (sds () [a] [a]) -> Task () | iTask a & RWShared sds
editSharedListWithTaskTask :: (Task a) (a -> Task a) (Shared sds [a]) -> Task () | iTask a & RWShared sds
editSharedListGeneric :: [EditSharedListOption a] (sds () [a] [a]) -> Task () | iTask a & RWShared sds
editSharedListGeneric :: [EditSharedListOption a] (Shared sds [a]) -> Task () | iTask a & RWShared sds
updateItemInSharedList :: a (a -> Bool) (sds () [a] [a]) -> Task [a] | iTask a & RWShared sds
updateItemInSharedList :: a (a -> Bool) (Shared sds [a]) -> Task [a] | iTask a & RWShared sds
doOrClose :: (Task a) -> Task (Maybe a) | iTask a
......
......@@ -2,9 +2,9 @@ definition module Task.Extensions
import iTasks
editStore :: String (sds () [a] [a]) -> Task () | iTask a & Eq a & Ord a & RWShared sds
editStore :: String (Shared sds [a]) -> Task () | iTask a & Eq a & Ord a & RWShared sds
addToStore :: [a] !(sds () [a] [a]) -> Task () | iTask a & RWShared sds
addToStore :: [a] !(Shared sds [a]) -> Task () | iTask a & RWShared sds
appendTitledTopLevelTask :: String (Task a) -> Task TaskId | iTask a
......
......@@ -11,6 +11,6 @@ import iTasks
*/
evalRemoteTask :: (Task a) ((TaskValue a) -> Task ()) -> Task a | iTask a
proxyTask :: (sds () (TaskValue a) (TaskValue a)) (*IWorld -> *IWorld) -> (Task a) | iTask a & RWShared sds
proxyTask :: (Shared sds (TaskValue a)) (*IWorld -> *IWorld) -> (Task a) | iTask a & RWShared sds
taskValueShare :: Int -> SDSLens () (TaskValue a) (TaskValue a) | iTask a
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment