exference-1.6.0.0: environment/Cont.hs

module Control.Monad.Trans.Cont where



newtype Cont r a = Cont ((a -> r) -> r)

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

-- instance Control.Monad.Monad (Cont r)