Moduleghc-toolchain-0.1.0.0Haskell2010

GHC.Toolchain.Monad

Contents

Synopsis

datadata Env

newtypenewtype M a

Instances5Monad, Functor, Applicative, Alternative, MonadIO

valuerunM :: Env -> M a -> IO (Either [Error] a)

valuegetEnv :: M Env

valuemakeM :: IO (Either [Error] a) -> M a

valuethrowE :: String -> M a

valuethrowEs :: [String] -> M a

Throw an error with multiple lines. This should be used rather than `throwE . unlines` to preserve proper logging indentation.

valueifCrossCompiling

Branch on whether we can execute target code locally.

File I/O

valuereadFile :: FilePath -> M String

valuewriteFile :: FilePath -> String -> M ()

valueappendFile :: FilePath -> String -> M ()

valuecreateFile :: FilePath -> M ()

Create an empty file.

valuelogInfo :: String -> M ()

valuelogDebug :: String -> M ()

valuechecking :: Show a => String -> M a -> M a

valuewithLogContext :: String -> M a -> M a