Nix.Scope

Documentation

newtype Scope a

Constructors

Scope (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

Ord a => Ord (Scope a)

Defined in Nix.Scope

Methods

compare :: Scope a -> Scope a -> Ordering

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

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

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

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

max :: Scope a -> Scope a -> Scope a

min :: Scope a -> Scope a -> Scope a

Read a => Read (Scope a)

Defined in Nix.Scope

Methods

readsPrec :: Int -> ReadS (Scope a)

readList :: ReadS [Scope a]

readPrec :: ReadPrec (Scope a)

readListPrec :: ReadPrec [Scope a]

Show (Scope a)

Defined in Nix.Scope

Methods

showsPrec :: Int -> Scope a -> ShowS

show :: Scope a -> String

showList :: [Scope a] -> ShowS

Generic (Scope a)

Defined in Nix.Scope

Associated Types

type Rep (Scope a) :: Type -> Type

Methods

from :: Scope a -> Rep (Scope a) x

to :: Rep (Scope a) x -> Scope a

Semigroup (Scope a)

Defined in Nix.Scope

Methods

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

sconcat :: NonEmpty (Scope a) -> Scope a

stimes :: Integral b => b -> Scope a -> Scope a

Monoid (Scope a)

Defined in Nix.Scope

Methods

mempty :: Scope a

mappend :: Scope a -> Scope a -> Scope a

mconcat :: [Scope a] -> Scope a

Hashable a => Hashable (Scope a)

Defined in Nix.Scope

Methods

hashWithSalt :: Int -> Scope a -> Int

hash :: Scope a -> Int

NFData a => NFData (Scope a)

Defined in Nix.Scope

Methods

rnf :: Scope a -> ()

One (Scope a)

Defined in Nix.Scope

Associated Types

type OneItem (Scope a)

Methods

one :: OneItem (Scope a) -> Scope a

type Rep (Scope a)

Defined in Nix.Scope

type Rep (Scope a) = D1 ('MetaData "Scope" "Nix.Scope" "hnix-0.16.0-8yNt853wvoc5yRPRKlu02G" 'True) (C1 ('MetaCons "Scope" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttrSet a))))

type OneItem (Scope a)

Defined in Nix.Scope

type OneItem (Scope a) = OneItem (HashMap VarName a)

scopeLookup :: VarName -> [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 :: Scopes m a

class Scoped a m | m -> a where

Methods

askScopes :: m (Scopes m a)

clearScopes :: m r -> m r

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

lookupVar :: VarName -> m (Maybe a)

Instances

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

Defined in Nix.Standard

Methods

askScopes :: m (Scopes m (StdValue m))

clearScopes :: m r -> m r

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

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

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

Defined in Nix.Lint

Methods

askScopes :: 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 :: VarName -> Lint s (Maybe (Symbolic (Lint s)))

askScopesReader :: 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 => Scope a -> m r -> m r

pushWeakScope :: (Functor m, Scoped a m) => m (Scope 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)) => VarName -> m (Maybe a)

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