Safe Haskell | None |
---|---|
Language | Haskell2010 |
Conduit combinators that make the type of a conduit unambiguous to the compiler via proxies.
- annotateTypeC :: proxy a -> Conduit a m a -> Conduit a m a
- annotateTypeCIn :: proxy a -> Conduit a m b -> Conduit a m b
- annotateTypeCOut :: proxy b -> Conduit a m b -> Conduit a m b
- annotateTypeSource :: proxy a -> Source m a -> Source m a
- annotateTypeSink :: proxy a -> Sink a m r -> Sink a m r
Documentation
annotateTypeC :: proxy a -> Conduit a m a -> Conduit a m a Source #
Annotate the type of a Conduit
where input and output are the same
annotateTypeCIn :: proxy a -> Conduit a m b -> Conduit a m b Source #
Annotate the input type of a Conduit
annotateTypeCOut :: proxy b -> Conduit a m b -> Conduit a m b Source #
Annotate the output type of a Conduit