Modulehnix-0.17.0Haskell2010

Nix.Scope

Synopsis

newtypenewtype Scope a

Instances15Functor, Foldable, Traversable, Eq, Ord, Read, …

Functor ScopeDefined in hnix-0.17.0 · Nix.Scope
Foldable ScopeDefined in hnix-0.17.0 · Nix.Scope
Traversable ScopeDefined in hnix-0.17.0 · Nix.Scope
Eq a => Eq (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Ord a => Ord (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Read a => Read (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Show (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Generic (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Semigroup (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Monoid (Scope a)Defined in hnix-0.17.0 · Nix.Scope
NFData a => NFData (Scope a)Defined in hnix-0.17.0 · Nix.Scope
Hashable a => Hashable (Scope a)Defined in hnix-0.17.0 · Nix.Scope
One (Scope a)Defined in hnix-0.17.0 · Nix.Scope
type Rep (Scope a) = D1 ('MetaData "Scope" "Nix.Scope" "hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7" 'True) (C1 ('MetaCons "Scope" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AttrSet a))))Defined in hnix-0.17.0 · Nix.Scope
type OneItem (Scope a) = OneItem (HashMap VarName a)Defined in hnix-0.17.0 · Nix.Scope

valuescopeLookup :: VarName -> [Scope a] -> Maybe a

datadata Scopes (m :: Type -> Type) a

Instances6Show, Semigroup, Monoid, MonadReader, Has

Show (Scopes m a)Defined in hnix-0.17.0 · Nix.Scope
Semigroup (Scopes m a)Defined in hnix-0.17.0 · Nix.Scope
Monoid (Scopes m a)Defined in hnix-0.17.0 · Nix.Scope
Monad m => MonadReader (Maybe Path, Scopes (Reducer m) NExprLoc) (Reducer m)Defined in hnix-0.17.0 · Nix.Reduce
Monad m => MonadReader (Set TVar, Scopes (InferT s m) (Judgment s)) (InferT s m)Defined in hnix-0.17.0 · Nix.Type.Infer
Has (Context m t) (Scopes m t)Defined in hnix-0.17.0 · Nix.Context

valueemptyScopes :: Scopes m a

classclass Scoped a (m :: Type -> Type) | m -> a where

Instances4Scoped

Monad m => Scoped NExprLoc (Reducer m)Defined in hnix-0.17.0 · Nix.Reduce
MonadReader (Context m (StdValue m)) m => Scoped (StdValue m) mDefined in hnix-0.17.0 · Nix.Standard · orphan
Scoped (Symbolic (Lint s)) (Lint s)Defined in hnix-0.17.0 · Nix.Lint
Monad m => Scoped (Judgment s) (InferT s m)Defined in hnix-0.17.0 · Nix.Type.Infer

valueaskScopesReader :: (MonadReader e m, Has e (Scopes m a)) => m (Scopes m a)

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

valuepushScope :: Scoped a m => Scope a -> m r -> m r

valuepushWeakScope :: (Functor m, Scoped a m) => m (Scope a) -> m r -> m r

valuepushScopesReader

valuelookupVarReader

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