Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- runM :: LiftC m a -> m a
- newtype LiftC m a = LiftC (m a)
- module Control.Effect.Lift

# Lift carrier

*Since: 1.0.0.0*

LiftC (m a) |

#### Instances

MonadTrans LiftC Source # | |

Defined in Control.Carrier.Lift | |

Monad m => Monad (LiftC m) Source # | |

Functor m => Functor (LiftC m) Source # | |

MonadFix m => MonadFix (LiftC m) Source # | |

Defined in Control.Carrier.Lift | |

MonadFail m => MonadFail (LiftC m) Source # | |

Defined in Control.Carrier.Lift | |

Applicative m => Applicative (LiftC m) Source # | |

MonadIO m => MonadIO (LiftC m) Source # | |

Defined in Control.Carrier.Lift | |

Alternative m => Alternative (LiftC m) Source # | |

MonadPlus m => MonadPlus (LiftC m) Source # | |

Monad m => Algebra (Lift m) (LiftC m) Source # | |

# Lift effect

module Control.Effect.Lift