Safe Haskell | None |
---|---|
Language | Haskell98 |
A module for making connections between different monads.
Documentation
makeMonadRepr :: (ToQType t1, ToQType t2, ToQExp e) => t1 -> t2 -> e -> Q [Dec]
Creates MMorph
instances from reflectivity, and transitivity of the relation.
Uses data from all instances declared so far.