Nix.Context

Documentation

data Context m v

Constructors

Context

Fields

• scopes :: Scopes m v
• source :: SrcSpan
• frames :: Frames
• options :: Options

Instances

Has (Context m v) Options

Methods

hasLens :: Lens' (Context m v) Options

Has (Context m v) Frames

Methods

hasLens :: Lens' (Context m v) Frames

Has (Context m v) SrcSpan

Methods

hasLens :: Lens' (Context m v) SrcSpan

MonadReader (Context (Lint s) (SThunk (Lint s))) (Lint s)

Methods

ask :: Lint s (Context (Lint s) (SThunk (Lint s)))

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

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

Monad m => MonadReader (Context (Lazy m) (NThunk (Lazy m))) (Lazy m)

Methods

ask :: Lazy m (Context (Lazy m) (NThunk (Lazy m)))

local :: (Context (Lazy m) (NThunk (Lazy m)) -> Context (Lazy m) (NThunk (Lazy m))) -> Lazy m a -> Lazy m a

reader :: (Context (Lazy m) (NThunk (Lazy m)) -> a) -> Lazy m a

Has (Context m v) (Scopes m v)

Methods

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

newContext :: Options -> Context m v