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