Nix.Context

Documentation

data Context m t

Constructors

Context

Fields

• getOptions :: Options
• getScopes :: Scopes m t
• getSource :: SrcSpan
• getFrames :: Frames

Instances

Has (Context m t) Options

Defined in Nix.Context

Methods

hasLens :: Lens' (Context m t) Options

Has (Context m t) Frames

Defined in Nix.Context

Methods

hasLens :: Lens' (Context m t) Frames

Has (Context m t) SrcSpan

Defined in Nix.Context

Methods

hasLens :: Lens' (Context m t) SrcSpan

MonadReader (Context (Lint s) (Symbolic (Lint s))) (Lint s)

Defined in Nix.Lint

Methods

ask :: Lint s (Context (Lint s) (Symbolic (Lint s)))

local :: (Context (Lint s) (Symbolic (Lint s)) -> Context (Lint s) (Symbolic (Lint s))) -> Lint s a -> Lint s a

reader :: (Context (Lint s) (Symbolic (Lint s)) -> a) -> Lint s a

Monad m => MonadReader (Context r (StdValue r)) (StandardTF r m)

Defined in Nix.Standard

Methods

ask :: StandardTF r m (Context r (StdValue r))

local :: (Context r (StdValue r) -> Context r (StdValue r)) -> StandardTF r m a -> StandardTF r m a

reader :: (Context r (StdValue r) -> a) -> StandardTF r m a

Has (Context m t) (Scopes m t)

Defined in Nix.Context

Methods

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

newContext :: Options -> Context m t