Copyright | (C) 2015, The University of Kansas |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Justin Dawson |
Stability | Alpha |
Portability | GHC |
Safe Haskell | None |
Language | Haskell2010 |
- traceSendAPI :: MonadIO m => String -> (SendAPI :~> m) -> SendAPI :~> m
- traceReceiveAPI :: MonadIO m => String -> (ReceiveAPI :~> m) -> ReceiveAPI :~> m
- traceCallAPI :: MonadIO m => String -> (Call :~> m) -> Call :~> m
Documentation
traceSendAPI :: MonadIO m => String -> (SendAPI :~> m) -> SendAPI :~> m Source
A tracing natural transformation morphism over the Session API.
traceReceiveAPI :: MonadIO m => String -> (ReceiveAPI :~> m) -> ReceiveAPI :~> m Source
A tracing natural transformation morphism over the Receive API.