Box.Codensity

Extra Codensity operators.

Documentation

close :: Codensity m (m r) -> m r

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

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

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

apply and then close a continuation.

>>> glue <$> (pure showStdout) <*|> qList [1..3]
1
2
3

module Control.Monad.Codensity

Orphan instances

(Functor m, Monoid a) => Monoid (Codensity m a)

Methods

mempty :: Codensity m a

mappend :: Codensity m a -> Codensity m a -> Codensity m a

mconcat :: [Codensity m a] -> Codensity m a

Semigroup a => Semigroup (Codensity m a)

Methods

(<>) :: Codensity m a -> Codensity m a -> Codensity m a

sconcat :: NonEmpty (Codensity m a) -> Codensity m a

stimes :: Integral b => b -> Codensity m a -> Codensity m a