Skip to content

Instantly share code, notes, and snippets.

@dminuoso dminuoso/contt.hs
Last active Dec 8, 2017

Embed
What would you like to do?
module ContT where
import Control.Monad.Trans.Class
newtype ContT r m a = ContT { runContT :: (a -> m r) -> m r }
instance Functor (ContT r m) where
fmap f (ContT cv) = ContT $ \c ->
cv (c . f)
instance Applicative (ContT r m) where
pure a = ContT $ \c -> c a
(ContT cf) <*> (ContT cv) = ContT $ \c ->
cf $ \f ->
cv (c . f)
instance Monad (ContT r m) where
return = pure
(ContT ca) >>= acb = ContT $ \c ->
ca $ \a' ->
runContT (acb a') c
instance MonadTrans (ContT r) where
lift m = ContT (\k -> m >>= k)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.