Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class MonadInner m => MonadExtract m where
Documentation
class MonadInner m => MonadExtract m where Source #
Instances of this type are isomorphic to (Q,a)
for some type Q
(with Monoid Q
).