Modulehnix-0.17.0Haskell2010

Nix.Eval

3 types
1 class
15 values

Packagehnix-0.17.0
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourceEval.hs

classclass (Show v, Monad m) => MonadEval v (m :: Type -> Type) where

Methods

freeVariable :: VarName -> m v
synHole :: VarName -> m v
attrMissing :: NonEmpty VarName -> Maybe v -> m v
evaledSym :: VarName -> v -> m v
evalCurPos :: m v
evalConstant :: NAtom -> m v
evalString :: NString (m v) -> m v
evalLiteralPath :: Path -> m v
evalEnvPath :: Path -> m v
evalUnary :: NUnaryOp -> v -> m v
evalBinary :: NBinaryOp -> v -> m v -> m v
The second argument is an action because operators such as boolean && and || may not evaluate the second argument.
evalWith :: m v -> m v -> m v
evalIf :: v -> m v -> m v -> m v
evalAssert :: v -> m v -> m v
evalApp :: v -> m v -> m v
evalAbs :: Params (m v) -> (forall a. m v -> (AttrSet (m v) -> m v -> m (a, v)) -> m (a, v)) -> m v
evalError :: Exception s => s -> m a

Instances3MonadEval

MonadLint e m => MonadEval (Symbolic m) mDefined in hnix-0.17.0 · Nix.Lint
MonadInfer m => MonadEval (Judgment s) (InferT s m)Defined in hnix-0.17.0 · Nix.Type.Infer
MonadNix e t f m => MonadEval (NValue t f m) mDefined in hnix-0.17.0 · Nix.Exec · orphan

type

type MonadNixEval v (m :: Type -> Type) = (MonadEval v m, Scoped v m, MonadValue v m, MonadFix m, ToValue Bool m v, ToValue [v] m v, FromValue NixString m v, ToValue (AttrSet v, PositionSet) m v, FromValue (AttrSet v, PositionSet) m v)

datadata EvalFrame (m :: Type -> Type) v

Constructors

Instances2Show, Exception

Show (EvalFrame m v)Defined in hnix-0.17.0 · Nix.Eval
(Typeable m, Typeable v) => Exception (EvalFrame m v)Defined in hnix-0.17.0 · Nix.Eval

datadata SynHoleInfo (m :: Type -> Type) v

Constructors

SynHoleInfo
- _synHoleInfo_expr :: NExprLoc
- _synHoleInfo_scope :: Scopes m v

Instances2Show, Exception

Show (SynHoleInfo m v)Defined in hnix-0.17.0 · Nix.Eval
(Typeable m, Typeable v) => Exception (SynHoleInfo m v)Defined in hnix-0.17.0 · Nix.Eval

valueeval :: MonadNixEval v m => NExprF (m v) -> m v

valueevalWithAttrSet :: MonadNixEval v m => m v -> m v -> m v

If you know that the scope action will result in an 'AttrSet v', then this implementation may be used as an implementation for evalWith.

valueattrSetAlter

:: MonadNixEval v m
=> [VarName]
-> NSourcePos
-> AttrSet (m v)
-> PositionSet
-> m v
-> m (AttrSet (m v), PositionSet)

valuedesugarBinds :: ([Binding r] -> r) -> [Binding r] -> [Binding r]

valueevalBinds

:: MonadNixEval v m
=> Bool
-> [Binding (m v)]
-> m (AttrSet v, PositionSet)

valueevalSelect

:: MonadNixEval v m
=> m v
-> NAttrPath (m v)
-> m (Either (v, NonEmpty VarName) (m v))

valueevalGetterKeyName

:: (MonadEval v m, FromValue NixString m v)
=> NKeyName (m v)
-> m VarName

Evaluate a component of an attribute path in a context where we are *retrieving* a value

valueevalSetterKeyName

:: (MonadEval v m, FromValue NixString m v)
=> NKeyName (m v)
-> m (Maybe VarName)

Evaluate a component of an attribute path in a context where we are *binding* a value

valueassembleString

:: (MonadEval v m, FromValue NixString m v)
=> NString (m v)
-> m (Maybe NixString)

valuebuildArgument :: MonadNixEval v m => Params (m v) -> m v -> m (AttrSet v)

valueaddSourcePositions :: (MonadReader e m, Has e SrcSpan) => Transform NExprLocF (m a)

Add source positions to NExprLoc.

Takes NExprLoc, by itself takes source position informatoin, does transformation, returns NExprLoc with source positions.

Actually:

=> (NExprLoc -> m a)
-> NExprLoc -> m a

valueaddStackFrames :: (Scoped v m, Framed e m, Typeable v, Typeable m) => TransformF NExprLoc (m a)

valueevalWithMetaInfo

:: (MonadNixEval v m, Framed e m, Has e SrcSpan, Typeable m, Typeable v)
=> NExprLoc
-> m v

valueaddMetaInfo :: (Framed e m, Scoped v m, Has e SrcSpan, Typeable m, Typeable v) => TransformF NExprLoc (m a)

Add source positions & frame context system.

valueevalContent :: MonadNixEval v m => AnnF ann NExprF (m v) -> m v

Takes annotated expression. Strip from annotation. Evaluate.