Nix.Value.Monad

Documentation

class MonadValue v m where

Methods

defer :: m v -> m v

demand :: v -> (v -> m r) -> m r

inform :: v -> (m v -> m v) -> m v

If v is a thunk, inform allows us to modify the action to be performed by the thunk, perhaps by enriching it with scope info, for example.

Instances

(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValue (Symbolic m) m

Defined in Nix.Lint

Methods

defer :: m (Symbolic m) -> m (Symbolic m)

demand :: Symbolic m -> (Symbolic m -> m r) -> m r

inform :: Symbolic m -> (m (Symbolic m) -> m (Symbolic m)) -> m (Symbolic m)

(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) m

Defined in Nix.Standard

Methods

defer :: m (StdValue m) -> m (StdValue m)

demand :: StdValue m -> (StdValue m -> m r) -> m r

inform :: StdValue m -> (m (StdValue m) -> m (StdValue m)) -> m (StdValue m)