Safe Haskell	None
Language	Haskell2010

Language.PureScript.Make.Monad

Contents

Implementation of Make API using files on disk

Synopsis

newtype Make a = Make {
- unMake :: ReaderT Options (ExceptT MultipleErrors (Logger MultipleErrors)) a
}
runMake :: Options -> Make a -> IO (Either MultipleErrors a, MultipleErrors)
makeIO :: (IOError -> ErrorMessage) -> IO a -> Make a
readTextFile :: FilePath -> Make ByteString

Implementation of Make API using files on disk

newtype Make a Source #

A monad for running make actions

Constructors

Make
Fields unMake :: ReaderT Options (ExceptT MultipleErrors (Logger MultipleErrors)) a

Instances

Monad Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods (>>=) :: Make a -> (a -> Make b) -> Make b # (>>) :: Make a -> Make b -> Make b # return :: a -> Make a # fail :: String -> Make a #
Functor Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods fmap :: (a -> b) -> Make a -> Make b # (<$) :: a -> Make b -> Make a #
Applicative Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods pure :: a -> Make a # (<>) :: Make (a -> b) -> Make a -> Make b # liftA2 :: (a -> b -> c) -> Make a -> Make b -> Make c # (>) :: Make a -> Make b -> Make b # (<*) :: Make a -> Make b -> Make a #
MonadIO Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods liftIO :: IO a -> Make a #
MonadError MultipleErrors Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods throwError :: MultipleErrors -> Make a # catchError :: Make a -> (MultipleErrors -> Make a) -> Make a #
MonadReader Options Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods ask :: Make Options # local :: (Options -> Options) -> Make a -> Make a # reader :: (Options -> a) -> Make a #
MonadBase IO Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods liftBase :: IO α -> Make α #
MonadBaseControl IO Make Source #
Instance details Defined in Language.PureScript.Make.Monad Associated Types type StM Make a :: Type # Methods liftBaseWith :: (RunInBase Make IO -> IO a) -> Make a # restoreM :: StM Make a -> Make a #
MonadWriter MultipleErrors Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods writer :: (a, MultipleErrors) -> Make a # tell :: MultipleErrors -> Make () # listen :: Make a -> Make (a, MultipleErrors) # pass :: Make (a, MultipleErrors -> MultipleErrors) -> Make a #
type StM Make a Source #
Instance details Defined in Language.PureScript.Make.Monad type StM Make a = Either MultipleErrors a

runMake :: Options -> Make a -> IO (Either MultipleErrors a, MultipleErrors) Source #

Execute a Make monad, returning either errors, or the result of the compile plus any warnings.

makeIO :: (IOError -> ErrorMessage) -> IO a -> Make a Source #

Run an IO action in the Make monad, by specifying how IO errors should be rendered as ErrorMessage values.

readTextFile :: FilePath -> Make ByteString Source #

Read a text file in the Make monad, capturing any errors using the MonadError instance.