Language.PureScript.Make.Monad

Implementation of Make API using files on disk

newtype Make a

A monad for running make actions

Constructors

Make

Fields

• unMake :: ReaderT Options (ExceptT MultipleErrors (Logger MultipleErrors)) a

Instances

Monad Make

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

Defined in Language.PureScript.Make.Monad

Methods

fmap :: (a -> b) -> Make a -> Make b

(<$) :: a -> Make b -> Make a

Applicative Make

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

Defined in Language.PureScript.Make.Monad

Methods

liftIO :: IO a -> Make a

MonadError MultipleErrors Make

Defined in Language.PureScript.Make.Monad

Methods

throwError :: MultipleErrors -> Make a

catchError :: Make a -> (MultipleErrors -> Make a) -> Make a

MonadReader Options Make

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

Defined in Language.PureScript.Make.Monad

Methods

liftBase :: IO α -> Make α

MonadBaseControl IO Make

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

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

Defined in Language.PureScript.Make.Monad

type StM Make a = Either MultipleErrors a

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

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

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

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

readTextFile :: FilePath -> Make ByteString

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