Modulehnix-0.17.0Haskell2010

Nix.Thunk

1 type
3 classes
1 value

Packagehnix-0.17.0
Exports5
LanguageHaskell2010
LicenceBSD-3-Clause
SourceThunk.hs

`class MonadThunkId` & `instances`

1 declaration

class

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

Associated types

type family ThunkId (m :: Type -> Type)

Methods

freshId :: m (ThunkId m)

Instances7MonadThunkId, …

MonadThunkId (Lint s)Defined in hnix-0.17.0 · Nix.Lint
MonadThunkId m => MonadThunkId (StandardT m)Defined in hnix-0.17.0 · Nix.Standard
MonadThunkId m => MonadThunkId (ExceptT e m)Defined in hnix-0.17.0 · Nix.Thunk
MonadThunkId m => MonadThunkId (ReaderT r m)Defined in hnix-0.17.0 · Nix.Thunk
MonadThunkId m => MonadThunkId (StateT s m)Defined in hnix-0.17.0 · Nix.Thunk
(Monoid w, MonadThunkId m) => MonadThunkId (WriterT w m)Defined in hnix-0.17.0 · Nix.Thunk
(MonadAtomicRef m, Eq i, Ord i, Show i, Enum i, Typeable i) => MonadThunkId (FreshIdT i m)Defined in hnix-0.17.0 · Nix.Fresh

Instances

`class MonadThunk`

1 declaration

classclass MonadThunkId m => MonadThunk t (m :: Type -> Type) 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.

Instances3MonadThunk

(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunk (StdThunk m) m (StdValue m)Defined in hnix-0.17.0 · Nix.Standard
(MonadBasicThunk m, MonadCatch m) => MonadThunk (NThunkF m v) m vDefined in hnix-0.17.0 · Nix.Thunk.Basic
(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 vDefined in hnix-0.17.0 · Nix.Cited.Basic

`class MonadThunk`

1 declaration

classclass MonadThunkF t (m :: Type -> Type) 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

Instances3MonadThunkF

(Typeable m, MonadThunkId m, MonadAtomicRef m, MonadCatch m, MonadReader (Context m (StdValue m)) m) => MonadThunkF (StdThunk m) m (StdValue m)Defined in hnix-0.17.0 · Nix.Standard
This is a functorized version in CPS.
(MonadBasicThunk m, MonadCatch m) => MonadThunkF (NThunkF m v) m vDefined in hnix-0.17.0 · Nix.Thunk.Basic
(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 vDefined in hnix-0.17.0 · Nix.Cited.Basic

`newtype ThunkLoop`

1 declaration

newtypenewtype ThunkLoop

Constructors

ThunkLoop Text

Instances2Show, Exception

Show ThunkLoopDefined in hnix-0.17.0 · Nix.Thunk
Exception ThunkLoopDefined in hnix-0.17.0 · Nix.Thunk

Utils

1 declaration

valuethunkStubText :: Text

class MonadThunkId & instances

Associated types

Methods

Instances

class MonadThunk

Methods

class MonadThunk

Methods

newtype ThunkLoop

Constructors

Utils

`class MonadThunkId` & `instances`

`class MonadThunk`

`class MonadThunk`

`newtype ThunkLoop`