Interface CapabilityParser<M>

Combines this capability and the other into a capability group. This allows you to define right amplifications e.g file/read+write could be derived from file/read and file/write.

Example

const read = capability({
  can: "file/read",
  with: URI({ protocol: "file:" }),
  derives: (claimed, delegated) =>
  claimed.with.pathname.startsWith(delegated.with.pathname)
   ? { ok: {} }
   : { error: new Failure(`'${claimed.with.href}' is not contained in '${delegated.with.href}'`) }
})

const write = capability({
  can: "file/write",
  with: URI({ protocol: "file:" }),
  derives: (claimed, delegated) =>
    claimed.with.pathname.startsWith(delegated.with.pathname)
    ? { ok: {} }
    : { error: new Failure(`'${claimed.with.href}' is not contained in '${delegated.with.href}'`) }
})

const readwrite = read.and(write).derive({
  to: capability({
    can: "file/read+write",
    with: URI({ protocol: "file:" }),
    derives: (claimed, delegated) =>
      claimed.with.pathname.startsWith(delegated.with.pathname)
     ? { ok: {} }
     : { error: new Failure(`'${claimed.with.href}' is not contained in '${delegated.with.href}'`) }
    }),
  derives: (claimed, [read, write]) => {
    if (!claimed.with.pathname.startsWith(read.with.pathname)) {
      return { error: new Failure(`'${claimed.with.href}' is not contained in '${read.with.href}'`) }
    } else if (!claimed.with.pathname.startsWith(write.with.pathname)) {
      return { error: new Failure(`'${claimed.with.href}' is not contained in '${write.with.href}'`) }
    } else {
      return { ok: {} }
    }
  }
})
Copy

Defines capability that is either this or the the given other. This allows you to compose multiple capabilities into one so that you could validate any of one of them without having to maintain list of supported capabilities. It is especially useful when dealing with derived capability chains when you might derive capability from either one or the other.