Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xa8896112026-10-18Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · a889611 · 2026-10-18

Modulehnix-0.17.0Haskell2010

Nix.Value.Monad

2 classes

Packagehnix-0.17.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause

`MonadValue` - a main implementation class

1 declaration

classclass MonadValue v (m :: Type -> Type) where

Methods

defer :: m v -> m v
Wrap value into a thunk.
demand :: v -> m v
Force the evaluation of the value.
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.

Instances3MonadValue

(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValue (Symbolic m) mDefined in hnix-0.17.0 · Nix.Lint
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard
Monad m => MonadValue (Judgment s) (InferT s m)Defined in hnix-0.17.0 · Nix.Type.Infer

`MonadValueF` - a Kleisli-able customization class

1 declaration

classclass MonadValueF v (m :: Type -> Type) where

Methods

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

Instances3MonadValueF

(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValueF (Symbolic m) mDefined in hnix-0.17.0 · Nix.Lint
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard
Monad m => MonadValueF (Judgment s) (InferT s m)Defined in hnix-0.17.0 · Nix.Type.Infer