asynchronous parametric lenses

[clean-tests.git] / uds / auds.dcl

diff --git a/uds/auds.dcl b/uds/auds.dcl
index accd9d2..176d1e6 100644 (file)
--- a/uds/auds.dcl
+++ b/uds/auds.dcl
@@ -30,8 +30,8 @@ instance MonadFail (StateT s m) | MonadFail m
        | WriteResultUnused (m ())
 
 
-class read v :: (v m r w) -> m (ReadResult m r w) | TC r & Monad m
-class write v :: w (v m r w) -> m (WriteResult m r w) | TC w & Monad m
+class read v  :: (v m r w) -> m (ReadResult m r w) | TC r & Monad m
+class write v :: (v m r w) w -> m (WriteResult m r w) | TC w & Monad m
 
 //* Box type, to get rid of a possible complex constructor of combinators
 :: SDS m r w = E.sds: SDS (sds m r w) (m ()) /*force kind*/ & read sds & write sds