Modulehnix-0.17.0Haskell2010

Nix.Eval

Synopsis

class MonadEval
type MonadNixEval
data EvalFrame
data SynHoleInfo
value eval
value evalWithAttrSet
value attrSetAlter
value desugarBinds
value evalBinds
value evalSelect
value evalGetterKeyName
value evalSetterKeyName
value assembleString
value buildArgument
value addSourcePositions
value addStackFrames
value evalWithMetaInfo
value addMetaInfo
value evalContent

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

Source#

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

Source#

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)

Source#

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)

Source#

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)

Source#

Add source positions & frame context system.

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

Source#

Takes annotated expression. Strip from annotation. Evaluate.