Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

## Synopsis

- coAct :: MonadCoAction m p => p u v -> p (m u) v
- internaliseMaybe :: MonadCoAction Maybe p => p u v -> p (Maybe u) v

Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

- coAct :: MonadCoAction m p => p u v -> p (m u) v
- internaliseMaybe :: MonadCoAction Maybe p => p u v -> p (Maybe u) v