Box.Codensity

Extra Codensity operators.

Documentation

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

close a 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 over a Codensity

>>> process (glue showStdout) (qList [1..3])
1
2
3

(<$|>) :: forall a m r. (a -> m r) -> Codensity m a -> m r infixr 3

fmap then close over a Codensity

>>> glue showStdout <$|> qList [1..3]
1
2
3

(<*|>) :: Codensity m (a -> m r) -> Codensity m a -> m r infixr 3

apply to a continuation and close.

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

module Control.Monad.Codensity

Orphan instances

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

(Functor m, Semigroup a, 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