Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- callCC_const :: forall m a. MonadCont m => m a -> Equation (m a)
- callCC_id :: forall m a. MonadCont m => a -> Equation (m a)
- callCC_bind :: forall m a. MonadCont m => m a -> Equation (m a)
- callCC_phantom :: forall m a b. MonadCont m => ((a -> m b) -> m a) -> Equation (m a)
- callCC_left_zero :: forall m a b. MonadCont m => ((a -> m b) -> m a) -> ((a -> m b) -> b -> m a) -> Equation (m a)
MonadCont
laws
callCC_const :: forall m a. MonadCont m => m a -> Equation (m a) Source #
callCC_bind :: forall m a. MonadCont m => m a -> Equation (m a) Source #
callCC_phantom :: forall m a b. MonadCont m => ((a -> m b) -> m a) -> Equation (m a) Source #
callCC_left_zero :: forall m a b. MonadCont m => ((a -> m b) -> m a) -> ((a -> m b) -> b -> m a) -> Equation (m a) Source #