Safe Haskell | None |
---|

# Documentation

class Monad m => C m whereSource

C IO | |

C STM | |

C (ST s) | |

C m => C (MaybeT m) | |

C m => C (IdentityT m) | |

(Monoid w, C m) => C (WriterT w m) | |

(Monoid w, C m) => C (WriterT w m) | |

C m => C (StateT s m) | |

C m => C (StateT s m) | |

C m => C (ReaderT r m) | |

(Error e, C m) => C (ErrorT e m) | |

C m => C (ContT r m) | |

(Monoid w, C m) => C (RWST r w s m) | |

(Monoid w, C m) => C (RWST r w s m) |

newLifted :: (C m, MonadTrans t) => a -> t m (T (t m) a)Source