Nix.Scope

Documentation

newtype Scope a

Constructors

Scope

Fields

• getScope :: AttrSet a

Instances

Functor Scope

Defined in Nix.Scope

Methods

fmap :: (a -> b) -> Scope a -> Scope b

(<$) :: a -> Scope b -> Scope a

Foldable Scope

Defined in Nix.Scope

Methods

fold :: Monoid m => Scope m -> m

foldMap :: Monoid m => (a -> m) -> Scope a -> m

foldMap' :: Monoid m => (a -> m) -> Scope a -> m

foldr :: (a -> b -> b) -> b -> Scope a -> b

foldr' :: (a -> b -> b) -> b -> Scope a -> b

foldl :: (b -> a -> b) -> b -> Scope a -> b

foldl' :: (b -> a -> b) -> b -> Scope a -> b

foldr1 :: (a -> a -> a) -> Scope a -> a

foldl1 :: (a -> a -> a) -> Scope a -> a

toList :: Scope a -> [a]

null :: Scope a -> Bool

length :: Scope a -> Int

elem :: Eq a => a -> Scope a -> Bool

maximum :: Ord a => Scope a -> a

minimum :: Ord a => Scope a -> a

sum :: Num a => Scope a -> a

product :: Num a => Scope a -> a

Traversable Scope

Defined in Nix.Scope

Methods

traverse :: Applicative f => (a -> f b) -> Scope a -> f (Scope b)

sequenceA :: Applicative f => Scope (f a) -> f (Scope a)

mapM :: Monad m => (a -> m b) -> Scope a -> m (Scope b)

sequence :: Monad m => Scope (m a) -> m (Scope a)

Eq a => Eq (Scope a)

Defined in Nix.Scope

Methods

(==) :: Scope a -> Scope a -> Bool

(/=) :: Scope a -> Scope a -> Bool

Show (Scope a)

Defined in Nix.Scope

Methods

showsPrec :: Int -> Scope a -> ShowS

show :: Scope a -> String

showList :: [Scope a] -> ShowS

newScope :: AttrSet a -> Scope a

scopeLookup :: Text -> [Scope a] -> Maybe a

data Scopes m a

Constructors

Scopes

Fields

• lexicalScopes :: [Scope a]
• dynamicScopes :: [m (Scope a)]

Instances

Show (Scopes m a)

Defined in Nix.Scope

Methods

showsPrec :: Int -> Scopes m a -> ShowS

show :: Scopes m a -> String

showList :: [Scopes m a] -> ShowS

Semigroup (Scopes m a)

Defined in Nix.Scope

Methods

(<>) :: Scopes m a -> Scopes m a -> Scopes m a

sconcat :: NonEmpty (Scopes m a) -> Scopes m a

stimes :: Integral b => b -> Scopes m a -> Scopes m a

Monoid (Scopes m a)

Defined in Nix.Scope

Methods

mempty :: Scopes m a

mappend :: Scopes m a -> Scopes m a -> Scopes m a

mconcat :: [Scopes m a] -> Scopes m a

Has (Context m t) (Scopes m t)

Defined in Nix.Context

Methods

hasLens :: Lens' (Context m t) (Scopes m t)

emptyScopes :: forall m a. Scopes m a

class Scoped a m | m -> a where

Methods

currentScopes :: m (Scopes m a)

clearScopes :: m r -> m r

pushScopes :: Scopes m a -> m r -> m r

lookupVar :: Text -> m (Maybe a)

Instances

MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) m

Defined in Nix.Standard

Methods

currentScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

pushScopes :: Scopes m (StdValue m) -> m r -> m r

lookupVar :: Text -> m (Maybe (StdValue m))

Scoped (Symbolic (Lint s)) (Lint s)

Defined in Nix.Lint

Methods

currentScopes :: Lint s (Scopes (Lint s) (Symbolic (Lint s)))

clearScopes :: Lint s r -> Lint s r

pushScopes :: Scopes (Lint s) (Symbolic (Lint s)) -> Lint s r -> Lint s r

lookupVar :: Text -> Lint s (Maybe (Symbolic (Lint s)))

currentScopesReader :: forall m a e. (MonadReader e m, Has e (Scopes m a)) => m (Scopes m a)

clearScopesReader :: forall m a e r. (MonadReader e m, Has e (Scopes m a)) => m r -> m r

pushScope :: Scoped a m => AttrSet a -> m r -> m r

pushWeakScope :: (Functor m, Scoped a m) => m (AttrSet a) -> m r -> m r

pushScopesReader :: (MonadReader e m, Has e (Scopes m a)) => Scopes m a -> m r -> m r

lookupVarReader :: forall m a e. (MonadReader e m, Has e (Scopes m a)) => Text -> m (Maybe a)

withScopes :: Scoped a m => Scopes m a -> m r -> m r