Modulehnix-0.17.0Haskell2010

Nix.Exec

Synopsis

type MonadCited
value mkNVConstantWithProvenance
value mkNVStrWithProvenance
value mkNVPathWithProvenance
value mkNVClosureWithProvenance
value mkNVUnaryOpWithProvenance
value mkNVAppOpWithProvenance
value mkNVBinaryOpWithProvenance
type MonadCitedThunks
type MonadNix
data ExecFrame
value nverr
value askSpan
value wrapExprLoc
value callFunc
value execUnaryOp
value execBinaryOp
value execBinaryOpForced
value fromStringNoContext
value addTracing
value evalWithTracingAndMetaInfo
value evalExprLoc
value exec
value nixInstantiateExpr

Packagehnix-0.17.0
Exports24
LanguageHaskell2010
LicenceBSD-3-Clause

type

type MonadCited t (f :: Type -> Type) (m :: Type -> Type) = (HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f, MonadDataContext f m)

valuemkNVConstantWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> NAtom
-> NValue t f m

valuemkNVStrWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> NixString
-> NValue t f m

valuemkNVPathWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> Path
-> Path
-> NValue t f m

valuemkNVClosureWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> Params ()
-> NValue t f m -> m (NValue t f m)
-> NValue t f m

valuemkNVUnaryOpWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> NUnaryOp
-> Maybe (NValue t f m)
-> NValue t f m
-> NValue t f m

valuemkNVAppOpWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> Maybe (NValue t f m)
-> Maybe (NValue t f m)
-> NValue t f m
-> NValue t f m

valuemkNVBinaryOpWithProvenance

:: MonadCited t f m
=> Scopes m (NValue t f m)
-> SrcSpan
-> NBinaryOp
-> Maybe (NValue t f m)
-> Maybe (NValue t f m)
-> NValue t f m
-> NValue t f m

type

type MonadCitedThunks t (f :: Type -> Type) (m :: Type -> Type) = (MonadThunk t m (NValue t f m), MonadDataErrorContext t f m, HasCitations m (NValue t f m) t, HasCitations1 m (NValue t f m) f)

type

type MonadNix e t (f :: Type -> Type) (m :: Type -> Type) = (Has e SrcSpan, Has e Options, Scoped (NValue t f m) m, Framed e m, MonadFix m, MonadCatch m, MonadThrow m, Alternative m, MonadEffects t f m, MonadCitedThunks t f m, MonadValue (NValue t f m) m)

datadata ExecFrame t (f :: Type -> Type) (m :: Type -> Type)

Constructors

Assertion SrcSpan (NValue t f m)

Instances2Show, Exception

(Comonad f, Applicative f, Show t) => Show (ExecFrame t f m)Defined in hnix-0.17.0 · Nix.Exec
MonadDataErrorContext t f m => Exception (ExecFrame t f m)Defined in hnix-0.17.0 · Nix.Exec

valuenverr :: (MonadNix e t f m, Exception s) => s -> m a

valueaskSpan :: (MonadReader e m, Has e SrcSpan) => m SrcSpan

valuewrapExprLoc :: SrcSpan -> NExprLocF r -> NExprLoc

valuecallFunc

:: MonadNix e t f m
=> NValue t f m
-> NValue t f m
-> m (NValue t f m)

valueexecUnaryOp

:: (Framed e m, MonadCited t f m, Show t)
=> Scopes m (NValue t f m)
-> SrcSpan
-> NUnaryOp
-> NValue t f m
-> m (NValue t f m)

valueexecBinaryOp

:: (MonadNix e t f m, MonadEval (NValue t f m) m)
=> Scopes m (NValue t f m)
-> SrcSpan
-> NBinaryOp
-> NValue t f m
-> m (NValue t f m)
-> m (NValue t f m)

valueexecBinaryOpForced

:: (MonadNix e t f m, MonadEval (NValue t f m) m)
=> Scopes m (NValue t f m)
-> SrcSpan
-> NBinaryOp
-> NValue t f m
-> NValue t f m
-> m (NValue t f m)

valuefromStringNoContext :: Framed e m => NixString -> m Text

valueaddTracing

:: (MonadNix e t f m, Has e Options, Alternative n, MonadReader Int n, MonadFail n)
=> Alg NExprLocF (m a)
-> Alg NExprLocF (n (m a))

valueevalWithTracingAndMetaInfo

:: MonadNix e t f m
=> NExprLoc
-> ReaderT Int m (m (NValue t f m))

valueevalExprLoc :: MonadNix e t f m => NExprLoc -> m (NValue t f m)

valueexec :: (MonadNix e t f m, MonadInstantiate m) => [Text] -> m (NValue t f m)

valuenixInstantiateExpr

:: (MonadNix e t f m, MonadInstantiate m)
=> Text
-> m (NValue t f m)

Orphan instances

1 instance

MonadNix e t f m => MonadEval (NValue t f m) m