Constructors
ProvenancegetLexicalScope :: Scopes m vgetOriginExpr :: NExprLocF (Maybe v)When calling the function x: x + 2 with argument x = 3, the
originExprfor the resulting value will be 3 + 2, while thecontextExprwill be(x: x + 2) 3, preserving not only the result of the call, but what was called and with what arguments.
Instances6ComonadEnv, Show, Generic, Rep
ComonadEnv [Provenance m (StdValue m)] (StdCited m)Defined in hnix-0.17.0 · Nix.StandardComonadEnv [Provenance m v] (NCited m v)Defined in hnix-0.17.0 · Nix.CitedComonadEnv [Provenance m (NValue t f m)] (Cited t f m)Defined in hnix-0.17.0 · Nix.Cited.BasicShow v => Show (Provenance m v)Defined in hnix-0.17.0 · Nix.CitedGeneric (Provenance m v)Defined in hnix-0.17.0 · Nix.Citedtype Rep (Provenance m v) = D1 ('MetaDataDefined in hnix-0.17.0 · Nix.Cited"Provenance"
"Nix.Cited"
"hnix-0.17.0-Iy75YcImuzK7FD0KGfkLv7"
'False) (C1 ('MetaCons"Provenance"
'PrefixI 'True) (S1 ('MetaSel ('Just"getLexicalScope"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Scopes m v)) :*: S1 ('MetaSel ('Just"getOriginExpr"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NExprLocF (Maybe v)))))