Moduletemplate-haskell-2.25.0.0Haskell2010

Language.Haskell.TH.CodeDo

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

2 values

Packagetemplate-haskell-2.25.0.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCodeDo.hs

value(>>=) :: Monad m => m a -> (a -> Code m b) -> Code m b

Module over monad operator for Code

value(>>) :: Monad m => m a -> Code m b -> Code m b