| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Reference.TH.Monad
Description
A module for making connections between different monads.
- makeMonadRepr :: (ToQType t1, ToQType t2, ToQExp e) => t1 -> t2 -> e -> Q [Dec]
Documentation
makeMonadRepr :: (ToQType t1, ToQType t2, ToQExp e) => t1 -> t2 -> e -> Q [Dec] Source
Creates MonadSubsume and MonadCompose instances that can be inferred from a single subsume
connection and all instances declared so far.