Permalink
Browse files

Fix types

[none]
  • Loading branch information...
pthariensflame committed Feb 27, 2013
1 parent 6ad6ed5 commit f60acce67e89b47ca3391f06525026bd86c58749
Showing with 5 additions and 2 deletions.
  1. +4 −1 Control/Monad/Channel/Selector/Dimachine.hs
  2. +1 −1 Control/Monad/Channel/Selector/Machine.hs
@@ -24,11 +24,14 @@ type DimachineChannel kI kO a = Channel (DimachineSelector kI kO) a
type DimachineChannelT kI kO m a = ChannelT (DimachineSelector kI kO) m a
awaitOn :: DimachineChannel kI kO i
-awaitOn = (`syncOn` ()) . AwaitOnDimachine
+awaitOn k = syncOn (AwaitOnDimachine k) ()
await :: (Category c) => DimachineChannel (c i) kO i
await = awaitOn id
+yieldOn :: kO o -> o -> DimachineChannel kI kO ()
+yieldOn k = syncOn (YieldOnDimachine k)
+
yield :: (Category c) => o -> DimachineChannel kI (c o) ()
yield = yieldOn id
@@ -27,7 +27,7 @@ type MachineChannel kI o a = Channel (MachineSelector kI o) a
type MachineChannelT kI o m a = ChannelT (MachineSelector kI o) m a
awaitOn :: MachineChannel kI o i
-awaitOn = (`syncOn` ()) . AwaitOnMachine
+awaitOn = syncOn (AwaitOnMachine k) ()
await :: (Category c) => MachineChannel (c i) o i
await = awaitOn id

0 comments on commit f60acce

Please sign in to comment.