BackendRefused

org.llm4s.agent.harness.BackendRefused
See theBackendRefused companion class

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

enum Kind

What a refusal says about the tree, for a caller that must tell the shape of a path from any other refusal (a composite listing a directory a mount makes): NotFound and NotADirectory; Corrupt for stored state the backend could not have written (another writer's), which a delete of the entry it names repairs; or Refused for anything else - a permission, a bound, an argument.

What a refusal says about the tree, for a caller that must tell the shape of a path from any other refusal (a composite listing a directory a mount makes): NotFound and NotADirectory; Corrupt for stored state the backend could not have written (another writer's), which a delete of the entry it names repairs; or Refused for anything else - a permission, a bound, an argument.

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def at(operation: String, path: VPath, reason: String, kind: Kind): BackendRefused

A refusal of the backend path path: its target is the path, and path says so, typed, so a composite rebases it through a mount. A target that is a key or a pattern has no path, whatever it looks like.

A refusal of the backend path path: its target is the path, and path says so, typed, so a composite rebases it through a mount. A target that is a key or a pattern has no path, whatever it looks like.

Attributes

def notADirectory(operation: String, path: VPath): BackendRefused

path is a file where a directory is needed.

path is a file where a directory is needed.

Attributes

def notFound(operation: String, path: VPath): BackendRefused

path does not exist.

path does not exist.

Attributes

The tool outcome of a backend's error: a refusal is an Error the model sees; anything else - a store that failed, an effect whose outcome is unknown - is Fatal, so the task fails, commits nothing, and recover replays it from its replay records.

The tool outcome of a backend's error: a refusal is an Error the model sees; anything else - a store that failed, an effect whose outcome is unknown - is Fatal, so the task fails, commits nothing, and recover replays it from its replay records.

Attributes