Nix.Thunk

class MonadThunkId & instances

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 :: Type

Methods

freshId :: m (ThunkId m)

default 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)

Methods

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

MonadThunkId m => MonadThunkId (ExceptT e m)

Defined in Nix.Thunk

Associated Types

type ThunkId (ExceptT e m)

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)

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)

Methods

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

MonadThunkId m => MonadThunkId (ReaderT r m)

Defined in Nix.Thunk

Associated Types

type ThunkId (ReaderT r m)

Methods

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

(MonadAtomicRef 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)

Methods

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

MonadThunkId m => MonadThunkId (Fix1T StandardTF m)

Defined in Nix.Standard

Associated Types

type ThunkId (Fix1T StandardTF m)

Methods

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

Instances

class MonadThunk

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

Methods

thunkId :: t -> ThunkId m

Return thunk ID.

thunk :: m a -> m t

Create new thunk

query :: m a -> t -> m a

Non-blocking query. If thunk got computed then return its value otherwise return default value (1st arg).

force :: t -> m a

forceEff :: t -> m a

further :: t -> 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

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

Defined in Nix.Standard

Methods

thunkId :: StdThunk m -> ThunkId m

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

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

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

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

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

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

Defined in Nix.Thunk.Basic

Methods

thunkId :: NThunkF m v -> ThunkId m

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

query :: m v -> NThunkF m v -> m v

force :: NThunkF m v -> m v

forceEff :: NThunkF m v -> m v

further :: NThunkF 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

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

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

query :: m v -> Cited u f m t -> m v

force :: Cited u f m t -> m v

forceEff :: Cited u f m t -> m v

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

class MonadThunk

class MonadThunkF t m a | t -> m, t -> a where

Class of Kleisli functors for easiness of customized implementation developlemnt.

Methods

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

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

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

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

Instances

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

Defined in Nix.Standard

Methods

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

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

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

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

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

Defined in Nix.Thunk.Basic

Methods

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

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

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

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

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

Defined in Nix.Cited.Basic

Methods

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

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

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

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

newtype ThunkLoop

newtype ThunkLoop

Constructors

ThunkLoop Text

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

Utils

thunkStubText :: Text