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

Language | Haskell2010 |

# Documentation

class CoatedM m c where Source

viewCoatedM :: c a -> m a Source

setCoatedM :: a -> c a -> m (c a) Source

withCoatedM :: (CoatedM m c, Monad m) => (a -> m a) -> c a -> m (c a) Source

withCoatedM' :: (CoatedM m c, Monad m) => (a -> a) -> c a -> m (c a) Source

class CoatConstructor a m c where Source

constructCoat :: a -> m (c a) Source

class CoatGenerator m c where Source

generateCoat :: a -> m (c a) Source