Commit 655e5e2e authored by Steffen Michels's avatar Steffen Michels

fix type of feedBidirectionally

parent 0cbde598
Pipeline #16863 passed with stage
in 4 minutes and 51 seconds
......@@ -271,7 +271,7 @@ feedSideways :: (Task a) ((SDSLens () (Maybe a) ()) -> Task b) -> Task a | iTask
/**
* Feed the result of one task as read-only shared to another one and vice versa.
*/
feedBidirectionally :: !((ReadOnlyShared (Maybe b)) -> Task a) !((ReadOnlyShared (Maybe a)) -> Task b)
feedBidirectionally :: !((SDSLens () (Maybe b) ()) -> Task a) !((SDSLens () (Maybe a) ()) -> Task b)
-> Task (a, b) | iTask a & iTask b
/**
......
......@@ -174,7 +174,7 @@ where
(>&^) infixl 1 :: (Task a) ((SDSLens () (Maybe a) ()) -> Task b) -> Task a | iTask a & iTask b
(>&^) taska taskbf = feedSideways taska taskbf
feedBidirectionally :: !((ReadOnlyShared (Maybe b)) -> Task a) !((ReadOnlyShared (Maybe a)) -> Task b)
feedBidirectionally :: !((SDSLens () (Maybe b) ()) -> Task a) !((SDSLens () (Maybe a) ()) -> Task b)
-> Task (a, b) | iTask a & iTask b
feedBidirectionally taskaf taskbf = parallel
[(Embedded, \s -> taskaf (mapRead prjR (toReadOnly (sdsFocus (Left 1) (taskListItemValue s)))) @ Left)
......
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