Nix.Value.Monad

MonadValue - a main implementation class

class MonadValue v m where

Methods

defer :: m v -> m v

demand :: v -> m v

inform :: 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 -> m (Symbolic m)

inform :: 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 -> m (StdValue m)

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

MonadValueF - a Kleisli-able customization class

class MonadValueF v m where

Methods

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

informF :: (m v -> m v) -> v -> m v

Instances

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

Defined in Nix.Lint

Methods

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

informF :: (m (Symbolic m) -> m (Symbolic m)) -> Symbolic m -> m (Symbolic m)

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

Defined in Nix.Standard

Methods

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

informF :: (m (StdValue m) -> m (StdValue m)) -> StdValue m -> m (StdValue m)