Modulehnix-0.17.0Haskell2010

Nix.Thunk.Basic

Synopsis

datadata NThunkF (m :: Type -> Type) v

The type of very basic thunks

Instances4Eq, Show, MonadThunk, MonadThunkF

(Eq v, Eq (ThunkId m)) => Eq (NThunkF m v)Defined in hnix-0.17.0 · Nix.Thunk.Basic
Show (NThunkF m v)Defined in hnix-0.17.0 · Nix.Thunk.Basic
(MonadBasicThunk m, MonadCatch m) => MonadThunk (NThunkF m v) m vDefined in hnix-0.17.0 · Nix.Thunk.Basic
(MonadBasicThunk m, MonadCatch m) => MonadThunkF (NThunkF m v) m vDefined in hnix-0.17.0 · Nix.Thunk.Basic

datadata Deferred (m :: Type -> Type) v

Data is computed OR in a lazy thunk state which is still not evaluated.

Instances3Functor, Foldable, Traversable

Functor m => Functor (Deferred m)Defined in hnix-0.17.0 · Nix.Thunk.Basic
Foldable m => Foldable (Deferred m)Defined in hnix-0.17.0 · Nix.Thunk.Basic
Traversable m => Traversable (Deferred m)Defined in hnix-0.17.0 · Nix.Thunk.Basic

valuedeferred :: (v -> b) -> (m v -> b) -> Deferred m v -> b

Apply second if Deferred, otherwise (Computed) - apply first. Analog of either for Deferred = Computed|Deferred.

typetype MonadBasicThunk (m :: Type -> Type) = (MonadThunkId m, MonadAtomicRef m)