Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Extra Codensity operators.
Documentation
close :: Codensity m (m r) -> m r Source #
close the Codensity continuation.
>>>
close $ glue showStdout <$> qList [1..3]
1 2 3
process :: forall a m r. (a -> m r) -> Codensity m a -> m r Source #
fmap then close a continuation.
>>>
process (glue showStdout) (qList [1..3])
1 2 3
(<$|>) :: forall a m r. (a -> m r) -> Codensity m a -> m r infixr 0 Source #
fmap then close a continuation.
>>>
glue showStdout <$|> qList [1..3]
1 2 3
(<*|>) :: Codensity m (a -> m r) -> Codensity m a -> m r infixr 3 Source #
apply and then close a continuation.
>>>
glue <$> (pure showStdout) <*|> qList [1..3]
1 2 3
module Control.Monad.Codensity