Permalink
Browse files

Add `awaitOn` `kI i`s

[none]
  • Loading branch information...
1 parent f60acce commit e1458f38dd27218cf30aca602913335620db6eda @pthariensflame committed Feb 27, 2013
Showing with 3 additions and 3 deletions.
  1. +1 −1 Control/Monad/Channel/Selector/Dimachine.hs
  2. +2 −2 Control/Monad/Channel/Selector/Machine.hs
@@ -23,7 +23,7 @@ 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 :: kI i -> DimachineChannel kI kO i
awaitOn k = syncOn (AwaitOnDimachine k) ()
await :: (Category c) => DimachineChannel (c i) kO i
@@ -26,8 +26,8 @@ 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 k) ()
+awaitOn :: kI i -> MachineChannel kI o i
+awaitOn k = syncOn (AwaitOnMachine k) ()
await :: (Category c) => MachineChannel (c i) o i
await = awaitOn id

0 comments on commit e1458f3

Please sign in to comment.