Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Functor m => Functor (Deferred m) Source # | |
Foldable m => Foldable (Deferred m) Source # | |
Defined in Nix.Thunk fold :: Monoid m0 => Deferred m m0 -> m0 # foldMap :: Monoid m0 => (a -> m0) -> Deferred m a -> m0 # foldr :: (a -> b -> b) -> b -> Deferred m a -> b # foldr' :: (a -> b -> b) -> b -> Deferred m a -> b # foldl :: (b -> a -> b) -> b -> Deferred m a -> b # foldl' :: (b -> a -> b) -> b -> Deferred m a -> b # foldr1 :: (a -> a -> a) -> Deferred m a -> a # foldl1 :: (a -> a -> a) -> Deferred m a -> a # toList :: Deferred m a -> [a] # null :: Deferred m a -> Bool # length :: Deferred m a -> Int # elem :: Eq a => a -> Deferred m a -> Bool # maximum :: Ord a => Deferred m a -> a # minimum :: Ord a => Deferred m a -> a # | |
Traversable m => Traversable (Deferred m) Source # | |
Defined in Nix.Thunk |
class Monad m => MonadVar m where Source #
newVar :: a -> m (Var m a) Source #
readVar :: Var m a -> m a Source #
writeVar :: Var m a -> a -> m () Source #
atomicModifyVar :: Var m a -> (a -> (a, b)) -> m b Source #
class Monad m => MonadThunk v t m | v -> m, v -> t, t -> m, t -> v where Source #
Instances
Show ThunkLoop Source # | |
Exception ThunkLoop Source # | |
Defined in Nix.Thunk toException :: ThunkLoop -> SomeException # fromException :: SomeException -> Maybe ThunkLoop # displayException :: ThunkLoop -> String # |
buildThunk :: MonadVar m => m v -> m (Thunk m v) Source #
forceThunk :: (MonadVar m, MonadThrow m) => Thunk m v -> (v -> m a) -> m a Source #
forceEffects :: MonadVar m => Thunk m v -> (v -> m a) -> m a Source #