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

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)

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 v] -> Maybe v

data Scopes m v

Constructors

Scopes

Fields

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

Instances

Show (Scopes m v)

Defined in Nix.Scope

Methods

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

show :: Scopes m v -> String

showList :: [Scopes m v] -> ShowS

Semigroup (Scopes m v)

Defined in Nix.Scope

Methods

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

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

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

Monoid (Scopes m v)

Defined in Nix.Scope

Methods

mempty :: Scopes m v

mappend :: Scopes m v -> Scopes m v -> Scopes m v

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

Has (Context m v) (Scopes m v)

Defined in Nix.Context

Methods

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

type Scoped e v m = (MonadReader e m, Has e (Scopes m v))

emptyScopes :: Scopes m v

currentScopes :: Scoped e v m => m (Scopes m v)

clearScopes :: forall v m e r. Scoped e v m => m r -> m r

pushScope :: forall v m e r. Scoped e v m => AttrSet v -> m r -> m r

pushWeakScope :: forall v m e r. Scoped e v m => m (AttrSet v) -> m r -> m r

pushScopes :: Scoped e v m => Scopes m v -> m r -> m r

lookupVar :: forall e v m. (Scoped e v m, Monad m) => Text -> m (Maybe v)

withScopes :: forall v m e a. Scoped e v m => Scopes m v -> m a -> m a