Nix.Thunk

Documentation

class (Monad m, Eq (ThunkId m), Ord (ThunkId m), Show (ThunkId m), Typeable (ThunkId m)) => MonadThunkId m where

Minimal complete definition

Nothing

Associated Types

type ThunkId m :: *

Methods

freshId :: m (ThunkId m)

freshId :: (MonadThunkId m', MonadTrans t, m ~ t m', ThunkId m ~ ThunkId m') => m (ThunkId m)

Instances

MonadThunkId (Lint s)

Defined in Nix.Lint

Associated Types

type ThunkId (Lint s) :: Type

Methods

freshId :: Lint s (ThunkId (Lint s))

MonadThunkId m => MonadThunkId (ExceptT e m)

Defined in Nix.Thunk

Associated Types

type ThunkId (ExceptT e m) :: Type

Methods

freshId :: ExceptT e m (ThunkId (ExceptT e m))

MonadThunkId m => MonadThunkId (StateT s m)

Defined in Nix.Thunk

Associated Types

type ThunkId (StateT s m) :: Type

Methods

freshId :: StateT s m (ThunkId (StateT s m))

(Monoid w, MonadThunkId m) => MonadThunkId (WriterT w m)

Defined in Nix.Thunk

Associated Types

type ThunkId (WriterT w m) :: Type

Methods

freshId :: WriterT w m (ThunkId (WriterT w m))

(MonadVar m, Eq i, Ord i, Show i, Enum i, Typeable i) => MonadThunkId (FreshIdT i m)

Defined in Nix.Fresh

Associated Types

type ThunkId (FreshIdT i m) :: Type

Methods

freshId :: FreshIdT i m (ThunkId (FreshIdT i m))

MonadThunkId m => MonadThunkId (ReaderT r m)

Defined in Nix.Thunk

Associated Types

type ThunkId (ReaderT r m) :: Type

Methods

freshId :: ReaderT r m (ThunkId (ReaderT r m))

MonadThunkId m => MonadThunkId (Fix1T StandardTF m)

Defined in Nix.Standard

Associated Types

type ThunkId (Fix1T StandardTF m) :: Type

Methods

freshId :: Fix1T StandardTF m (ThunkId (Fix1T StandardTF m))

class MonadThunkId m => MonadThunk t m a | t -> m, t -> a where

Methods

thunk :: m a -> m t

thunkId :: t -> ThunkId m

Return an identifier for the thunk unless it is a pure value (i.e., strictly an encapsulation of some a without any additional structure). For pure values represented as thunks, returns Nothing.

queryM :: t -> m r -> (a -> m r) -> m r

force :: t -> (a -> m r) -> m r

forceEff :: t -> (a -> m r) -> m r

further :: t -> (m a -> m a) -> m t

Modify the action to be performed by the thunk. For some implicits this modifies the thunk, for others it may create a new thunk.

Instances

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

Defined in Nix.Standard

Methods

thunk :: m (StdValue m) -> m (StdThunk m)

thunkId :: StdThunk m -> ThunkId m

queryM :: StdThunk m -> m r -> (StdValue m -> m r) -> m r

force :: StdThunk m -> (StdValue m -> m r) -> m r

forceEff :: StdThunk m -> (StdValue m -> m r) -> m r

further :: StdThunk m -> (m (StdValue m) -> m (StdValue m)) -> m (StdThunk m)

(MonadBasicThunk m, MonadCatch m) => MonadThunk (NThunkF m v) m v

Defined in Nix.Thunk.Basic

Methods

thunk :: m v -> m (NThunkF m v)

thunkId :: NThunkF m v -> ThunkId m

queryM :: NThunkF m v -> m r -> (v -> m r) -> m r

force :: NThunkF m v -> (v -> m r) -> m r

forceEff :: NThunkF m v -> (v -> m r) -> m r

further :: NThunkF m v -> (m v -> m v) -> m (NThunkF m v)

(Has e Options, Framed e m, MonadThunk t m v, Typeable m, Typeable f, Typeable u, MonadCatch m) => MonadThunk (Cited u f m t) m v

Defined in Nix.Cited.Basic

Methods

thunk :: m v -> m (Cited u f m t)

thunkId :: Cited u f m t -> ThunkId m

queryM :: Cited u f m t -> m r -> (v -> m r) -> m r

force :: Cited u f m t -> (v -> m r) -> m r

forceEff :: Cited u f m t -> (v -> m r) -> m r

further :: Cited u f m t -> (m v -> m v) -> m (Cited u f m t)

newtype ThunkLoop

Constructors

ThunkLoop String

Instances

Show ThunkLoop

Defined in Nix.Thunk

Methods

showsPrec :: Int -> ThunkLoop -> ShowS

show :: ThunkLoop -> String

showList :: [ThunkLoop] -> ShowS

Exception ThunkLoop

Defined in Nix.Thunk

Methods

toException :: ThunkLoop -> SomeException

fromException :: SomeException -> Maybe ThunkLoop

displayException :: ThunkLoop -> String