-- | 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-- @moduleLanguage.Haskell.TH.CodeDo ((>>=) ,(>>) )whereimportLanguage.Haskell.TH.Syntax importPrelude(Monad)-- | Module over monad operator for 'Code'(>>=) ::Monadm =>m a ->(a ->Codem b )->Codem b >>= :: forall (m :: * -> *) a b.
Monad m =>
m a -> (a -> Code m b) -> Code m b
(>>=) =m a -> (a -> Code m b) -> Code m b
forall (m :: * -> *) a b.
Monad m =>
m a -> (a -> Code m b) -> Code m b
bindCode(>>) ::Monadm =>m a ->Codem b ->Codem b >> :: forall (m :: * -> *) a b. Monad m => m a -> Code m b -> Code m b
(>>) =m a -> Code m b -> Code m b
forall (m :: * -> *) a b. Monad m => m a -> Code m b -> Code m b
bindCode_