Development.Shake.Plus.Core

Documentation

class Monad m => MonadAction m where

Monads in which Actions may be embedded.

Methods

liftAction :: Action a -> m a

Instances

MonadAction Action

Defined in Development.Shake.Plus.Core

Methods

liftAction :: Action a -> Action a

MonadAction (RAction r)

Defined in Development.Shake.Plus.Core

Methods

liftAction :: Action a -> RAction r a

MonadAction m => MonadAction (ReaderT r m)

Defined in Development.Shake.Plus.Core

Methods

liftAction :: Action a -> ReaderT r m a

class Monad m => MonadRules m where

Methods

liftRules :: Rules a -> m a

Instances

MonadRules Rules

Defined in Development.Shake.Plus.Core

Methods

liftRules :: Rules a -> Rules a

MonadRules (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

liftRules :: Rules a -> ShakePlus r a

MonadRules m => MonadRules (ReaderT r m)

Defined in Development.Shake.Plus.Core

Methods

liftRules :: Rules a -> ReaderT r m a

newtype UnliftAction m

Constructors

UnliftAction

Fields

• unliftAction :: forall a. m a -> Action a

class MonadAction m => MonadUnliftAction m where

Monads which allow their actions to be run in Action.

For the same reasons as MonadUnliftIO this is limited to ReaderT and IdentityT transformers on top of Action.

Minimal complete definition

Nothing

Methods

withRunInAction :: ((forall a. m a -> Action a) -> Action b) -> m b

Instances

MonadUnliftAction Action

Defined in Development.Shake.Plus.Core

Methods

withRunInAction :: ((forall a. Action a -> Action a) -> Action b) -> Action b

MonadUnliftAction (RAction r)

Defined in Development.Shake.Plus.Core

Methods

withRunInAction :: ((forall a. RAction r a -> Action a) -> Action b) -> RAction r b

MonadUnliftAction m => MonadUnliftAction (ReaderT r m)

Defined in Development.Shake.Plus.Core

Methods

withRunInAction :: ((forall a. ReaderT r m a -> Action a) -> Action b) -> ReaderT r m b

withUnliftAction :: MonadUnliftAction m => (UnliftAction m -> Action a) -> m a

askUnliftAction :: MonadUnliftAction m => m (UnliftAction m)

toAction :: MonadUnliftAction m => m a -> m (Action a)

data RAction r a

Concrete Action runner, hardcoded to `ReaderT r Action a`.

Instances

MonadReader r (RAction r)

Defined in Development.Shake.Plus.Core

Methods

ask :: RAction r r

local :: (r -> r) -> RAction r a -> RAction r a

reader :: (r -> a) -> RAction r a

Monad (RAction r)

Defined in Development.Shake.Plus.Core

Methods

(>>=) :: RAction r a -> (a -> RAction r b) -> RAction r b

(>>) :: RAction r a -> RAction r b -> RAction r b

return :: a -> RAction r a

fail :: String -> RAction r a

Functor (RAction r)

Defined in Development.Shake.Plus.Core

Methods

fmap :: (a -> b) -> RAction r a -> RAction r b

(<$) :: a -> RAction r b -> RAction r a

Applicative (RAction r)

Defined in Development.Shake.Plus.Core

Methods

pure :: a -> RAction r a

(<*>) :: RAction r (a -> b) -> RAction r a -> RAction r b

liftA2 :: (a -> b -> c) -> RAction r a -> RAction r b -> RAction r c

(*>) :: RAction r a -> RAction r b -> RAction r b

(<*) :: RAction r a -> RAction r b -> RAction r a

MonadIO (RAction r)

Defined in Development.Shake.Plus.Core

Methods

liftIO :: IO a -> RAction r a

MonadThrow (RAction r)

Defined in Development.Shake.Plus.Core

Methods

throwM :: Exception e => e -> RAction r a

MonadUnliftAction (RAction r)

Defined in Development.Shake.Plus.Core

Methods

withRunInAction :: ((forall a. RAction r a -> Action a) -> Action b) -> RAction r b

MonadAction (RAction r)

Defined in Development.Shake.Plus.Core

Methods

liftAction :: Action a -> RAction r a

data ShakePlus r a

Concrete Rules collector, hardcoded to `ReaderT r Rules a`.

Instances

MonadReader r (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

ask :: ShakePlus r r

local :: (r -> r) -> ShakePlus r a -> ShakePlus r a

reader :: (r -> a) -> ShakePlus r a

Monad (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

(>>=) :: ShakePlus r a -> (a -> ShakePlus r b) -> ShakePlus r b

(>>) :: ShakePlus r a -> ShakePlus r b -> ShakePlus r b

return :: a -> ShakePlus r a

fail :: String -> ShakePlus r a

Functor (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

fmap :: (a -> b) -> ShakePlus r a -> ShakePlus r b

(<$) :: a -> ShakePlus r b -> ShakePlus r a

Applicative (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

pure :: a -> ShakePlus r a

(<*>) :: ShakePlus r (a -> b) -> ShakePlus r a -> ShakePlus r b

liftA2 :: (a -> b -> c) -> ShakePlus r a -> ShakePlus r b -> ShakePlus r c

(*>) :: ShakePlus r a -> ShakePlus r b -> ShakePlus r b

(<*) :: ShakePlus r a -> ShakePlus r b -> ShakePlus r a

MonadIO (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

liftIO :: IO a -> ShakePlus r a

MonadThrow (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

throwM :: Exception e => e -> ShakePlus r a

MonadRules (ShakePlus r)

Defined in Development.Shake.Plus.Core

Methods

liftRules :: Rules a -> ShakePlus r a

runRAction :: MonadAction m => env -> RAction env a -> m a

Run an RAction with an environment, consuming it for a result.

runShakePlus :: MonadRules m => env -> ShakePlus env a -> m a

Run a ShakePlus with an environment, consuming it for some Shake Rules.