Modulehnix-0.17.0Haskell2010

Nix.Exec

4 types
20 values

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