Safe Haskell	None
Language	Haskell2010

Language.PureScript.Make.Monad

Contents

Synopsis

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 #
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 #
Methods fmap :: (a -> b) -> Make a -> Make b # (<$) :: a -> Make b -> Make a #
Applicative Make Source #
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 #
Methods liftIO :: IO a -> Make a #
MonadReader Options Make Source #
Methods ask :: Make Options # local :: (Options -> Options) -> Make a -> Make a # reader :: (Options -> a) -> Make a #
MonadError MultipleErrors Make Source #
Methods throwError :: MultipleErrors -> Make a # catchError :: Make a -> (MultipleErrors -> Make a) -> Make a #
MonadWriter MultipleErrors Make Source #
Methods writer :: (a, MultipleErrors) -> Make a # tell :: MultipleErrors -> Make () # listen :: Make a -> Make (a, MultipleErrors) # pass :: Make (a, MultipleErrors -> MultipleErrors) -> Make a #
MonadBase IO Make Source #
Methods liftBase :: IO α -> Make α #
MonadBaseControl IO Make Source #
Associated Types type StM (Make :: * -> ) a :: # Methods liftBaseWith :: (RunInBase Make IO -> IO a) -> Make a # restoreM :: StM Make a -> Make a #
type StM Make a Source #
type StM Make a = Either MultipleErrors a

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

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

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