Documentation

renderFrames :: forall v t (f :: Type -> Type) e m ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m, Typeable v) => Frames -> m (Doc ann) Source #

framePos :: forall v (m :: Type -> Type). (Typeable m, Typeable v) => NixFrame -> Maybe NSourcePos Source #

renderFrame :: forall v t (f :: Type -> Type) e m ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m, Typeable v) => NixFrame -> m [Doc ann] Source #

wrapExpr :: NExprF r -> NExpr Source #

renderEvalFrame :: (MonadReader e m, Has e Options, MonadFile m) => NixLevel -> EvalFrame m v -> m [Doc ann] Source #

renderExpr :: (MonadReader e m, Has e Options, MonadFile m) => NixLevel -> Text -> Text -> NExprLoc -> m (Doc ann) Source #

renderValueFrame :: forall e t (f :: Type -> Type) m ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m) => NixLevel -> ValueFrame t f m -> m [Doc ann] Source #

renderValue :: forall e t (f :: Type -> Type) m ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m) => NixLevel -> Text -> Text -> NValue t f m -> m (Doc ann) Source #

dumbRenderValue :: forall e t (f :: Type -> Type) m ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m) => NValue t f m -> m (Doc ann) Source #

renderExecFrame :: forall e m t (f :: Type -> Type) ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m) => NixLevel -> ExecFrame t f m -> m [Doc ann] Source #

renderThunkLoop :: (MonadReader e m, Has e Options, MonadFile m, Show (ThunkId m)) => NixLevel -> ThunkLoop -> m [Doc ann] Source #

renderNormalLoop :: forall e m t (f :: Type -> Type) ann. (MonadReader e m, Has e Options, MonadFile m, MonadCitedThunks t f m) => NixLevel -> NormalLoop t f m -> m [Doc ann] Source #