| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
Language.Haskell.TH.CodeDo
Description
This module exists to work nicely with the QualifiedDo
 extension.
 
 import qualified Language.Haskell.TH.CodeDo as Code
 myExample :: Monad m => Code m a -> Code m a -> Code m a
 myExample opt1 opt2 =
   Code.do
    x <- someSideEffect               -- This one is of type `M Bool`
    if x then opt1 else opt2