Cont package:adjunctions

Cont r ~ Contravariant.Adjoint (Op r) (Op r)
Conts r ~ Contravariant.AdjointT (Op r) (Op r)
ContsT r w m ~ Contravariant.AdjointT (Op (m r)) (Op (m r)) w

type Conts r w = ContsT r w Identity

adjunctions Control.Monad.Trans.Conts

newtype ContsT r w m a

adjunctions Control.Monad.Trans.Conts

ContsT :: (w (a -> m r) -> m r) -> ContsT r w m a

adjunctions Control.Monad.Trans.Conts

conts :: Functor w => (w (a -> r) -> r) -> Conts r w a

adjunctions Control.Monad.Trans.Conts

contrarepAdjunction :: Adjunction f g => (a -> f ()) -> g a

adjunctions Data.Functor.Contravariant.Adjunction

Represent a Contravariant functor that has a left adjoint

contramapRep :: Representable f => (a -> b) -> f b -> f a

adjunctions Data.Functor.Contravariant.Rep

contramapWithRep :: Representable f => (b -> Either a (Rep f)) -> f a -> f b

adjunctions Data.Functor.Contravariant.Rep

contramapWithRep f p ≡ tabulate $ either (index p) id . f

runCont :: Cont r a -> (a -> r) -> r

adjunctions Control.Monad.Trans.Conts

runConts :: Functor w => Conts r w a -> w (a -> r) -> r

adjunctions Control.Monad.Trans.Conts

runContsT :: ContsT r w m a -> w (a -> m r) -> m r

adjunctions Control.Monad.Trans.Conts